). Which is greater: r or 88?
88
Let i = -1427 - -6799/5. Which is bigger: -66 or i?
-66
Let a = 271 - 271. Which is smaller: 4/171 or a?
a
Let m(h) = 11*h - 16. Let j be m(5). Let c = j - 38. Is 10/11 greater than c?
False
Let t = 0.07 - 3.07. Let s = t + 2. Suppose -3*m = -2*w - 18, 3*m - 5*w - 18 = -4*w. Is m <= s?
False
Suppose 0 = 2*x - 3*x - 1. Let k be x/2*(-4 + 42). Do -20 and k have the same value?
False
Let r(c) = 7*c**2 - 11*c + 5. Let f be r(4). Which is smaller: 75 or f?
f
Let z be 98/(-56) - (1 + -1). Suppose r + 2*o = -o, 10 = -4*r - 2*o. Is z at least r?
True
Let n = -207.1006 - -0.1006. Which is bigger: -0.1 or n?
-0.1
Let h = 3560 - 3334. Is 1349/6 smaller than h?
True
Suppose 0 = -4*m - m + 65. Let c = -9 + m. Is c at least as big as 3?
True
Let f = 406 + -319. Which is smaller: f or 88?
f
Let r be 7/(-35) + 1109/5. Is r < 222?
True
Let q be (-4)/(-10) - (-67)/(-5). Let d = 32 + -45. Let x = q - d. Is x greater than 3/8?
False
Let j = -8521/30 - -284. Suppose -11*c + 30 + 3 = 0. Suppose -m = c*b + 13, -m + 4 = 3*m - 2*b. Which is smaller: j or m?
m
Let a be 141/(-327)*(-28)/(-4) - -3. Are a and -1 unequal?
True
Let m be (-3)/(-6) - 6/(-4). Suppose m*g - 6 = -5*z, z + 2*g = 4*g - 6. Let n be 2*(2 - 61/31). Is z less than n?
True
Let f be 111/36 + 3*-1. Suppose -t + 1 = -3. Suppose 0 = 4*x - 0*x + t. Which is smaller: x or f?
x
Let h be 13/(1612/120)*40/(-30). Which is bigger: 0 or h?
0
Let r = -1511 - -1526. Which is greater: 53 or r?
53
Let f(u) be the second derivative of -u**3/6 + 5*u**2/2 + 12*u. Let q be f(11). Let r be (-17)/45 - q/(-27). Which is smaller: -2 or r?
-2
Let o(s) = -1 - 64*s - s**2 + 58*s + 8. Suppose 0 = 2*q - 5*q - 21. Let h be o(q). Is 2/73 equal to h?
False
Let x = -0.885 + 13.885. Which is bigger: 61 or x?
61
Let b = 2.87 + -2.8. Let d = 0.17 - b. Which is greater: d or 22?
22
Let g = 251 + -293. Which is bigger: -37 or g?
-37
Let w = 387 + -462. Are -75 and w equal?
True
Let d be (18/12)/((-9)/(-24)). Suppose 3*y - 8 = d. Let r be -1*2 + 28/y. Is r at most 0?
False
Let i = 44 + -129. Let h = -51 - i. Is 36 greater than or equal to h?
True
Let y = 0.11 - -10.89. Let p = 12 - y. Which is smaller: p or 3?
p
Let f = 9 - 9.7. Let d = -0.069 + 3.069. Is f greater than d?
False
Let x(j) = -j**2 - 3*j + 2. Let i be x(-5). Let b = i + 2. Let n be (b/(-4))/(13 - -2). Do n and -3 have different values?
True
Let o be ((-5)/1)/(-130)*(-6)/321. Are 0 and o equal?
False
Let b = 972 - 441. Which is smaller: b or 532?
b
Let x = 4203/13 - 323. Let s be 14/(-35) - (0 - 14/10). Suppose 0*g - g = -s. Is x greater than or equal to g?
False
Let b = 32 - 53/2. Suppose 0 = u - 4*p - 22 + 3, -p - 5 = 0. Let l be 6 - (-2 + (-2)/u)/2. Which is greater: l or b?
l
Let i(t) = t**3 - t**2 + 31*t + 638. Let c be i(0). Is c > 637?
True
Let z = -28.6 - -29. Let g(v) = 2*v - 5. Let t be g(4). Suppose t*j = 15, 7 = 3*f - 2*f + j. Which is greater: z or f?
f
Let z = 400 + -400. Are -2/395 and z nonequal?
True
Suppose 10*f - 16*f = 18. Suppose -2 = 3*y - y. Let j be ((12/(-4))/f)/y. Is j smaller than -4/7?
True
Suppose -t + 9 + 18 = -2*b, 5*t = -4*b - 75. Let p = b + 16. Let k be 0/p*11/22. Which is greater: k or -1/10?
k
Let r be 6/(-5)*65/26. Is 6 <= r?
False
Let h = 73 + -75. Let i be ((-45)/30)/((-2)/(-4)). Is h at least i?
True
Let j be ((-1)/(-1) - 15/21)*7. Suppose 0 = 2*d + 2, 2*p - 84 = -j*d + 6. Is 46 greater than p?
False
Let t = -3.17 + 3.53. Is t at least as big as -1?
True
Suppose -2*m - 5*x + 5 = -6*x, -x + 1 = 4*m. Which is bigger: -1/14 or m?
m
Let z = 8 - 8. Suppose 0*q - 3*i = 3*q, i = z. Suppose q = -6*p + 1 - 7. Is 0 less than p?
False
Let j = 443 - 442. Is 2/553 less than or equal to j?
True
Let y = 22 - 17. Let l(v) = -v**2 + 4*v + 7. Let q be l(y). Let o be 29/15 - (q - 0). Which is greater: o or 0?
0
Let w = -0.878 - -0.778. Which is smaller: -10 or w?
-10
Suppose 3*a - m = 1, -4*a + 3*m = -2*m + 6. Let t be (-11)/(-4) - 12/16. Let p be (t/(-1))/((-6)/(-4)). Is p at most a?
True
Suppose 0 = 5*j + 5*z + 20, -5*j = -3*j - 2*z - 8. Suppose -4*c + 2*m - 70 = j, -4*c + 2*m - 73 = -m. Is c bigger than -16?
False
Let d = 0.88 + -0.68. Which is smaller: d or -529?
-529
Let o be 1122/6 - (-5 + 9). Which is bigger: 182 or o?
o
Let v = 22 - 441/20. Let o = -56 + 58. Let p be (o + (-6)/3)/(-4). Do v and p have the same value?
False
Let i(q) = q**2 - 8*q + 6. Let j be i(7). Let d = j + 2. Which is bigger: 3/19 or d?
d
Let g be -3*(-2)/(-3)*2. Let k be (-24)/18*(-6)/g. Which is greater: -5/8 or k?
-5/8
Suppose -3*v + 5*b = -1, 5*b + 1 = -3*v + 12. Suppose -r = 0, v*q - r + 24 = -q. Let d = 9 + q. Which is greater: -1 or d?
d
Let y = 873358/29331 - -6/3259. Does y = 31?
False
Let x = -0.019 - 0.551. Let i be 2*(-2 + (-40)/(-16)). Is i < x?
False
Let g = 81 - 9. Let x be (g/20 + -3)*-15. Are -8 and x equal?
False
Suppose 2*t - 18 = -2*g, -5*t + 1 = -3*g - 4. Suppose -34 = v + 4*v - 2*d, 10 = g*d. Is v > 2?
False
Let b(w) = w**3 - 8*w**2 + 9*w - 14. Let z be b(7). Suppose -7 + z = -2*y + c, 4*y - 5*c = 11. Let k = 10 - 6. Is k < y?
False
Suppose 0 = -3*g - t + 36, t + 52 = 4*g - 3. Let w(a) = -17*a - 308. Let r be w(-19). Which is smaller: g or r?
g
Let x = 42.2 - 50. Let t = 7.79 + x. Let w be (-1)/2 + 3/4. Which is smaller: w or t?
t
Let t be (-10)/(-3)*(-12 + 10 - 1). Is t greater than -11?
True
Let k be (186/4)/(21/28). Are 63 and k nonequal?
True
Let k = -112 - -194. Let a = -54 + k. Let p = 4 - a. Is p less than -24?
False
Let n = 2.5 + -3. Let t = -3.3 - n. Let o = t - -2.9. Is 0.04 at most o?
True
Suppose 9 = 3*i + 5*z, 2*z - 20 + 5 = -5*i. Suppose 4 + 11 = i*t, 2*b - 2*t + 26 = 0. Let n = -13 - b. Is -11/2 at most n?
True
Let r = -643 + 182. Which is smaller: 0 or r?
r
Let h = 35 + -35.032. Let a = 1/37 - 39/74. Which is bigger: a or h?
h
Let s(m) = m**3 + m + 4 - 3 - 3*m. Let h be (-3)/(1 - -2) - (3 + -5). Let f be s(h). Which is smaller: f or 6/5?
f
Let p = -101/2 - -152/3. Is -4/5 < p?
True
Let r = -434 - -29077/67. Which is bigger: r or -3?
r
Let x be 216/90 - (2 + (-8)/5). Which is smaller: x or -59?
-59
Let w be (-23)/(322/14) + (-1)/(-1). Is w less than or equal to -1/151?
False
Let n(x) = -2*x - 81. Let g be n(8). Which is smaller: -101 or g?
-101
Suppose -3*o = 5*a + 55, -11 = a + 3*o + 2*o. Suppose -5*p + j = -p + 31, p + 10 = -2*j. Let f(m) = 2*m + 5. Let l be f(p). Are l and a equal?
True
Let q = 191 - 193. Are q and -25/8 equal?
False
Let i(z) = 18*z + 40. Let m be i(-4). Let p be (-4)/m + 140/416. Which is smaller: 0.1 or p?
0.1
Suppose -q + 4*q = -5*y + 65, 5*q - 15 = y. Suppose 17*p = y*p. Which is greater: 1/164 or p?
1/164
Let d be 40/6 - (-2)/(-3). Let z be 1*-7 - (d + -3). Are -9 and z equal?
False
Let s be (60/(-70)*1)/(1/28). Is s at least as big as 48?
False
Let o = -23 + -52. Which is smaller: o or 4/3?
o
Suppose 4*f = 477 - 5. Are f and 118 unequal?
False
Let u(n) = -19*n - 74. Let y be u(-9). Is y less than or equal to 97?
True
Let d = -0.61 + 0.01. Let h = -488 + 488. Which is smaller: h or d?
d
Let f be 3/(-6)*28/(-133). Suppose -2*s = -s. Suppose -2*o + a + a - 2 = s, -5*o + a = 5. Is o equal to f?
False
Let g be ((-24)/30)/(((-504)/(-1085))/12). Are g and -2/7 equal?
False
Let c = -72 - -74. Which is smaller: -7/2 or c?
-7/2
Let z be 9*9/39 - 2. Let t = z + -95/897. Let y = t - -211/138. Which is smaller: 2 or y?
y
Let k = -30123/4305455 - -1/7385. Is 0 greater than or equal to k?
True
Let h(x) = -x + 5. Let f be h(-3). Let y be -2 + 28/f + -1. Let c = 5 + -15. Which is smaller: y or c?
c
Suppose -59*s + 3*q = -54*s + 7922, 4*s - 5*q + 6348 = 0. Which is smaller: s or -1583?
-1583
Let g(u) = -u**3 + u**2 - u + 80. Let r be g(0). Let y = r + -37. Which is smaller: y or 41?
41
Let a = 0.045 - -22.955. Let w = -23.1 + a. Let p be ((-18)/513)/(2/(-6)). Is p < w?
False
Let i be -2 + 1*(18 + -1). Let z be (-3)/((-756)/159) + (-10)/i. Is z < -1?
False
Suppose 1881 = 19*j - 38*j. Is -101 bigger than j?
False
Let t be ((-234)/(-24))/((-54)/(-204)). Is 38 at most as big as t?
False
Let y be ((-6)/80)/((-27)/12)*-2. Let w = 13.7 - 14. Which is smaller: w or y?
w
Let u = -80/3 + 27. Let t = 1420 + -1419. Which is greater: u or t?
t
Let d = -35 - -34. Which is greater: -3/32 or d?
-3/32
Let r be (-36