bigger: m or h?
m
Suppose -52 + 17 = 5*z. Suppose 624352 = -12*k + 624148. Do z and k have the same value?
False
Let f = -0.116 + 5.816. Let b = -3.7 + f. Let x be (-10)/(0 - 5) + -1. Which is smaller: b or x?
x
Let x be ((73038/945)/37)/((-2)/21). Which is greater: x or -22?
x
Let k = 5086 + -4257. Which is bigger: k or 9114/11?
k
Let s = -13 + 7.6. Let p = -5.48 - s. Let f = 15.4 - 15. Which is smaller: f or p?
p
Let f be 6*3/(36/(-88)). Let a = 40 + f. Let k be (-116)/a - 4 - (0 + 1). Is k at most as big as 24?
True
Let t be ((-838852)/(-2720))/(12/30) - -4. Let j = t - 775. Is j < -1?
False
Suppose 0 = w + 41 + 138. Let j = w - -349/2. Is -5 at most j?
True
Let z = -61 - -91. Let r be (-1)/(2/(-5))*(-96)/z. Is r < 2?
True
Let m(s) = 3*s**2 - 8*s + 4. Let k be m(3). Let h(c) = -8*c**2 + 10*c + 4. Let a be h(k). Let j be 9/28*(5 - a/(-72)). Which is smaller: 1 or j?
j
Let n = 11007/344 + -32. Suppose -4*m - 1 = -3*m. Which is smaller: m or n?
m
Suppose -2*i + 6 + 20 = -4*z, z = -2*i + 46. Suppose 7*n = 4*n + i. Suppose 0 = -n*w - 6 - 15. Which is smaller: w or -13?
-13
Let j be (-1 - (-7 + (-51)/(-6))) + (-1773)/(-6). Is j >= 1173/4?
False
Let c = -819 + 821. Let u be c/(-4)*(70 - 32). Which is greater: -4 or u?
-4
Let f be 2 + 0 - (-25)/5 - 3. Let p = 23 + 13. Is p greater than f?
True
Let u(r) = -2*r**3 + 31*r**2 - 18*r + 24. Let c = -300 - -315. Let s be u(c). Is -102/5 != s?
True
Let a = 94 - 98. Let v be (-1)/a - (140/(-16) - 0). Which is smaller: v or 1?
1
Let f(r) = -191*r + 1719. Let t be f(9). Suppose -2*j - 52 = -4*j. Let o be j/84 + (-6)/9. Are t and o non-equal?
True
Let k be 5830/((-6 - (-82)/12)/(10/6)). Do 11660 and k have different values?
False
Suppose -20*p + 13 + 7 = 0. Let x be -7 + (11 - 6)*p. Let k = -1981/6 - -329. Which is bigger: x or k?
k
Let m be 6/(2/((-4)/(-3))). Suppose 0 = -2*n - 4*b + 48, m*n - 2*b - 84 = -6*b. Suppose -2*o = -4*x - n, 4*o - 10 = 2*o. Which is bigger: -14/5 or x?
x
Suppose 194*t - 187*t = -2163. Let n = -1543/5 - t. Do 0.2 and n have different values?
True
Suppose -4*v = -2*a - 17 - 19, 4*a + 2*v = -42. Let k = 221.731 - 222. Let q = 0.069 + k. Do q and a have different values?
True
Let u = 24131 - 24144.41. Is u >= -7?
False
Let n = 45/16 + -191/48. Let p = -205 - -204. Which is greater: p or n?
p
Let t = 4.464 + 1.975. Are t and -0.1 unequal?
True
Suppose 17 + 179 = -7*f. Let o be f/(-10) - (-1)/5. Let w be (-1)/(-2*((-21)/(-6) - o)). Is -2/83 != w?
True
Let q = 8549 - 8577. Which is greater: q or -107/4?
-107/4
Let b = -18464767/70 + 263778. Which is bigger: b or -3?
-3
Let a be 4/10*(-15290)/(-418). Is a <= 14?
False
Let j = 3.769 + -0.519. Let f = j - 8.55. Let o = 11/26 - -1/13. Which is smaller: f or o?
f
Let w = 0.7365 + 0.6875. Is w < 1?
False
Let q(n) = -11*n + 74. Let l(y) = 12*y - 75. Let m(b) = 4*l(b) + 5*q(b). Let x be m(10). Let h = -6 + 2. Is h greater than or equal to x?
False
Let l = -186 + 1679/9. Suppose 0 = 3*c + 4*y + 5, 2*y = c - y - 7. Which is greater: c or l?
c
Let k = -1324 - -1322. Let i = 25 - -22. Which is smaller: i or k?
k
Let k = -1471 - -2737. Suppose -1634 = -20*w + k. Is 144 >= w?
False
Let h(u) = -44*u - 486. Let k be h(-11). Is -46/53 < k?
False
Let u be 30/(-135) + (-19083)/(-216). Let p be -1 - -1 - (93 + -5). Let z = u + p. Which is greater: -0.2 or z?
z
Let q(v) = v**3 + 11*v**2 + v + 11. Let u be q(-11). Suppose u = -13*t + 10*t + 48. Let y be -3 + (5 - -3)/(44/t). Which is smaller: -1 or y?
-1
Let c = 6794 + -3443. Which is greater: 1 or c?
c
Let f(j) = -3*j**3 + j - 3. Let h be f(3). Let g = -1230 - -1149. Is g less than or equal to h?
True
Let o be ((-2 - -4) + -3)/(-1) + -2271. Let p be o/(-90) - (-2)/(-9). Are 21 and p equal?
False
Let l = -51 + 20. Let d = -8605 - -8578. Is l at most d?
True
Let b(r) = -r**3 - 18*r**2 - 51*r - 197. Let m be b(-15). Do m and -99 have the same value?
False
Let j = -901/89872 + -3/656. Let a be (-2)/(-7) - 9556/21098. Let s = j + a. Do 0 and s have the same value?
False
Suppose -1998*x = -1995*x - 900. Let d = 303 - x. Which is smaller: d or 23/9?
23/9
Let l be ((-9)/2)/((-52995)/53010 - -1). Do l and -15903 have different values?
False
Suppose 2*m - 7*m + 5*i - 40 = 0, 0 = 4*m + i + 32. Let v be (0 + (-13)/2)*(32 + m). Do -156 and v have the same value?
True
Suppose -5*t - d = 10408, -33*t + 2*d = -38*t - 10411. Which is smaller: -27048/13 or t?
t
Suppose -5 = -r - 5*a, -7*a + 5*a = r - 2. Suppose -27*t + 32*t - 10 = r. Let w be 1/(20/(-608)*t). Which is smaller: w or -14?
w
Let a = 10107 + -10106.91. Which is smaller: a or -0.06?
-0.06
Suppose -2*p + 9*p = -497. Let x = p + 98. Suppose s - 10*s = -x. Which is smaller: s or 0?
0
Suppose -3*r + 2*l - 16 = l, 0 = -r + 3*l - 8. Let b be ((-112)/20 - -6)/(1/(-20)). Let o(s) = 2*s**3 + 14*s**2 - 15*s + 8. Let y be o(b). Does y = r?
False
Let q = -91133/4 - -1023239/44. Is 472 at most q?
True
Suppose 0 = 4*y - 5*y - o + 3454, -3*y - 5*o = -10376. Which is greater: 3448 or y?
3448
Let u = 4620 - 1822. Which is smaller: u or 0.1?
0.1
Let m(h) = 352*h - 11. Let l be m(1). Suppose 4*y = 5*x - 501, -l = -4*x - y + 43. Is x equal to 96?
False
Let v(s) be the second derivative of -s**3/6 + s**2 - 37*s. Let k be v(-1). Suppose 0 = 3*i + 4*x + 6 - 29, -x + 2 = -k*i. Is -5/28 greater than or equal to i?
False
Let u be ((-9)/27)/(2/30). Let i be (-9)/(-45) - (-47)/u. Which is smaller: -8 or i?
i
Let g = 75960714/29 + -2619735. Let c = g + 400. Which is bigger: 4 or c?
4
Suppose 11 = 4*l + o, -15 = 2*o - 13. Suppose l*j = 45*j - 42. Is 2/1915 != j?
True
Suppose -4*u = y + 2415, 144*y = 139*y + u - 11949. Is -2393 > y?
False
Let q = 0.27 - 2.57. Let b = -4.7 + q. Let d = b - -4. Is -4 > d?
False
Let v = 196 + -5491/28. Suppose -5*h - c = -34, -3*h + 2*c - 3*c + 22 = 0. Suppose 0 = -h*j + 2*j. Which is smaller: j or v?
v
Let l = -4.32 + -249.68. Let g = 137 + l. Which is smaller: -2 or g?
g
Let x be -5 + (-191)/(-25) + -4. Let a be 1 + (-60)/40 + (-2)/4. Is a greater than x?
True
Let j be 11/(44/8)*-5. Let g be j/(-20) + (-7)/(-2). Let s = 44 + -121/3. Which is greater: s or g?
g
Let h = -1.8 + 1.908. Let s = 7199 + -7178.108. Let b = h + s. Do b and 0 have the same value?
False
Let y be (2/(-3) - 140/(-210))*1/(-7). Which is smaller: y or 35/97?
y
Let z be (-10 - -2)/((-33)/((-267795)/30)). Which is smaller: -6491/3 or z?
z
Let v be 21/(-28) + 5 + 315/36. Which is greater: -43 or v?
v
Let c be ((-15)/(-2)*16)/((-2415)/351 - -7). Which is greater: 1002 or c?
c
Let z(m) = m**3 + 11*m**2 - 12*m + 101. Let s be z(-13). Is -1222/15 >= s?
False
Let q = -58 + 56. Let y be 4/(-22) - (39/(-33) - -3). Is q < y?
False
Let r(a) = -a**3 - 3*a**2 - 7*a - 6. Let t be r(-2). Suppose -9*s + 16 = -k - 6*s, -1 = -t*k - s. Which is smaller: k or 1/13?
k
Let n = -1/2612 - 5209/39180. Is 1/69 smaller than n?
False
Let z(k) = -k**2 - 3*k + 1. Let a be 3/(-3) - (-2 - -4). Let l be z(a). Let j be 1688/1628 - (-32)/592. Which is greater: j or l?
j
Suppose 5*h = -509 - 81. Let j = 5853 - 5854. Which is greater: h or j?
j
Suppose 115*n = 32*n + 28811 + 28542. Is n equal to 691?
True
Let n be 22*(-1486)/16 - (-213)/(-284). Which is bigger: -2045 or n?
n
Let b(w) = -7*w + 360. Let o(x) = 48*x - 2520. Let a(u) = 15*b(u) + 2*o(u). Let p be a(41). Which is smaller: p or -118/13?
-118/13
Let g be 178/496 - 7/((-448)/(-24)). Let x = -1111/310 + g. Which is greater: x or -5?
x
Let b = 2214406397/4735432 - 1/591929. Let x = b + -467. Is x at most 0?
False
Let x(o) = -8*o**2 + 12*o + 53. Let g be x(-4). Let f be 1/3 + (-3649)/g. Which is smaller: 94/3 or f?
f
Suppose -d - 8 = -5*s + 53, 0 = -3*s + 2*d + 38. Suppose s*x = 11*x. Suppose 3*z - 5*q - 28 = x, -4*q = -2*z + 10 + 12. Is z at least 4/3?
False
Let l = 64186 - 64180. Let b = 0.8 - 1.1. Let k = b - -0.2. Is l at most as big as k?
False
Let x = -15.493 + 15.753. Is 0.8 at most as big as x?
False
Let i be -4 - (-1)/((-2)/(-24)). Suppose -i*g - 14 = -6. Let c be (0/2*g/3)/(-2). Which is smaller: c or -76?
-76
Let t be 11*(-95)/(-209) + 240. Which is smaller: 241 or t?
241
Suppose -134 + 137 = -i. Let d be (0 - 4) + (-354)/(-39) + i. Which is bigger: d or 3?
3
Let u(a) = -4*a**3 - 2*a**2 - 4*a - 3. Let g be u(-1). Suppose 3*k = z + 4*z - 2, -g*z + 7 = 4*k. Let j 