6 at least as big as l?
True
Let a = 614 + -612. Let f = 0 - 9. Do f and a have different values?
True
Suppose -882*z + 188650 = -112*z. Which is bigger: 195 or z?
z
Suppose -4*w - 1177 = -v, -6074 = -94*v + 89*v - w. Is v >= 1212?
True
Let g = 705/163 + 3306675/326. Which is greater: g or 10148?
10148
Let c(h) = -4*h**3 + 2*h**2 + 9*h + 10. Let q be c(-6). Let n = -9800/11 + q. Is n greater than 2?
False
Let w(j) = j**3 - 22*j**2 + 20*j + 23. Suppose -b = -85 + 64. Let s be w(b). Suppose -5*i = 5*a + 20, -7*a - s*i = -4*a + 11. Is a at least as big as -5?
True
Let w(g) = -8*g - 22. Let l be w(-3). Let s(n) = 2*n**3 - 4*n**2 + n + 4. Let u be s(2). Suppose 0 = 2*h - h - u*h. Which is bigger: h or l?
l
Suppose -10 = -5*h - 5*z, -5*h + 2*z + 17 = -0*h. Suppose -3 - 18 = -h*q. Which is greater: q or 53/9?
q
Let g = -8359/60 + 557/4. Let j be 0 - ((2 - -3) + -2). Which is smaller: g or j?
j
Let q be 6 - 57 - 4/2. Let t = q + 59. Which is bigger: -7 or t?
t
Let w be 742/(-318) - 8/(-6). Let y = 7635/14 - 545. Which is greater: w or y?
y
Let p = 20419 + -20174. Is 243 less than or equal to p?
True
Let j = -220 + 263. Suppose j = 6*p - 5. Which is smaller: 59/9 or p?
59/9
Let i be 84/30*-5 - -57. Does 73 = i?
False
Let p = -4 + 6. Let t be (1375/20)/11 + (29 - 32). Are t and p nonequal?
True
Let h(t) = t**3 - 19*t**2 + 18*t + 10. Let y be h(18). Let l be (-4*y)/(-8) + -5. Is -4/47 greater than l?
False
Let v = -13230 - -13279.1. Which is smaller: v or -5?
-5
Let l(u) = u**2 - 25*u + 24. Let z be l(24). Is z smaller than 36/97?
True
Let l(b) = -305*b - 1424. Let f be l(-15). Which is smaller: f or 3152?
f
Let a = -4394/679305 - -11/2685. Which is smaller: a or 1?
a
Let d be (-1)/6*(-15)/10. Let j(a) = 14*a - 14. Let m(y) = -y**2 + 20*y + 99. Let g be m(24). Let l be j(g). Which is bigger: d or l?
l
Let w = -868 + 78989/91. Let f = -50.5 + 49.5. Which is smaller: w or f?
f
Let c = 18 - 13. Let w be -2 + c + (-136)/45. Suppose 4*t + u + 0 = 3, t - 3*u - 4 = 0. Is w < t?
True
Let l = -32898 + 32894. Suppose -3*f - 30 = -5*f. Does f = l?
False
Let p = 73739/68150 - 30/1363. Does p = 0?
False
Let o be 2 + (15/2)/(-5). Let t = 375 + -376. Let g be -5 + 12/(-8) - 4/t. Which is smaller: o or g?
g
Suppose -30*d = -25*d - f + 10556, -d = -f + 2112. Which is smaller: -2109 or d?
d
Let g(u) = -u**3 - 6*u**2 + 12*u - 10. Let n be g(-8). Suppose -26 = -n*k - 4*k. Are 5/52 and k equal?
False
Let n = -2329/132 + -265/44. Do n and -11/2 have the same value?
False
Let d = 4177 + -5775. Which is greater: -1599 or d?
d
Let l be (-1 - 11/(-9))*(-748)/(-88). Are l and 2 non-equal?
True
Let k be 240/126 - 2 - (-2 - (-4964)/(-84)). Let r be (4 - (-297)/5) + -3. Does r = k?
False
Let c(v) = -5*v**2 + 207*v - 281. Let d be c(40). Which is smaller: -53/48 or d?
-53/48
Let b = 10.9179 - 0.3359. Let j = b + 0.418. Does -6 = j?
False
Let s = -9 - -9. Let b(q) = -q**2 + 13*q - 22. Let g be b(9). Let p be g/22 - ((-265)/(-25) + -10). Which is greater: s or p?
p
Let a = -7506 - -7520. Is a bigger than 299/22?
True
Let a(d) be the first derivative of -d**3/3 - 5*d**2/2 + 3*d - 73. Let v be a(-5). Is 15/8 at most as big as v?
True
Let x(p) = -21*p - 179. Let k be x(-9). Let i be 2/k + 44/55. Which is greater: 4/165 or i?
i
Suppose 60*i - 7105 = 39935. Is 784 equal to i?
True
Let t = 132 + -49. Let j = t - 85. Which is bigger: -18/11 or j?
-18/11
Suppose -70*k - 341*k - 43366 + 8431 = 0. Which is bigger: -83 or k?
-83
Let c = -421.702 - 3.298. Which is bigger: c or 0.4?
0.4
Let y = -1231/8 + 62741/408. Which is greater: y or 1?
1
Let b(x) = -131*x + 1510. Let u be b(8). Which is greater: 440 or u?
u
Let j = 0.9788 - 11447.9788. Is 2 less than or equal to j?
False
Let z(l) = l**3 - 46*l**2 - 48*l + 46. Let h be z(47). Which is greater: -2/667 or h?
-2/667
Let k(q) = -347*q + 46. Let c be k(-1). Let f = c + -1571/4. Let z = -5 - -5.6. Is z at most f?
False
Let y be (2/(-5))/((-44)/25465)*(-9 - -7). Are y and -463 nonequal?
False
Let z(u) = -u**3 + 10*u**2 - 7*u. Let w be z(5). Suppose -63*c - 2760 = -185*c + 92*c. Is w >= c?
False
Suppose -2*c + 3*h = 2120, -6*c - 2*h = -c + 5338. Let y be c/5230 - ((-95)/(-25) + -4). Which is smaller: y or 0?
y
Let p = -3 + -118. Let z = p - -123. Let x = 0 - 0.01. Which is smaller: x or z?
x
Let r(t) = 5*t + 38. Let g be r(-11). Let l = -28/251 + -25685/1506. Which is smaller: l or g?
l
Let b = 1826 + -1852. Is 30 not equal to b?
True
Let o(n) = -15*n**3 + 3*n**2 + 903*n + 903. Let x be o(-1). Let h be (1 - -18) + (0 - -1). Is h at most as big as x?
False
Let f = -239 + 548. Let k = f - 308.9. Is 1/4 at most as big as k?
False
Let y = -5.76 + 0.06. Let f = -6 - y. Suppose -8*j - 20*j + 196 = 0. Is f < j?
True
Let t(p) = -p**2 - 10*p - 29. Let u be t(-9). Let l be (-9)/(-65) - u/50. Let z be (-2)/3 + 5/3. Does z = l?
False
Let d be (-83898)/80 + (-2280)/6080. Which is bigger: -1050 or d?
d
Let s = 649/288 + -83/36. Let g(o) = o**3 - 29*o**2 + 56*o - 53. Let r be g(27). Are s and r nonequal?
True
Suppose 8376*d = 8381*d - 140. Is d equal to 36?
False
Let q(n) = -n**3 + 8*n**2 - 16*n + 4. Let z be q(5). Let r be (-3)/20*243086/(-57). Let i = 639 - r. Do z and i have different values?
True
Suppose 6*j = 19 + 17. Suppose 135*n - 141*n = j. Let o be 2 + 4/23*-11. Is o > n?
True
Let k = 6909.918 - 6910. Is k > 2/197?
False
Let b = -2490 + 2597. Suppose 3*s - 2*s = 108. Which is greater: b or s?
s
Let q = 50.9 - 54. Let v be (-9)/((-234)/(-4)) - (-4)/26. Suppose v = -5*t + 4 - 9. Is q bigger than t?
False
Let l = 2/955 + -5912/86905. Suppose -65*j + 134*j - 4*h = 17, 5*h = 65. Which is smaller: j or l?
l
Suppose -2*a - 2*a = -80. Let p(w) = -20*w + 79. Suppose -5*h - 3 + 30 = -4*l, 0 = -5*l - 15. Let u be p(h). Is a smaller than u?
False
Let d be 1 - 10/(-2) - (-266 - 13). Suppose 28*i + d = 4877. Is 165 not equal to i?
True
Let s be 1190/68*(-100)/7. Which is smaller: -1248/5 or s?
s
Let w = -3945883/11 - -359139. Which is smaller: w or 421?
421
Let g = 10037 - 13499759/1345. Which is smaller: 1 or g?
g
Let i = -16677 - -2351455/141. Let k be 1/(2 + -1 - 2). Which is greater: i or k?
i
Let p be 2784/(-9541)*1/12*-3. Is 1 less than or equal to p?
False
Suppose 5*l - 10 = 0, 0 = -0*n + 3*n + 4*l - 44. Suppose -n = 7*w - 5. Is w less than 4/55?
True
Let p = 1092.4 - 1083.4. Which is greater: 1118 or p?
1118
Suppose -j = -40*k + 38*k + 75, 3*k = j + 79. Is j at least as big as -14?
False
Suppose -32*w + 2648 = 2552. Let r(z) = z**2 + 2*z + 2. Let k be r(-3). Suppose 3*s + 4*l = 21, -w*s = -k*l - 3 + 9. Is -7 greater than s?
False
Let d(t) = -4*t + 28. Let f be d(2). Suppose -16 = -f*y + 4. Which is smaller: -3/385 or y?
-3/385
Let r = -1204 + 1205. Is r < -14/1049?
False
Let r be (-8)/(-6)*(-9)/(-6). Let g be (3 - 44/8)*(-4)/10. Let z be 1/(12/(-6))*r/g. Is -1 != z?
False
Let n(j) = -12*j**3 + 478*j**2 + 78*j + 81. Let i be n(40). Which is smaller: i or -5/788?
-5/788
Suppose 4*f = 2*f. Let j = 24565/7 - 3652. Let k = 143 + j. Is k < f?
False
Let k = -3122297/105 - -148658/5. Let u = k + 62/15. Let n(l) = l - 6. Let c be n(5). Which is smaller: u or c?
c
Let v = 0.5108 - -371.4892. Which is smaller: 2/3 or v?
2/3
Suppose -4*g - 36 = -5*p + p, 3*p - 30 = 4*g. Suppose 29 = -p*w + 5. Let i = -0.02 + 0.32. Which is smaller: i or w?
w
Let k = -2839 - -36827/13. Let l be 4 + (-22)/2 - 0. Which is smaller: l or k?
l
Let c be 30186/(-273) - 12/28. Do c and -135 have different values?
True
Let n = 101 + -103. Let v be (n + -2)/(-3 + -19). Let l = -5 + 8. Which is smaller: l or v?
v
Let v = -13346/129 + 34/43. Are -103 and v nonequal?
True
Let n = -40 + 38. Let j be 20/70 - n/(-7). Suppose 0 = -5*o + f - 28, -4*o - 23 = -f - j*f. Which is smaller: -4 or o?
o
Let q = -38627 - -191119/5. Is q < -403?
True
Let t be (26/(-6532))/(93/(-36)*-9). Let a = 3026453/455607 + t. Let d = a + -59/9. Which is smaller: d or -1?
-1
Let x = -416 - -212. Let p be (-2)/(-17) - 32*114/x. Which is greater: p or 20?
20
Let m = -39.4 + 40.8. Which is bigger: m or -110?
m
Let l be 4/3 + 0 + (-6)/(-9). Let x be (-1)/l - (-627)/(-38). Which is smaller: x or -14?
x
Let v = -1008 + 3032/3. Let l(g) = -g**3 + 8*g**2 + 4. Let f be l(8). Let h = 7 - f. Which is bigger: h or v?
h
Let v be 36/10 + -3 +