= 10*p + 3. Let r = 3 + 0. Let j be v(r). Suppose -2*g + j = -5*c - 0*g, 4*c - g + 27 = 0. Which is greater: c or -11?
c
Suppose -13*x - 473 - 343 + 127 = 0. Which is smaller: x or -52?
x
Let i be (-2)/(-8)*0 + 0. Let f = i - -2. Let s be f/((4/10)/(-1)). Is -22/5 less than s?
False
Let n = -2942971/7364 + 5595/14. Is n >= -1?
True
Let u = -21 + 149/7. Are u and -37.37 equal?
False
Let y = -6286 - -6322. Is 0.047 equal to y?
False
Let z = -903.83 + 826.2. Let h = z + 77.7. Does -45 = h?
False
Suppose 10*p + 93 - 193 = -10*p. Let m be -6 - -7 - (-43)/8. Which is smaller: p or m?
p
Let p = 330.5 + -350. Let n = p - -20.28. Which is greater: 1/3 or n?
n
Let a be 7/(-2) + (-18)/(-108)*69. Let y(v) = -9*v + 7. Let w(l) = 8*l - 6. Let k(n) = 6*w(n) + 5*y(n). Let o be k(3). Do o and a have different values?
False
Let v be ((-4)/1 + 5)*12. Suppose -3*b - g = -4*g - 15, 4*b = -4*g + v. Let y be (-105)/24 - b/(-8)*0. Which is smaller: -4 or y?
y
Suppose -32 = 13*j - 21*j. Let t = 865522/158675 - 2/14425. Which is greater: j or t?
t
Let l = -2178511/5 + 437635. Let k = l + -1924. Which is smaller: k or 8?
8
Suppose 3*g + 4*v = -582, -330*v + 332*v = 4*g + 798. Which is smaller: -189 or g?
g
Let k be -28*102/(-476) - 4557/2. Which is greater: -2272 or k?
-2272
Let s = -32582 - -32579. Let x = 0.39 - 0.66. Which is greater: x or s?
x
Let l(k) = -5*k + 72. Let t be (-8)/(-12) - 2/3. Let n be l(t). Let h be n/2 + -1 + 23 + -26. Which is smaller: h or 61/2?
61/2
Let u = -229.9829 + -0.0171. Let l = u - -229.9. Which is smaller: l or -2/7?
-2/7
Suppose -60 = 3*s + 3*p, 4*s = 3*p - 38 - 0. Let r(o) = o**3 + o - 49. Let w be r(0). Let k be w/3 + 1 - -1. Is k <= s?
True
Let v be 1 + 3 + (-11 - -12). Suppose 0 = v*i - 2*o + 12 - 2, 8 = -4*i + o. Let z be (9/(-15))/(i/(-5)). Is z less than or equal to -2?
False
Let g = -2.0369 + -2634.9631. Is -3 smaller than g?
False
Let i = -2025.7 + 2026. Is i at most -7/10?
False
Suppose 14*s + 4*g = 12*s - 16, 11*s + 4*g + 16 = 0. Let l = -148009/27 + 5483. Which is smaller: l or s?
s
Let k be (59108/(-49))/(10/35). Is k at least -4222?
True
Let m = 14.1 - 19.1. Let k = -28.4 + 28.9. Is k at most as big as m?
False
Suppose -240 = 49*s - 44*s. Let c be -1 + 654/(-28)*2. Let u = c - s. Which is greater: u or -1/4?
u
Let z be 9 + -10 + (2 - 5). Let p be 2/(-1)*-1 + z. Let x = 2 + p. Is -1/6 equal to x?
False
Let w(b) = -145*b**3 + 6*b**2 - 17*b + 13. Let s be w(2). Does -1153 = s?
False
Let z = 3099 + -449357/145. Suppose -90*g = -32*g - 40*g. Which is smaller: g or z?
z
Suppose 0 = 2354*n - 2371*n. Which is bigger: n or 156/139?
156/139
Let p be ((-4)/1 + 13)*120/(-8). Which is bigger: p or 1?
1
Let m = 0.0489 - 0.0489. Are 0.111 and m equal?
False
Let h(r) = 1068*r**2 - 52*r + 110. Let m be h(2). Which is smaller: m or 4277?
4277
Suppose 7*s - 37 - 19 = 0. Let c = -18 + s. Let r be 13/(-130)*c/4. Which is smaller: -14 or r?
-14
Let n(i) = -i**2 + 10*i - 4. Let g be n(7). Let v(y) = 5*y**2 + 74*y + 4. Let p be v(-15). Suppose 10 = -p*t + g*t. Are -28/5 and t unequal?
True
Let f be (20/(-6) - 1)*1. Let n = -687 - -189551/276. Let r = -2/69 + n. Which is greater: r or f?
r
Suppose 0 = i + v + 108 + 74, -5*i = -3*v + 942. Let r = 106 + i. Is r greater than -80?
False
Suppose -4*j = 7*j + 8085. Let u be 107653/j*(34/28 - 1). Let a = -158/5 - u. Which is greater: a or 0?
0
Let h(y) = -y**2 + 14*y - 51. Let o be 56/6 - (-76)/114. Let q be h(o). Which is bigger: -10 or q?
-10
Suppose -448 = 53*u - 37*u. Let s be u/(4 - -3) + 8/2. Is s greater than 3/56?
False
Suppose -3*w + 5*h - 17 = w, -2*h = 4*w - 18. Let t = -362389/13 - -27909. Let j = -7146/221 + t. Which is smaller: j or w?
j
Suppose -3*g - 24 = -42. Let q(y) = -y**3 + 4*y**2 + 7*y + 1. Let z be q(g). Let p be (0 - -14)/((-4)/8). Which is smaller: z or p?
z
Let p = -833.5 - -845.7. Let s = 9.02 + -0.72. Let a = p - s. Which is greater: a or -2/3?
a
Let v(g) = -20*g**2 + 2*g - 17. Let f be v(15). Let o = f - -210877/47. Are 0 and o nonequal?
True
Suppose -7*f = -5*f - 4*o - 354, o - 168 = -f. Let u = -245 + f. Is u > -1?
False
Let p = 110 - 768. Let o = -3288/5 - p. Is o at most 32/27?
True
Let z = 290 - -74. Let o = 365.67 - z. Which is greater: o or 1?
o
Let z = 116011 + -1104540733/9521. Which is smaller: 0 or z?
z
Let z = -2223 + 1126. Let n = -1098 - z. Let b = 17/2 - 8. Is n >= b?
False
Suppose -2*z - 3*z + 25 = 0. Suppose -3*i + 45 = 3*n, i - z*i + 50 = 2*n. Suppose 74 + i = 6*t. Which is smaller: t or 12?
12
Let x(f) = 2*f + 1. Let h be x(-3). Let q = -13012 + 13010. Which is smaller: q or h?
h
Let k(w) = 3*w + 3. Let u be (1*(-2 + 3))/(-1). Let z be k(u). Let f be ((-3)/27 - z)*(-9)/12. Is -1 less than f?
True
Let q(h) = 8*h**3 + 3*h**2 - 2*h - h - 7 - 7*h**3. Let l be q(3). Suppose f = 4*s - 162, -s - f + l = -0*f. Which is greater: 41 or s?
41
Let b = 834 - 834. Which is smaller: b or 9/332?
b
Let f be 6 + 9/(27/(-6)). Let s be ((-149)/(-10))/(30/f). Let z = s + 42/25. Which is bigger: 4 or z?
4
Let g be (2/(-4) + 4)*62. Let f = g - 215. Is 1 at most f?
True
Suppose p = 4*h - 25, 3*p + h = -26 - 62. Let w = p - -32. Suppose -14 = -5*l + w*o - 2*o, 3*l = -3*o - 6. Which is smaller: 17 or l?
l
Let g(t) = 4*t**2 - 10. Let a be g(-8). Let n be 47*2/(a/(-327)). Let v = -125 - n. Which is bigger: v or 0?
0
Suppose -10*g + 10 = -5*g. Suppose 64 = 2*b - 4*k, -g*b + k = -2*k - 63. Suppose -b = -2*w - 4*w. Is w < 4?
False
Let f = 28/183 + 11/61. Which is greater: -0.2453 or f?
f
Suppose -2*f + 5*h = -3239 + 8525, -2*f = h + 5286. Let o = 187656/71 + f. Which is smaller: 1 or o?
o
Let w = -0.15775 + 0.05275. Is w bigger than -8?
True
Let o = 28.9 - 27. Let n = o - 1.9. Let r = 2 + n. Is r at most as big as 0?
False
Let o = 79 - 77. Suppose -2*m = -3*f - o*f - 11, 4*m + 17 = -3*f. Suppose -20 = 5*g, 2*g = 5*i + 5*g - 58. Are m and i unequal?
True
Let o = -0.4 - -0.4. Let v = 1 + o. Let w = 2973 + -2972.938. Is w > v?
False
Let s = -2833615/367 - -7721. Are s and 0 unequal?
True
Suppose -230 = d + z, 0*z = 5*z + 10. Let t = -260 - d. Which is smaller: -35 or t?
-35
Let i = -1542.9 - -2892.9. Which is greater: i or 0.1?
i
Let h = -2485 - -2533. Are 896/19 and h unequal?
True
Suppose 5*a - 2*p - 5 = 0, -a - 2*a + 19 = 2*p. Suppose 0 = -3*b - q + a*q + 1, 2*b = 2*q. Let y = 6961/58 + -120. Do y and b have the same value?
False
Let c(n) = -n**2 + 25*n + 55. Let p be c(27). Let y be (-2 + 5/2)*(15 + -1). Suppose -8 = 3*a + 4*x, 10*x - y*x + 6 = 4*a. Is a equal to p?
False
Let n be (3/2)/((-9)/12) - -7. Suppose 677 = -2*l + 5*b, n*l + 348 = -5*b - 1327. Let s be -3 - (1 - l/(-81)). Is s >= 0?
True
Let b be 2/(-3)*60/(-8) - (3 + 4). Is b at least -47/20?
True
Let y = 1069 + -1125. Are y and -65 unequal?
True
Let p(d) = 14*d - 33. Let i be p(3). Let l be (-18 - -13)/((-186)/i). Is l greater than 1?
False
Let t(h) = 704*h + 2084. Let s be t(-3). Suppose 7*c - 4*c = -87. Let i be (3 - -1) + -1 + c. Is i less than s?
False
Let a = -32445 - -31655. Which is greater: 3/11 or a?
3/11
Suppose -201*j = -150*j - 27489. Which is smaller: j or 541?
j
Let q = -123.9 - 10.1. Let a = q - -80. Let m = a - -54.3. Is 3/8 < m?
False
Let h = 28/3 + -175/12. Suppose -2*a = c + 6, -4*a + 12 = -2*c - 2*c. Is c > h?
True
Let l = 16 + -49. Let f = -32 - l. Let m = -44 - -131/3. Is f greater than m?
True
Let t = -1/3509 - 5/957. Is t at most as big as 2/5?
True
Suppose 488 = -z + c, -6*z - 2*c - 956 = -4*z. Let m be (z/(-57) + -8)*-1. Which is smaller: m or 0?
m
Let k(g) = 4*g - 4. Let u be k(0). Let s = u + 25. Suppose 4*o + 0*h = -h + 6, -5*o + 15 = 5*h. Is o at least as big as s?
False
Let n(c) be the first derivative of 3*c**2/2 + 11*c - 60. Let h be n(16). Is h at least as big as 2/5?
True
Suppose 0*w = -w + 5. Suppose 0 = 105*a - 111*a + 18. Suppose 1 = -r - 3*r - w*n, 2*r + a = -3*n. Which is bigger: 8 or r?
8
Let q be -3 - ((-27)/(-12) + (-4)/16). Let o be (3/(-4))/(q/100). Let a = -13 + o. Is 3/7 equal to a?
False
Suppose 7*h - 224 = 15*h. Let y be (h/(-7))/(-4) + 21 + 0. Is y > 1/5?
True
Let t(o) = -2*o**2 + 15*o - 3. Let a be t(7). Suppose -16 = -a*m, -3*m = 10*j - 15*j + 1223. Is -1 < j?
True
Let k = 17708/1005 + -4/201. Which is greater: k or -0.2?
k
Suppose 30 = -847*n + 30. Let m = 27.994 + 0.0