p(-7). Let m = w - -9. Are x and m equal?
False
Let a = 688 - 687.7. Which is smaller: -144 or a?
-144
Suppose 0 = -19*n + 5*n - 126. Is -70/9 at least as big as n?
True
Let f be (4/(-16)*-4*27)/1. Which is greater: f or 15?
f
Let v = 6 - 2. Let u be (-88)/(-259) - v/14. Let i = -31 - -30. Is u greater than or equal to i?
True
Suppose -3*o - o = 2*k + 64, o - 17 = k. Let a = -35 - k. Let c be (-13)/2*(2 - 0). Are c and a equal?
True
Suppose 0 = -10*k + 9*k + 23. Suppose 6*c = 2*c + 2*y + 78, -4*c + 68 = -4*y. Which is greater: k or c?
k
Suppose 5*r - 41 = -4*o, -3 = -5*o + 3*r + 2. Suppose n - n = -o*n. Does n = -2/9?
False
Let n be (-7)/((-17731)/(-264))*(-27)/(-18). Let m = n + -3/149. Does m = -1?
False
Suppose 4*c + 36 = -4*s, 2*s - 4*c - 5 = 1. Let r(q) = -q - 8. Let d(p) = -p - 2. Let g be d(3). Let t be r(g). Which is smaller: t or s?
s
Let i = 3 - 4. Let y = 154613/16 - 9663. Which is smaller: y or i?
i
Let d(j) = j**2 - 2*j - 11. Let m be d(5). Suppose -2*o - 5*a = -19, 3*a - 12 = 3*o - m*o. Which is bigger: o or -2?
-2
Let a(o) be the first derivative of -1/3*o**3 - 6 - 3*o + 5/2*o**2. Let g be a(6). Is g smaller than -10?
False
Let u = 171 - 514/3. Is 128/7 <= u?
False
Suppose 8*n + 664 = 16*n. Is 82 bigger than n?
False
Suppose -b + 15 - 18 = -2*q, -15 = 3*q + 5*b. Which is smaller: q or 907?
q
Let k be (-33)/(-6) - 8/(-16). Suppose -3*a + 45 = 2*a. Let t = 14 - a. Which is bigger: t or k?
k
Let d be (2 - 4 - -4) + -40. Suppose 24 = 9*x - 7*x. Let o be (-1)/(-6) - d/x. Does o = 2?
False
Let t = -2.57 - -2.97. Let w be (-5)/(-4*3/10). Let r = w - 131/30. Which is smaller: t or r?
r
Suppose 0 = -t + 5*t - 5*a - 4, a = 5*t - 26. Let l be 437/138 + 4/3. Is l equal to t?
False
Suppose -2 = 2*k - 2*o, -5*k - 3*o = 2 - 5. Let s be 9/(-18)*(k - -4). Are -2 and s unequal?
False
Let m(w) = w**3 - 3*w**2 + 2*w - 6. Let c be m(3). Which is smaller: 3/152 or c?
c
Let j be (-2 + 57 - -3) + -1. Let f = j + -287/5. Is 0 > f?
True
Let o(t) = t - 7. Let w be o(11). Suppose w*u + 7 + 53 = 0. Let v be ((-1)/(-3))/((-4)/u). Are 2 and v equal?
False
Let j be 96 - 748 - -3*1. Is j greater than -647?
False
Let s = 6677 - 6673.757. Let b = -0.057 - s. Let t = b + 4.3. Do 0.14 and t have the same value?
False
Let c be (9*-3)/((-9)/24 + 0). Suppose 0 = -9*s - 63 + c. Which is bigger: -2 or s?
s
Let n = 126 - 150. Let h be (2/n*-6)/((-1)/2). Is h less than 1/117?
True
Suppose w - 4*k - 3 - 6 = 0, 0 = 2*w - 4*k - 10. Which is bigger: -25 or w?
w
Suppose 4*q + 0*w = 4*w - 164, 3*w = -2*q - 62. Let d = 37 + q. Suppose 4*s + 0*s = 0. Is s greater than d?
False
Let k(n) = 4*n. Let a be k(-1). Let h be 1 + (4/(-3))/(14/(-21)). Suppose -5*z - h = -4*z - 4*b, 4*z = 4*b - 12. Which is bigger: a or z?
z
Let y be (1*-1)/(-16 + 17). Let p(a) = -9*a**3 - a**2 - 2*a. Let q be p(y). Which is greater: 11 or q?
11
Let d = -14103/8066 - -63/218. Is -2 equal to d?
False
Let z = -25 + 32. Let s(i) = i + 5. Let o be s(z). Suppose -2*u - o = -4. Which is bigger: u or 2?
2
Let p = 177 + -202. Which is smaller: -27 or p?
-27
Let n = -12/14173 - -15335366/212595. Let u = n - 437/6. Which is greater: u or 0?
0
Let j = -105/74 + 11317/518. Which is bigger: j or 21?
21
Let q(x) = 2*x**2 - 5*x + 5. Let a be q(2). Suppose 0 = a*l - 14 - 4. Which is smaller: 36/7 or l?
36/7
Let o be 16/48 + (-221)/(-3). Is o less than -0.1?
False
Let s = 657 + -807. Is s greater than or equal to -150?
True
Let x be (1 - (3 + 0)) + -2. Let o be x/(9 - -3) - 2/3. Which is greater: -3/32 or o?
-3/32
Let r be 8/42 + (-3)/9. Let u be 14/10 - (-2 - (-12)/5). Are u and r non-equal?
True
Suppose 5*d - 889 = -3*i, 4*i - 600 - 594 = 2*d. Which is bigger: 299 or i?
299
Let w = 2194 - 61657/28. Let f = 4679/4 + -1162. Let z = f + w. Is z > 3?
False
Let r = 99.73 + 0.27. Let d = -100 + r. Is 2/145 < d?
False
Let m = -64/39 + 4/13. Which is smaller: -0.2 or m?
m
Let a be -30*(13/(-2))/1. Suppose 0 = -4*w - 3*o + 155, -5*w + 2*o - 7*o + a = 0. Let r be 8/12*(-3)/w. Are -1 and r equal?
False
Let d = -1 + 1. Let j be 2*((-108)/8 + -1). Are j and d equal?
False
Let g = -10 - -9. Let i = 14 - 11. Suppose 4*z - 4 = 3*x - 0, -i*x - 4*z + 4 = 0. Which is greater: g or x?
x
Let l = 7463 + -7462. Let b be 2/(-5) + (-56)/(-90). Do b and l have different values?
True
Let v be (20/54)/(144/(-864)). Which is bigger: 2/3 or v?
2/3
Let j be 10/4*(-14 - 12). Which is bigger: j or -66?
j
Suppose 28*g = 20*g - 8. Is 4/13 < g?
False
Let f = 1.71 + -2.37. Which is smaller: f or -10?
-10
Let o = 236 + -106. Let i = 3115/24 - o. Which is smaller: i or 1?
i
Let n = 459/70 + -77/10. Let j(i) = 3*i - 4. Let x be j(1). Which is smaller: n or x?
n
Let w = 185 - 186. Which is smaller: w or 678?
w
Let s = 231 + -230.853. Let z = 0.047 - s. Is z greater than 4.1?
False
Let i be 2/(-10)*0*8/16. Which is smaller: i or -58/13?
-58/13
Suppose -3*m + 5*m = 4*y + 4, 0 = 5*m - 5*y - 5. Let v(w) = w + 11. Let s be v(m). Is 2 greater than s?
False
Let j = 88 + -31. Let p be (j/(-2))/(3/(-4)). Which is smaller: 0 or p?
0
Let p = 102 + -716/7. Let b be (-9)/(-6)*(-16)/12. Let z(i) = -i**3 - 2*i**2 + 2*i + 3. Let y be z(b). Do y and p have different values?
True
Let d be (1827/(-14))/((-42)/35*1). Is 108 < d?
True
Let f = -2.1 + 0.1. Suppose -9*t + 120 = t. Let i be t/(5 - 1)*(-4)/(-42). Is f smaller than i?
True
Let u = -31 - -31. Let z = 0 + u. Which is smaller: 0.3 or z?
z
Let j = -192 + 285. Which is bigger: 92 or j?
j
Let x = -126231/37 + 3411. Is 0 at most x?
False
Let m(p) = p**3 + 17*p**2 - 4*p + 4. Let g be m(-17). Suppose 0 = -4*j - 5*x + 77, 4*j + 2*x = -2*x + g. Is j >= 12?
True
Suppose 0 = -4*c + t + 95, -5*c + 2*c - 2*t + 85 = 0. Suppose -6*s + 5 = -c. Is s greater than or equal to 14/3?
True
Suppose 4*s = -s - 25, 0 = 3*y + 5*s - 548. Let k = y + -583/3. Is k < -2?
True
Let w = -34 + 35. Let f be (-56)/128 - w/(-4). Which is bigger: 0 or f?
0
Let a be (66/10)/((49/7)/70). Let w = a - 54. Is 13 != w?
True
Let w(a) = a**2 + 5*a + 2. Let c be w(-6). Let i be 4/c*(-12)/(-39). Which is bigger: i or 1?
1
Suppose j = -j - 28. Let i be 3/((-7)/(j/3)). Is i greater than or equal to 9?
False
Let l = 0.11 - 4.11. Let j = -106 + 104.34. Let n = j + -0.34. Which is smaller: n or l?
l
Let g = 18 - 33. Let v = g - -8. Let f be v/9 - (-20)/(-90). Is 2/9 > f?
True
Let i = 7 + 7. Suppose 0 = -5*b - 2*p - 2 - i, p = 5*b + 7. Let u be (1 - (-92)/(-108))/b. Which is smaller: -1 or u?
-1
Suppose 0 = -2*m + 1 + 1, -y = -4*m + 26. Let x be 6/(-18) + y/6. Let c = x - -4. Which is smaller: 2 or c?
c
Let z be ((-63)/(-15))/(-7)*15. Let v = z - -8. Which is greater: v or 0?
0
Let l = 0.152 - -4.748. Is l at least as big as 1/2?
True
Let p = 0.2221 + -48.2221. Does -2 = p?
False
Let n = -1294 + 1266. Do n and -55/2 have the same value?
False
Let r(f) = f**3 - 22*f**2 + 20*f + 2. Let u be r(21). Is -16 at most u?
False
Suppose 0 = 5*a + 2*q - 7, -2*a = a + 4*q + 7. Suppose -a*w = 5*z - 28, -6*z + 2*z + 20 = 0. Is w bigger than 1/3?
True
Let w = 3.75 + -3.95. Let z = -4.7 + -0.3. Which is smaller: z or w?
z
Suppose -5*c = -l + 291, c + 509 + 579 = 4*l. Which is smaller: 270 or l?
270
Suppose 26*g + 265 = 21*g. Let f = -375/7 - g. Is f > 0.4?
False
Suppose 0*w = 4*w + 5*v + 42, -4*v - 31 = 3*w. Let x = 4 - w. Let n = x + -12. Is 5 less than or equal to n?
True
Let w be (6 + 45/(-10))/((-63)/(-28)). Is w <= -20/17?
False
Let v = 268 + -2392/9. Which is smaller: v or 6?
v
Let h(n) = -n**3 + 14*n**2 - 24*n - 23. Let s be h(12). Is s smaller than -21?
True
Let l(c) = c**2 - 20*c + 34. Let h be l(2). Is 47 at least h?
True
Let k(d) = d**2 - d - 1. Let p be k(-2). Let n = -4 + p. Let x = 46 + -47. Which is greater: n or x?
n
Suppose -3*q = -3*x + 42, 0 = -4*x - 4*q - 0*q + 56. Which is bigger: 10 or x?
x
Suppose y + 0*y - 29 = -3*j, 4*j - 17 = 3*y. Suppose -5*k + j*k - 3 = 0. Let z be (1 + -6 + 1)/(-5). Is k at least as big as z?
True
Let c(j) = -j**2 + 5. Let p be c(-4). Let z = -73 - -61. Is p < z?
False
Suppose -5*h - 4*k = 2 - 7, -4*h = -k - 25. Let g(j) = -j**2 + 6*j - 3. Let f be g(h). Do f and 1 have the same value?
False
Let t(u) be the third derivative of -u**5/60 - u**4/3 - 3*u**3/2 - 3*u**2. Let c = -38 + 31. Let q be t(c). Which is smaller: -0.5 or q?
q
Let r be 3/((-