rue
Let w = -1560 + 2992. Let d be 2*(-4288)/w - -6. Which is bigger: d or 1?
1
Suppose z - 21*z = 19*z + 35*z. Suppose 3*v = -4*p - 17, -v + p = -2*v - 5. Let q be (v - (-39)/15)*1. Are q and z equal?
False
Let k be (-8)/(-20) - (-16)/10. Suppose 5*c - c = -4*g + 20, -2*c + k*g = -14. Let m be (1 - -7) + -1 + -1. Is m < c?
False
Let z = -351/422 - -519403/5486. Is z > 94?
False
Suppose -8*s = -6*s - 134. Let u be (-274)/(-4) - -12*(-12)/96. Do s and u have the same value?
True
Let u be 5/((-495)/(-22) + -5). Is u at least -387?
True
Suppose -24 = -5*f + 1. Suppose 0 = -4*q + 8, 4*n + 59 = n - 5*q. Let h = n + 26. Is h less than or equal to f?
True
Let g(p) = p**3 + 12*p**2 + 23*p + 33. Let n be g(-10). Let a(u) = -u**3 + 2*u**2 + 3*u - 7. Let x be a(n). Let m be 4/(-10) + 84/(-15). Is x < m?
True
Let z = 269592 - 269480. Suppose 0 = k - 3*v - 113, 0 = -3*k - 2*k + 2*v + 565. Is k equal to z?
False
Let f be 8 + (-55)/((-1265)/276). Is 32 != f?
True
Let r = -146 + 214. Let j = r + -68. Let a be (j - (-3 + 2)) + (7 - 82). Do a and -74 have the same value?
True
Let j = -7659.9 - -7660.04. Let n = -0.11 + 0.1. Is n <= j?
True
Suppose 9*i = 10*i + v - 2074, -4*i + 4*v + 8296 = 0. Are i and 10374/5 equal?
False
Let f be (-14)/(-63) - 334/(-117). Let m(r) = 6*r - 25. Let w(b) = -7*b + 26. Let t(k) = 6*m(k) + 5*w(k). Let d be t(24). Is d at least as big as f?
True
Let m = -194.8 - -217. Let p = m - 22.3. Which is smaller: p or -2.13?
-2.13
Let h(q) = 2*q**3 - 10*q**2 - 44*q + 221. Let c be h(5). Is 3/6904 less than c?
True
Let c = 201 + -194. Let f be -24 - (-7 + 1 + 3). Let q = f - -29. Which is smaller: c or q?
c
Let p(b) = -2*b**2 + 49*b + 169. Let q be p(33). Which is greater: q or -395?
q
Suppose 0 = -5*v - 25, -2*s - 5*v + 208 = -285. Let d be s/(-49) - (-4)/14. Suppose -n + 3*j = 1, -3*n + j - 4*j - 27 = 0. Is n at least as big as d?
False
Suppose -3*q - 3*f - 21 = -6*q, 2*q - 4*f - 6 = 0. Suppose 0 = -9*k + q*k + 52. Suppose 0 = 23*o - 6*o + 425. Which is greater: k or o?
o
Let v(q) = -q**2 + 2*q + 4. Let p be v(0). Let j be (-1)/(-3) + 76/(-12). Let z be j*(p/12)/(-1) - 2. Is -0.03 != z?
True
Suppose 5*j + 1 = 21. Let d(s) = s**3 + 22*s**2 - s - 19. Let k = -210 - -188. Let x be d(k). Which is greater: j or x?
j
Let o(a) = -1576*a + 2080. Let c be o(3). Is -2648 greater than c?
False
Let q = -0.012 - 0.055. Let f = q + -137.933. Is f < 1/2?
True
Let y = -4912 - -4918.557. Let s = y - 0.557. Which is greater: -1/4 or s?
s
Let s be 0 + (-480)/(2/2). Let b be s/360 - ((-68)/(-3) + -1). Is -25 > b?
False
Suppose 16*s - 75 = -27. Suppose -3*q + 0*o + 211 = -5*o, 0 = 2*q + s*o - 147. Is q greater than 70?
True
Let g = -879826/15 + 58599. Are g and -56 unequal?
True
Suppose 5*a - 426 + 18 = -2*i, -5*i + a + 1020 = 0. Is i >= 222?
False
Let k be ((-12643)/(-4))/47*-24. Is k at most as big as -1614?
True
Let u be 427/341 + (-167)/1837. Is 0 < u?
True
Let s be 0/(19/(38/(-8))). Which is smaller: 2/80351 or s?
s
Let p = -3 - -7. Let j = 6 - p. Let u = 138/5 - 281/10. Is u bigger than j?
False
Let s be -1 - (5/((-10)/8) + 8). Is 0.395 > s?
True
Let c be (-1)/6 - (-6550)/(-300). Let a(d) be the third derivative of -d**5/60 - d**4 - 43*d**3/6 + d**2. Let j be a(c). Is 2/9 equal to j?
False
Let h = -265 - 30. Let p = -296 - h. Is p > -3/115?
False
Let m(r) = -3*r**3 - 34*r**2 + 134*r + 32. Let u be m(-14). Which is smaller: -270 or u?
u
Let j = 195 + -194. Let y be 702/(-286) - j*-3. Suppose -4*x + 10 = a, 2 = 5*a - 4*x - 0. Which is smaller: a or y?
y
Let h be (-24)/10*(-185)/782920. Which is smaller: h or 0?
0
Let r = 641281.8251 - 641316. Let w = 0.0749 + r. Let u = w - -34. Does u = -0.5?
False
Let c(g) = 15*g - 15. Let r be c(7). Suppose 3*p = -162 - r. Let i be (p/(-70))/((-2)/40*3). Which is bigger: i or -26/3?
i
Let n(z) = -z**2 - 19*z + 2. Let r be n(-19). Suppose 0 = -k - 3*b + 1, -2*k = -4*b + 6 + r. Which is smaller: k or -23/40?
k
Let u(b) = -6*b - 148. Let s be u(-26). Let d be s/12 - (-7319)/(-39). Which is smaller: 1 or d?
d
Let k = -2 - -4. Let m(w) = w**3 - 22*w**2 - 25*w + 46. Let f be m(23). Suppose 5*t + k*d - d + 3 = 0, 4*d - 8 = f. Is 1/41 > t?
True
Let w = -4786 - -4786.11. Let d = 0.11 - 0.03. Which is smaller: d or w?
d
Suppose -580 = -13*s + 5. Let c = 747475/16149 + -1/2307. Which is smaller: s or c?
s
Suppose 0 = 3*x + 9*n + n - 46, x - 5*n + 18 = 0. Which is bigger: 64/19 or x?
64/19
Suppose -i - 119 = -3*c, 52*i - 47*i - 29 = -c. Which is smaller: c or 0.01?
0.01
Suppose o - h + 12 = 3*h, -h + 9 = -o. Let v be 760/(-15) + 1 + o/6. Let y = v + 47. Is y less than or equal to -2?
True
Let f be 16*(-1 + 28/8 + -2). Suppose f*i - 108 = 36. Let r = -0.035 + 1.035. Which is smaller: i or r?
r
Let n be 7928/30 - (-63)/175*20/(-12). Which is smaller: -1 or n?
-1
Let y = 464 - 464. Are 2/109487 and y non-equal?
True
Suppose 108*b = 113*b - 1420. Suppose 0 = 11*z - b + 911. Let l be (19/z)/((-1)/(-3)). Is -7/5 greater than or equal to l?
False
Let s = -889 + 880. Suppose 0*y - 2*d - 6 = y, -3*y = -4*d + 38. Is y smaller than s?
True
Let d(z) = -14*z - 57. Let f be d(-4). Is f less than or equal to -18/1243?
True
Let j(a) = a**3 - 79*a**2 + 35*a + 74. Let c be j(77). Is c at most -9089?
True
Let r = -12 + 18. Let a = -34024 - -34032. Which is bigger: a or r?
a
Suppose 4*j - 78 = 5*q, -2*j - 52 = 2*q - 28. Is -35/8 less than q?
False
Let o = -108415499/114 - -951005. Let z be (-145)/18 - 9/(-162)*4. Let f = z - o. Which is smaller: 1 or f?
f
Let j = 39.3 - 55.4. Which is bigger: j or 2?
2
Let u = 183252 - 1250511645/6824. Is u greater than 1?
False
Let v = 74867/28971 + -75/29. Let u = 66937/1998 + v. Which is bigger: u or 35?
35
Suppose 2*u - 3308 = -19*z, -3*z + 313 = 3*u - 212. Is z equal to 190?
False
Suppose -7*y - 7 = -28. Suppose 80 = y*l - 151. Is 79 smaller than l?
False
Let i = -135.88 + 130. Let v = i - 0.12. Let f = -422 + 422. Which is smaller: f or v?
v
Suppose 0 = -73*w + 37*w + 54648. Is w >= 1518?
True
Let k(u) = -u**3 + 6*u**2 + 2*u + 16. Let n be k(8). Let m = n + 99. Suppose -m*p + 14 = -61. Which is bigger: -2/5 or p?
p
Let r = -1898 - -2449. Which is smaller: 544 or r?
544
Suppose 11*d - 14*d = 117. Let a = -34 - d. Is a != 29/8?
True
Let i = -168 + 164. Suppose -c - 160 = 3*x, -3*c - 3*x - 137 = 337. Let o = c - -1883/12. Are o and i equal?
False
Suppose 17*x = 1497 - 4642. Let t = x - -159. Is -26 less than t?
False
Let t = -83 + -39. Let v = -119 - t. Which is smaller: v or -1/3?
-1/3
Let w be 372/18*(-5 - 1)/2. Let b = w + 60. Let p be b*(18/8 + 0). Which is smaller: p or -4?
p
Let p = -6131 + 6132. Which is bigger: p or 0.1817?
p
Suppose 0 = 2*c - c + 2*c. Suppose -4*m = 2*f + 48, c = -3*f - m - 0 - 62. Let u = f - -35. Which is smaller: 14 or u?
14
Suppose -7*m - 344 - 181 = 0. Let s = m - -22. Let o = s + 57. Is 6 not equal to o?
True
Let k be 0*-4*6/24. Is k less than 7/178?
True
Let a be (0 + -13 + -2)*16642/265. Which is smaller: -941 or a?
a
Let c = -0.9 + 3.9. Let d = c - 2.9. Let l = 0.149 + -0.249. Which is bigger: d or l?
d
Suppose 0 = -4*n + 13*n - 54. Let x be 24/36*(-3)/(-2) - -7. Suppose -n*l = -x*l - 14. Is -7 smaller than l?
False
Let s be 0 + 6/(-10) - (-1344)/40. Suppose -5*i - 35 = -5*l, -4*l + s = -0*l - 3*i. Let z be ((-2)/(-4))/(l/120). Which is greater: 6 or z?
6
Let m be (32 - -9 - 6) + -1. Let s be 117/4 - (-10)/(-8). Which is bigger: m or s?
m
Let h = -40989 - -40989.86. Is 249 at most h?
False
Suppose 6*l = -1247 + 971. Let o be (-14)/(-5) + 2/10. Let u = o - l. Which is smaller: 50 or u?
u
Let s(l) = l**2 + 18*l**3 - 14*l - 56*l**3 + 0*l**2 - 9 - 3 + 25. Let q be s(1). Which is smaller: -41 or q?
-41
Let k(l) = l**3 - 3*l**2 + 5*l - 30. Let p be k(4). Let m be (p/(-30))/(9/24). Which is bigger: m or 0?
0
Let t be ((-88)/140)/((-2)/14)*5. Suppose 0*l - 3*l = -18. Let b be (-33)/(1/((-4)/l)). Is b != t?
False
Suppose 109178 + 191705 = 132*c - 62381. Which is smaller: c or 2753?
c
Let w be (149486/328)/(1/4). Which is smaller: 1822 or w?
1822
Let o = 0.718 + -0.018. Let h = 913 + -2761/3. Is o bigger than h?
True
Let h be (-47)/((-12)/8 - -1). Suppose 10*t + 19228 = 103*t + 116*t. Which is smaller: t or h?
t
Suppose -816293 = 107*s + 115*s - 199*s. Which is smaller: -35490 or s?
s
Su