g - 34. Suppose 0 = 5*o + d - 10, -o - 2 + 0 = d. Suppose 7*c - g = -o. Which is smaller: c or -5?
-5
Suppose 1691 + 400 = -123*u. Which is smaller: -12 or u?
u
Let b be 2 - 7/(3/3). Let c be (3 + b)*(0 - -1). Suppose 22*p - 15*p = -14. Is p < c?
False
Let z(s) be the first derivative of s**3/3 - 3*s**2/2 - 63*s - 24. Let c be z(9). Let b be (-2)/(-1)*(-28)/6. Which is bigger: c or b?
c
Let v be (1*2/(-348))/(39/(-26)). Suppose 0*c + 4*c = 4*u, 2*u = c. Is v at least as big as u?
True
Let i = -104 - -934/9. Let q(p) = -p**2 - 12*p + 18. Let r be q(-12). Suppose r + 6 = 8*l. Is i != l?
True
Let t = -3647 - -72941/20. Is 2 <= t?
False
Let t be (-32)/40 + 95/25. Let g be ((-27)/(-360))/(t/(-14)). Is -1 greater than or equal to g?
False
Suppose -15*j + 36 = 2*q - 13*j, q - 24 = -3*j. Suppose -17*c = -q*c - 238. Which is greater: c or 118?
c
Let s be (1 + (2 - -1 - 3))/1. Let n be 2*(s + 1 + 500/(-260)). Is n at most -1?
False
Suppose -2*s - 6 = -5*s. Let o = -1277/6118 - -48/133. Let z = 116/69 + o. Does s = z?
False
Suppose 18*i + 16 + 1604 = 0. Is -90 >= i?
True
Let k = 142.05 + -141. Let w = -1.05 + k. Let d = -5.4 + 4.1. Are d and w nonequal?
True
Let z be ((-2)/6*1)/(5/(-30)). Let u be (124/6)/(4/6). Let k = u - 27. Is k less than or equal to z?
False
Suppose 5*h - 16 = 4. Suppose h*q - 3*m = 31, -4*q + 10 = -m - 11. Let r(g) = 7*g - 12. Let o be r(q). Is o at most as big as 15?
False
Let b(a) = -8*a + 37 + 3*a - 158. Let j be b(-24). Which is bigger: j or 12/29?
12/29
Let c = -5006 + 5006.1. Let y be (-24)/(-2)*14/(-77). Which is bigger: c or y?
c
Let o = 0.25126 + -505.25126. Is 15 smaller than o?
False
Let f be (-2602)/646 + (23 - 9 - 10). Which is smaller: f or 1?
f
Let j(q) = -2*q**3 + q**2 - q - 1. Let w be j(0). Let u be w/(-5) + (-1220)/350. Which is bigger: -4 or u?
u
Let n be (6/(-9) + 0)/(-1). Let l = 135.455 + 0.545. Let q = l - 145. Which is smaller: n or q?
q
Let k = -9781903589/30530 - -320403. Let m = -5754977/2198160 + k. Let l = m - -17/16. Which is smaller: l or -2?
-2
Let v be ((-66)/12 - -5)*0. Which is greater: 4/4009 or v?
4/4009
Let w = -81 + 432. Let j = 365 - w. Let p be ((-6)/8)/((-9)/(-6)). Do p and j have the same value?
False
Suppose -2853 = 188*y + 8517 + 662. Do -50 and y have the same value?
False
Let m be (4/38)/(318/839838). Which is smaller: -1/4 or m?
-1/4
Let k = -141 + 141.46. Let x = k + 0.14. Is 0 <= x?
True
Let n(x) = 32*x + 160. Let i be n(-22). Let w = i - -576. Is 38 at most w?
False
Let f = 30.5895 + 6.4105. Let a be (-1)/2 - (-9)/14. Is f smaller than a?
False
Suppose 230*n - 238*n = 56. Which is greater: -330/47 or n?
n
Let j(a) = 10*a**2 - 5 + 17*a - 10*a - 12 - 1 + 101*a. Let s be j(-10). Which is greater: -97 or s?
-97
Let l be (-6530)/(-2025) + -3 - (0 + 3/15). Suppose 5*v = -3*u + 6, 4*v - 12 = -0*v. Let b(h) = -h**2 - 4*h - 2. Let d be b(u). Does d = l?
False
Let m = -80 + 83. Suppose -m*z + 10 = 2*z - 2*f, 6 = 3*z - 2*f. Is z < 2?
False
Let b = -11154 + 32971/3. Let a = -165 - b. Suppose -5*d - 12 = 3*n, 2*d + 3 = -2*n - 5. Do a and d have the same value?
False
Let c(r) = -r**3 + 36*r**2 + 118*r - 38. Let l be c(39). Let s = 2/117 - 167/2925. Is s < l?
True
Let s be 98/(-176) - ((-520)/1650 + (-4)/(-30)). Is s greater than 0.0626?
False
Let l = -106.96 - -105.15. Which is bigger: l or 12?
12
Let g be (-291)/(-33) + 40/220. Let v be g/((-45)/10) + 60. Is 0.5 smaller than v?
True
Suppose 21*u - 499 = 281 - 213. Is u less than or equal to 20?
False
Let t = 1.626 + -1.36. Let v = t + -137.266. Let j = v - -166. Is 1 at most j?
True
Let a(q) = 33*q + 197. Let w be a(-6). Which is smaller: w or 12/673?
w
Let k(b) = 11*b + 2. Let w(q) = q**3 + 4*q**2 + q - 4. Let x be w(-2). Let h be k(x). Let n be 2/3 - 16/h. Do n and 0 have different values?
False
Let k = 3 - 5. Suppose 11*f - 47 - 49 = -f. Let t be -3 + 5 + k + f. Is t less than 7?
False
Suppose 3*h - 5*h + 1036 = -5*k, 2*k = -3*h - 422. Is k <= -3942/19?
True
Suppose 0*i = 7*i - 91. Suppose -14*q + i*q - 3 = 0. Let p be ((-10)/(-25))/(q/(-375)). Which is smaller: p or 49?
49
Suppose 0 = -194*t - 923 - 435. Let j(v) = 2*v + 9. Suppose 2*m + 2*m = -32. Let y be j(m). Is t greater than y?
False
Let a be (1 - -7)*1*4. Suppose -5*h + 19 = -3*j, -2*j - 11*h = -10*h - 9. Let n = j - a. Is n greater than or equal to -1?
False
Let i be 332766/(-72) + (-3)/12 + -1. Is i greater than or equal to -4623?
True
Suppose 2*g - 141 = -g. Let j(w) = 145*w - 536. Let c be j(4). Is g at least as big as c?
True
Let j(r) = -201*r + 38. Let h be j(5). Let v = h - -21267/22. Which is greater: 0 or v?
0
Suppose 0 = -5*g - 4*h + 46 + 6, 12 = 3*g - 4*h. Let w(z) = 3*z**2 - 24*z + 1. Let i be w(g). Is i greater than -30/73?
True
Let n = 7827 - 85837/11. Which is greater: 23 or n?
n
Suppose 127*u + 191 + 43370 = 0. Let d = -227 + -117. Is d at least as big as u?
False
Let c = -147 - -146. Let d be 76/266*-7*c*1. Is 2/3 != d?
True
Let t = 82523/26 - 41190/13. Let v = 1 - 0.9. Which is smaller: v or t?
v
Suppose 0 = -3*w + 34*i - 38*i + 620, -5*w - 3*i = -1015. Is 6 less than or equal to w?
True
Let d be (-19406)/1146 - (-257 - -240). Is 0 greater than or equal to d?
False
Let m = -2605 - -2606. Which is bigger: m or -13/157?
m
Let b = 207.4 - 207.3. Which is bigger: b or 0.2716?
0.2716
Let z = 5601 - 4546. Which is smaller: z or 2?
2
Let o = 375 - 306. Let i be (-46)/o + (-14)/(-6) + -1. Let l(u) = 20*u**2. Let c be l(1). Which is smaller: i or c?
i
Let s = -0.05 + 0.13. Let b = -12.65 + 14.65. Which is smaller: b or s?
s
Suppose 0 = r - 4*r. Suppose -4*k - k - 2*s - 29 = r, -5*k + 3*s = 44. Let j(v) = -2*v**2 + 24*v + 120. Let m be j(-4). Which is smaller: m or k?
m
Suppose -2*h - 2*h - 4*k + 184 = 0, k = -2*h + 97. Let v = 154 + h. Does 205 = v?
True
Let k = 12920 - 658963/51. Which is greater: -1 or k?
k
Let c = 8336 + -8419. Let s = -254/3 + 505/3. Let q = s + c. Is 0 < q?
True
Let x be (-12)/42 - (-27)/21. Suppose 28 = -4*t + 2*d, 0 = 3*t - 3*d + 22 - x. Let i(m) = m**3 + 7*m**2 - 17*m. Let h be i(-9). Which is smaller: h or t?
h
Let n be 176/(-26) + 0 + 119/17. Suppose -h = 2*h. Is h not equal to n?
True
Let p be 584/(-196) - 3/(-1). Let i = 0.2313 - 0.2313. Is i less than or equal to p?
True
Let b = 7570 - 7546. Are 60 and b unequal?
True
Let j be 2/975*(-386)/(-12). Let o = j - 11/225. Let f(c) = -113*c**2 - 1641*c + 811. Let p be f(-15). Is p bigger than o?
True
Suppose -16*m + 168 = -2*m. Let p = 222 - 169.8. Let w = p + -52. Which is smaller: w or m?
w
Let l(c) = -2*c**2 - 69*c + 843. Let k be l(-43). Is 3014/27 > k?
False
Let i = 371753 - 371714. Let d(m) = -m**3 + 3*m**2 + 5*m. Let h be d(4). Which is smaller: h or i?
h
Let l = -994655/43656 - -1162/51. Which is greater: l or 1?
1
Let t = 20 + 10. Suppose a + a = -8, t = 5*s + 5*a. Let h be (-8)/s + -5 + 4. Which is greater: h or -3?
h
Let m = 717 + -705. Suppose 0 = 2*d - 0*i + 4*i + 76, -4*i + m = 0. Is d less than -38?
True
Let h(t) = t**3 + 19*t**2 - 21*t + 21. Let g = -629 + 609. Let o be h(g). Which is greater: o or -0.5?
o
Suppose 1832 = -5*u - 3*q, -q + 438 + 286 = -2*u. Let i = u + 333. Is -31 <= i?
True
Let y = 9 - 2. Suppose 3*x - 5*w - y = 0, 4*x - 4*w - 3 = 1. Is -1/36 smaller than x?
False
Suppose -14*w + 22*w = 360. Suppose 0 = -6*l + 1179 - w. Is l less than or equal to 189?
True
Let n = -131 + 247. Let s = -104 + n. Is 0.05 smaller than s?
True
Let g = 10 - 19/2. Suppose 3*p - 195 = -210. Let z(c) = 2*c**3 + 14*c**2 + 19*c - 4. Let u be z(p). Is u bigger than g?
True
Suppose 40*h - 36*h + 588 = 0. Let b = 149 + h. Do b and 21 have different values?
True
Let p be (447/1043)/(6/4844). Let g be 345/((0 + 1)/1). Which is smaller: g or p?
g
Let f = -74 + 78. Let d be (1/87)/((-2)/f) + 0. Suppose 3*m + 2*r = -10, -2*r - 25 = 2*m + 3*r. Is m greater than or equal to d?
True
Let i = 3.79151 - 0.09151. Which is smaller: 12 or i?
i
Let w = -0.5 - -0.3. Let n = 3.729 - 0.249. Let s = -3.38 + n. Is s at most w?
False
Let w be ((-1)/(-15))/((-42)/(-28)). Let q be (-1 + 1)/(-2 + 0) - -5. Suppose -4*n - q*n = -2*n. Which is smaller: w or n?
n
Let v be ((-91074)/(-16))/(-1)*(-14)/(-21). Let l = 3822 + v. Which is greater: l or 27?
l
Suppose -4*m - 44 = -4*l, 0 = 4*m + 6*l - 3*l + 72. Let g be (5 - 0)*(-