 1?
n
Suppose -21*c = -3112 + 16342. Let x = c + 1188. Are x and 557 non-equal?
True
Let y(g) = g**3 - 13*g**2 + 3*g - 38. Let a be y(13). Which is smaller: 1/1867 or a?
1/1867
Let o be 3/(-9)*0 - -21. Let j(n) = -n**2 + 22*n - 15. Let u be j(o). Let b = -1262/3 - -428. Is u bigger than b?
False
Let j be ((-9)/(-6))/((-1)/(-2)). Let g = -16 - 71. Let y = g + 86.7. Which is bigger: y or j?
j
Suppose -4*r + 0*g = -g - 36, 2*r - 4*g - 4 = 0. Suppose -239 + 29 = -r*b. Is 25 < b?
False
Let y = -8 + 5. Let f be (-25)/y + (-8)/(-12). Suppose -2*c = -7*c + 3*j + 25, -c + 5*j - 17 = 0. Which is greater: f or c?
f
Let c = -2279 - -2268. Is c bigger than -36.2?
True
Let b = -10605 + 10845. Which is smaller: b or 235?
235
Let j be 17/3*(-1 + 4). Suppose -c = 2*z + 59, -5*z = -4*c + 3*c + 137. Let d be (-832)/(-56) - (7 + -3)/z. Which is smaller: j or d?
d
Suppose 4*u = 25*u - 2436. Suppose -2*s = 5*r + 487, 62 + u = -2*r - 5*s. Is r greater than or equal to -98?
False
Let x be 20/4 - 942/((-36)/12). Are x and 315 non-equal?
True
Let h(a) = a**3 + 1520. Let z be h(0). Suppose -4*i = 5*u + z, 2*u = 5 - 13. Let p be i/35 - (-6)/(-21). Is -11 at least p?
True
Let d = -0.28375 - 8.87025. Which is smaller: 2 or d?
d
Let o = 29 - 332. Let r = 303.011 + o. Which is greater: r or -2/15?
r
Let p(y) = 9*y**3 - y**2 + 3*y - 2. Let r be p(1). Let c = -401 - -404. Is c bigger than r?
False
Let u = 11034 + -11024. Are 0.037 and u unequal?
True
Suppose 0 = 2630*g - 2650*g + 20. Does g = -51.5?
False
Let i = -401.131 - -400.131. Let p = 75185967 - 171799927268/2285. Let u = -3/457 + p. Which is greater: i or u?
u
Let j = 51745/59 + -877. Let x = j - 128/295. Suppose 0*z + 3 = -3*z. Which is smaller: x or z?
z
Let j = 1088045/3 + -362681. Let m = -4.8782 + 0.0882. Which is bigger: j or m?
j
Let v = -239 + 238. Let i be (-65 - -59) + (v - -8). Which is smaller: -6/19 or i?
-6/19
Suppose 2*g - 29 = -3*d, 49*g = 52*g + 3*d - 51. Which is bigger: 936/43 or g?
g
Let y = -11283 - -39230. Let g = 17299189/619 - y. Is g less than 1?
True
Suppose -5*v + 4*x + 119 = 0, 91 = 4*v + 6*x - 5*x. Suppose -24*l + 1 = -v*l. Does l = 3/95?
False
Let k = 7374 - 7378. Is k not equal to -33/7?
True
Let i = 1542 - 1535. Suppose m = -2*m + 15. Suppose -i*z = -m*z. Is -2/9 != z?
True
Let q = -15521.8543 + -3.1457. Is 1 at least as big as q?
True
Let x = -229 + 307. Let l = 76 - x. Which is smaller: 0 or l?
l
Let a = -39 + 1747. Which is greater: a or 1710?
1710
Let k = -0.09 + 0.89. Let d = 2 - k. Let s be (-41 + 29)/72 + (-10)/(-24). Is d >= s?
True
Suppose 4*t + t = -15. Let s = t - 8. Let f be (1/2)/((-6)/144). Is s at most f?
False
Let t(v) = v**2 + 11*v + 28. Let f be t(-8). Let y(r) = -9*r - 9. Let h be y(-3). Suppose d = -d + h. Do f and d have the same value?
False
Let a = -128115/8 - -15759. Which is bigger: -255 or a?
-255
Suppose -t - 4 = -0. Let j be (7 + t)/((-1)/(-1)). Is j equal to 2?
False
Suppose 0 = -c - 4*c + 10. Suppose c*k = -2*k - 48. Let g = 40 + k. Is 27 != g?
True
Let p be -213*(-244)/72 + (-9)/(-108)*-10. Is 722 bigger than p?
True
Let h be (-614)/(-1808) - 603/1608. Is 0.02 > h?
True
Let m be 1*(-15)/(-25) + -4 + (-444)/(-10). Which is smaller: 996/25 or m?
996/25
Suppose 33*x - 41*x + 32 = 0. Let k(d) = 6*d**2 - 10*d - 12. Let a be k(x). Which is greater: a or 33?
a
Let p(d) = -3*d**2 + 16*d + 14. Let x(a) = 4*a**2 - 17*a - 13. Let k(t) = -3*p(t) - 2*x(t). Let u be k(15). Is u greater than -3/205?
False
Suppose 0 = -8*y - 3*y + 11. Let j be -3 - (1 - y)*1. Suppose 2*b - 3*r + 2 = -0*r, 2*b + 10 = r. Do b and j have different values?
True
Let h(d) = -d**3 + 3*d - 1. Let c(g) = -g**3 - 25*g**2 - 15*g - 7. Let y(t) = -c(t) - 2*h(t). Let j be y(-8). Which is smaller: j or -4/41?
-4/41
Suppose -u = 4*u - 75. Let k = u + -13. Let z be -10 + 408/36 - 4/12. Which is bigger: z or k?
k
Suppose 5803 = 74*h + 56123. Is h equal to -681?
False
Let l(v) = -4*v**2 - 185*v + 2426. Let p be l(24). Which is bigger: -4321 or p?
p
Suppose -7362*n = -7335*n - 71496. Is n at most as big as 2649?
True
Suppose 0 = 7*i - 5*i. Suppose -8*z - 16 + 48 = i. Suppose s + 5*b = 20 - z, 4*s + 5 = 3*b. Is s < 3/58?
False
Let a = 40637 + -278729181/6859. Which is greater: a or 1?
1
Let n = -194 + 187. Let o be (n + (-231)/(-35))/(2 + 0). Is -1 smaller than o?
True
Let t be 774/(-90) + -1 + 8/5. Let j be (8/1 - 4)*(-34)/t. Which is smaller: 19 or j?
j
Let k = 402655/4209 + 2/1403. Let r = 1438/15 - k. Which is bigger: -24 or r?
r
Let m be ((-513)/(-15))/3 + 2/(-5). Let v(d) = -d**3 + 9*d**2 + 24*d - 26. Let c be v(m). Is -33/10 <= c?
False
Let g = -20394 - -1203215/59. Let p = -246/767 + g. Is -1 at most as big as p?
True
Let r be (6/110)/(-11 + (-112812)/(-10255)). Which is smaller: 81 or r?
r
Let l(s) = -50*s**2 - s + 1. Let d be l(1). Let p = d - -54. Suppose 4*k + p = 3*h - 5*h, 0 = k - h - 2. Is 0 at most as big as k?
True
Let p(a) = 2*a**2 - 4*a + 1. Let q(n) = n**2 + 12*n - 29. Let x be q(-14). Let r be -2 + 2/x + 5. Let c be p(r). Is 2/25 less than or equal to c?
False
Let z = -52.69 + 52.69. Is z less than -0.144?
False
Let y = -0.5 + 0.4. Let r = 3.2 - 2.8. Let s = 13.6 + r. Is y greater than s?
False
Let y(w) = w - 1. Let c be y(3). Suppose -15 = -5*p - 0*l - c*l, -3*l - 30 = -3*p. Suppose 4*t = -p*t + 171. Is t < 18?
False
Let c be ((-1)/(-4)*-2)/((-13)/130). Suppose -y - y = -v + 4, -2*y = 2*v - 14. Suppose 0 = -v*n + 27 + 9. Which is greater: n or c?
n
Let v be (5 - -1)*23/(-2). Suppose 204 = 2*j + 4*b + 326, -4*j - 2*b = 274. Which is greater: j or v?
v
Let m = 304 + -585. Let p = 301 + m. Is p >= -0.4?
True
Let t be 160/(-352) + (-45)/(-99). Is -12/4361 at most t?
True
Let m be (107 - (95 + 21))/(1/((-1)/(-797))). Do -1 and m have different values?
True
Let f be (-5 + -7)/(-26172)*((-90)/(-33) + -3). Which is greater: -0.1 or f?
f
Suppose 5*h - 37 = -11*j + 14*j, 4*h + j = 16. Suppose -44 = -h*p + 2*r - 5, 5*r - 25 = -5*p. Which is smaller: 88/15 or p?
88/15
Suppose 0 = v - 1, 0 = -4*x - v - 531. Let r = x - -57. Is -76 greater than r?
False
Let m be 18/1 - (9 - 9). Suppose 4*v + 5*f = 2*v + 45, 0 = -3*v - 5*f + 65. Is v less than or equal to m?
False
Let l(t) = 671*t - 3354. Let g be l(5). Is g less than -1/1027?
False
Suppose -5*a - 12*y + 5 = 18, -2*a = -y - 18. Let u be (-9)/(-4) - (-21)/28. Is u smaller than a?
True
Suppose 0 = 194*r + 130625 - 28193. Is -524 greater than or equal to r?
True
Suppose 2*x + h + 583 = 0, -3*h + 2*h - 872 = 3*x. Let r be (1153/x - -4)*97 + -1. Which is smaller: r or -1?
-1
Let k be 144/(-90)*(-15)/36*7*9. Let a = -22 + 62. Is k greater than a?
True
Let i = 30039/134 + 89/67. Let j = -1765/6 + i. Let s = 78 + j. Is 9 smaller than s?
True
Let m be 8/(-2) - 3/1. Let t be (-42)/(-154) + (-158)/22. Do m and t have the same value?
False
Let s(k) = 5*k**2 - 44*k + 19. Let v be s(9). Let i be ((-12)/(-8))/((-105)/v) + 0. Are i and 54 nonequal?
True
Let d(i) = 6*i - 64. Let q be d(24). Suppose 0 = -7*m + 3 - q. Is m bigger than 7?
False
Let t(c) be the second derivative of c**3/3 + 21*c. Let v be t(0). Let h = -87/2 + 44. Is h less than or equal to v?
False
Let l be (1 + (-21)/(-15))/(9/(-120)). Let r = 851/21 - 122/3. Is l not equal to r?
True
Let h be 2 - (-813)/(-1) - (-17 - -63 - 42). Which is bigger: -826 or h?
h
Suppose 2*c = 2*i - 26, 0 = 4*c - 24460*i + 24465*i + 52. Let p be (7/1)/((-1)/3). Is p greater than or equal to c?
False
Suppose -44*a + 170 = -200*a + 14. Is a > -3/2339?
False
Let s = -1162 + 575. Let x = 584 + s. Let a be (-8)/30*27/2. Is a != x?
True
Let t be (523544/(-49))/((-30)/21). Let p = 7512 - t. Which is bigger: 33 or p?
33
Let c be ((-175)/(-60))/((-937)/(-4712)). Let s = c + -2/2811. Do 15 and s have different values?
True
Suppose -2*c + 239 = 219. Suppose -2*o + 3*u = 5*u + 8, -4*o = 2*u + c. Which is smaller: o or -2/23?
o
Suppose -3*l + 9 + 21 = -z, -3*l - 2*z + 39 = 0. Let a(p) = 2*p**2 + 2*p - 3. Let v be a(-3). Which is smaller: l or v?
v
Suppose -20 = -5*j, 2*z + 4*j = 2*j. Let k = z - -13. Suppose -n = 2*m - 14, 28*m + 52 = 32*m - 4*n. Do m and k have the same value?
True
Let w = -1 - 138. Let q = 140 + w. Is q < -1/147?
False
Suppose 34*w = 11*w - 138. Let s be 6/(-8) - (w - (-31599)/6012). Do 0 and s have different values