 n?
True
Let t(k) = -28*k - 8. Let l be t(-4). Suppose -4*a + l = -4*y, -6*y - 5 = -y. Do 25 and a have the same value?
True
Let i be (1/(-3))/(14/(-630)). Suppose 5*p = -i, -2*p = 2*z + z + 36. Which is bigger: z or -11?
z
Suppose w = -4*u - 9, 3*u + w + 3*w = -10. Which is greater: u or -13/25?
-13/25
Let w be (-7 - -5)*(-4 + 5). Let j(i) = -5 + i**2 + 0 - 2 + 3 + i. Let k be j(-3). Are w and k equal?
False
Let g = -1.64 + -0.36. Let u = 1 + g. Which is bigger: u or -2?
u
Let q be ((-6)/75)/(11/(1980/63)). Is 1 at most q?
False
Let z be 2/11 - (-232899)/8613. Which is bigger: z or 28?
28
Let o(k) = k**3 - 3*k**2 - 4*k - 4. Let v be o(4). Let t = -24 + v. Let p = t - -28. Do p and 1 have the same value?
False
Let m be 2 - 72/285*(-110)/(-14). Let i = m + -284/1197. Do 8 and i have different values?
True
Let r = 0 + 0.1. Let m = 2.3 + -2.5. Let n = m - -0.4. Which is smaller: r or n?
r
Let z = -4 - 11. Let m(y) be the third derivative of -y**6/120 - y**4/12 - 2*y**3/3 - 29*y**2. Let l be m(2). Which is greater: z or l?
z
Suppose -4*j + 20 = -4*s, -2 + 5 = -3*s. Which is greater: 42/13 or j?
j
Let c = 17507 + -332551/19. Let d = 625/114 - c. Which is greater: d or 1?
d
Suppose -37 = -11*m + 51. Which is bigger: 34/5 or m?
m
Let j be ((-29)/4 - -2)/(60/(-70)). Let g = j - 6. Is g <= 1?
True
Let g(c) = c + 7. Let y be g(-5). Suppose v = -y*p - 0*p, -3*v + 7 = -p. Suppose v*t + 2*b = -2, -6 = 4*t - 2*b - 20. Is 2 <= t?
True
Let b(q) = q - q + 10 + q. Let h be 171/(-24) + (-2)/(-16). Let a be b(h). Are 2 and a equal?
False
Let u = -0.48 - -74.48. Let c = -74.38 + u. Is -0.1 bigger than c?
True
Suppose 478 = 2*b + p + p, -b + 3*p + 251 = 0. Let q be (33/b)/(2/(-4)). Is q at most 1?
True
Suppose -99*f + 6118 = -53*f. Which is greater: 130 or f?
f
Suppose -4*p + p = -12. Let r = 66 - 156. Let g be 0 + (-5)/(r/p). Which is smaller: 1 or g?
g
Suppose 29*t = 23*t. Which is smaller: t or -26?
-26
Let c = -15 + 3. Let i be c/8*128/(-6). Let q = i + -115/3. Which is greater: -5 or q?
-5
Let p(c) = 341*c - 178. Let b be p(1). Which is smaller: 166 or b?
b
Let t = 4 + -26. Let i = -65/3 - t. Which is smaller: -2 or i?
-2
Suppose 4*z = 4*g - 4, -2*g - 5*z + 30 = -0*g. Suppose 1 = -2*p - m, 3*m + 2 = -g*p + 1. Which is smaller: 4/11 or p?
p
Suppose -80*p = -72*p + 24. Suppose -t + 4*t = -6. Is t at most p?
False
Let n be 7 - (2 - (-70)/8). Is n != -0.1?
True
Let i = -503.1 + 503. Does i = 0.069?
False
Let v = -31 + 35. Is v greater than or equal to 7?
False
Suppose y - 11 = -2*u, -2*y - 3*u + 19 = 2*y. Let d be y*4*(-3)/(-6). Let h be (7/(-14))/(1/d). Is 1 less than h?
False
Let y be (-77)/(-35) + 2/(-10). Suppose 2*q = y*t - 4*t - 8, -2*t + 2*q + 12 = 0. Is t != 6/47?
True
Suppose 0 = 4*l - 10*l + 18. Suppose 2*z - l*p + 6*p = 82, -4*z + 152 = 3*p. Is 35 > z?
False
Let u(b) = -3*b**2 + 52*b - 8. Let r be u(17). Is r equal to 7?
False
Suppose -2*m - 4*j - 40 = 3*m, -40 = 5*m + j. Does m = -9?
False
Let q be 0/(3*8/(-8)). Is 164 != q?
True
Suppose -2*t - t + 9 = -3*c, 4*c - 2 = -3*t. Suppose t = 2*f - 0. Which is smaller: f or 38?
f
Let l = -26 - -26. Suppose l = 5*u, -3*t + 2*u + 6 = -12. Suppose t*g = 5*g - 36. Which is smaller: -35 or g?
g
Let u = -55945/51 + 1097. Suppose 0 = 425*p - 432*p + 7. Is p < u?
False
Let t = 9 + -11. Let v = 17 - 14. Let i = t + v. Which is smaller: i or -1?
-1
Let c = -58 + 28. Suppose 20*i - 23*i - 130 = 5*z, 74 = -3*i + 2*z. Is c less than or equal to i?
True
Let i = 5920/9 - 658. Which is smaller: i or 0?
i
Suppose 0*u - 160 = 8*u. Let t be (-88)/63 + u/(-70). Let h = t - -259/225. Which is smaller: 0 or h?
0
Suppose -106 = -28*g + 62. Which is greater: 1.9 or g?
g
Suppose 3*t = -2*d + 136, -3*t - 112 = 16*d - 18*d. Is d > 62?
False
Let c(o) = o**2 - 34*o + 107. Let y be c(29). Which is smaller: 0.6 or y?
y
Let d be (-2 - 0)*49/14. Let t be (-15 + 6)*(-2)/(-6). Let n be d*(t + (-117)/(-35)). Which is greater: n or -2?
-2
Suppose 21*h - 24*h - 90 = 0. Let v be (12/h)/((-2)/(-20)). Which is smaller: v or -1?
v
Suppose 0 = -5*l - 4*f + 116 + 14, 2*l - 59 = -3*f. Which is greater: 23 or l?
23
Suppose 11 = 2*t - g, 0 = -2*t - 2*g - 2 - 2. Which is smaller: t or 1?
1
Let a(l) = -l**3 + 6. Let k be a(0). Let o be (-531)/(-156) - k/39. Which is smaller: o or 4?
o
Suppose 3*d - 2*f = 4, 14*f - 13*f - 4 = 0. Suppose 2*r - 10 = 2. Suppose r*p = d*p + 2. Do p and 4 have different values?
True
Let p = -27 + 29. Suppose -p*m - 12 = 2*m + 4*v, -5*m + 4*v = -21. Suppose 0 = r + m, 3*r + 2*r - 70 = -5*t. Which is bigger: t or 13?
t
Let v = 315 + -175. Suppose l = 6*l + v. Let j be ((-3)/(-12))/((-2)/l). Are j and 4 equal?
False
Let b be (171/(-132) - -2) + (-21)/(-28). Which is greater: 0 or b?
b
Let l = -587 + 11737/20. Which is bigger: l or -0.1?
-0.1
Let u = -151.2 + -21.8. Which is smaller: u or 1?
u
Let v(t) = -t**3 - 12*t**2 + 43*t - 39. Let a be v(-15). Which is bigger: -10 or a?
a
Suppose 2*a = -5 - 3. Let v(r) = r**2 + r - 4. Let i be v(a). Let c be (-4)/(-5) + (-1353)/(-165). Which is smaller: i or c?
i
Let k(p) = -1 - p**2 - 6*p - 5 + 3. Let s be k(-3). Suppose -5*o - c = 7, s = o + 2*o + 4*c. Which is bigger: -4/5 or o?
-4/5
Let d be (-2)/(-3)*(13 - 1)/4. Let l(t) = -t**2 - 6*t - 7. Let f be l(-5). Let n be (-26)/(-2) - (f - d). Is 17 <= n?
True
Let u = 824 - -21. Which is smaller: 0 or u?
0
Let q = -0.63 + 0.6. Suppose 5*i = 6*i + 140. Let z = i + 978/7. Is z at least as big as q?
False
Let v be 2*-1*(-7)/8. Let f = -0.18 + -18.82. Let a = -20 - f. Which is bigger: v or a?
v
Let j be (-523 - -2)/(39/67). Let n = -895 - j. Is -1 equal to n?
False
Let n = 7.324 - 7.27. Which is smaller: 3 or n?
n
Suppose 42 = -3*p - 3*v, -44*v = 4*p - 39*v + 62. Let r be 0/(1 - -1 - 4). Suppose r*g - 3*g = 21. Is p at least g?
False
Let h = -19896475/229437 - -13/17649. Let v = -256/3 - h. Which is bigger: v or 2?
2
Let g be ((-5)/(-5))/((-8)/(-4184)). Is 523 smaller than g?
False
Let z be 0 + -8 + 3 + -2. Let o = 10 + z. Let s(n) = -n**2 + 4*n - 4. Let c be s(o). Which is smaller: c or 1?
c
Suppose 4*m - 327 = 145. Let b = 588/5 - m. Let h = 0.2 + -0.15. Which is smaller: b or h?
b
Suppose 3*g = -2 + 5. Let h = -1262 - -92124/73. Is g <= h?
False
Let u(o) = -o**3 - 12*o**2 - 6*o + 41. Let t be u(-11). Which is greater: -13 or t?
-13
Let r(w) = -44*w - w**2 + 1 + 1 + 32*w - 6. Let n be r(-9). Is n not equal to 23?
False
Let a = 280 - 255. Do a and 97/4 have the same value?
False
Let r be 4/14 + (-306)/(-7). Let m be (-8)/36 + r/117. Let a = -349 - -349. Which is smaller: a or m?
a
Let w = -2 - -1. Let d be 2/(-3 - w)*0. Suppose 0 = -l - q + 47 - 46, -12*l - 44 = -2*q. Which is smaller: l or d?
l
Let k be 300/(-2520) - 2/(-7). Let v be 6/2 + (-4 - -2). Let z = v - 2. Which is smaller: z or k?
z
Suppose 8*k - 6*k = 58. Let v = k - 24. Which is smaller: -1/6 or v?
-1/6
Let k be (152/(-24))/((-8)/(-6) - 1). Let u be (19/4)/(4/(-16)). Is k > u?
False
Suppose -3*k = -4*k, -3*y - k + 27 = 0. Suppose -y = -6*b + 3*b. Let z(u) = -u**3 + 4*u**2 - 4*u + 3. Let w be z(b). Are -2/3 and w equal?
False
Let l = 720 - 2879/4. Let y = 14.66 - -0.34. Which is smaller: y or l?
l
Let y = 10 - 4. Suppose y*j = -0*j + 30. Which is smaller: j or -0.1?
-0.1
Let v = 27 + -18. Suppose -v = 2*s - 3*s. Suppose 0 = -2*y + s*y. Is y < 3/10?
True
Let f = -13 - -50. Let p = f + -34. Is p >= -0.4?
True
Let m = 30 - 31. Let z = -306.7 + 308. Is z equal to m?
False
Let m be 6/(-78) + 960/312. Are m and 69/37 unequal?
True
Let z = 11.4 - 68.4. Which is bigger: 0 or z?
0
Let y = 12 - 7. Suppose y*g - j = 4, 3*g - 5*j = -0 - 2. Suppose 5*o = 4*o + g. Which is smaller: o or -3/8?
-3/8
Let b = 7 + 4. Let r(x) = -x**2 - 7*x + 12. Let q be r(-7). Let v = q - b. Which is smaller: 4/15 or v?
4/15
Suppose -8*k - 5*k - 130 = 0. Which is smaller: -73/7 or k?
-73/7
Let z be 179/(-651) - (-1)/28*8. Is 1 > z?
True
Let q be 2 + (-3)/((-3)/28) + 4. Let z = q - 2177/64. Does z = -1?
False
Let h = -99 + 34. Let r = h + 56. Let p = 1 - 1. Is p greater than r?
True
Let q(n) = 3*n**3 - n**2 - n + 39. Let i(v) = v**3 + 13. Let h(m) = -11*i(m) + 4*q(m). Let u be h(4). Is u equal to -13/5?
False
Let w(t) = t + 9. Let u be w(-29). Let k(i) = 2*i + 26. Let g be k(u). Let r(o) = o**3 - 6*o**2 + 6*o - 5. Let 