 15*p + 5. Let z be h(13). Let s = 22 + -43. Is s > z?
False
Let z(j) = -2*j**3 - 14*j**2 - 7*j - 3. Let s be z(-6). Let g be 1 + -2 + -1 - 77/s. Is g less than -28?
False
Suppose 0 = -47*j - 13754 - 15480. Is j <= -622?
True
Let h be (2/(-4))/(5 + -4). Let n(i) = i + 7. Let g be n(-10). Let l = g + 2. Is l bigger than h?
False
Let a = 323983/7605 - 2/1521. Which is smaller: a or 44?
a
Let d = -3083 - -12463/4. Does 34 = d?
False
Let q = 60.57 - 61. Let l = -0.43 - q. Which is smaller: l or -9/5?
-9/5
Let p = -4 - -25. Let o = p - 7. Let z = 24 - o. Is z smaller than -0.1?
False
Let b = 1328 + -1329. Let v be -2*2/2 + -5. Which is greater: b or v?
b
Suppose 5*v + r - 4 = 5, -3*r = -3*v + 9. Suppose -v*t - 2 + 4 = 0. Let b be (-7)/(-39 - -4)*7. Which is smaller: t or b?
t
Suppose 0 = -2*n - 6, 30*w - 27*w - 3*n + 48 = 0. Are w and -1 unequal?
True
Let m = -7019 - -119274/17. Is m at least as big as -2?
False
Let l(k) = k**2 - 8*k + 10. Let i be l(7). Suppose 3*u - 20 = 4*m, -4 = -i*u - m + 6. Let o(s) = s**3 - 3*s**2 - 5*s + 3. Let f be o(u). Does f = 1?
False
Suppose 0 = -4*i - 0 + 4. Let m be (2/(-6))/(1105/(-780)). Which is bigger: i or m?
i
Let g(u) = 17*u - 427. Let w be g(24). Do w and -19 have the same value?
True
Let b(r) = -6*r - 1. Let i be b(-1). Let u = -5 + 8. Suppose i*g + u*a + a = -40, 0 = 3*a - 15. Is g not equal to -13?
True
Suppose 0 = 3*b + 3. Let m be (-4)/3*(-42)/28. Let h be (33/26 - m) + (-11)/(-22). Which is smaller: b or h?
b
Let q = -1.038 - -0.058. Let b = -1.02 + q. Is b > 24?
False
Suppose h - 3*f - 4 + 10 = 0, 24 = 4*h + 4*f. Suppose h - 2 = -o. Is 1 bigger than o?
True
Let h = -6 + -7. Let c = 13 + h. Let o = -0.21 + 9.21. Is c greater than or equal to o?
False
Let n = 99.5 - 99.8. Is 39 less than n?
False
Let t = -808/5 - -806/5. Which is smaller: t or 20.6?
t
Let u be ((-35)/21 - -1) + (-2)/(-3). Suppose u*i + i - 5*i = 0. Which is smaller: -5/36 or i?
-5/36
Suppose 2*z + 2*t - 164 = 0, 4*t = 2*z - 116 - 60. Let l = z - 128. Is l greater than or equal to -43?
False
Let f be (1 + -8 + -1)/(-2). Suppose -3*u + 2 = -3*l - 4, f*u - l - 5 = 0. Suppose -c = -2*d + c + 16, -2*c + 17 = d. Which is greater: u or d?
d
Let q = 35 + -35. Suppose -t + 4*k = 23, -16 = -0*k - 4*k. Let j be (-2)/t + 30/336. Is j equal to q?
False
Let r(b) = -124*b - 11. Let l be r(2). Is -259 != l?
False
Suppose -10 = -4*x - 2*p - 8, 0 = 5*p - 5. Which is smaller: x or -1/563?
-1/563
Let f = -41/77 - -9/11. Let u(y) = -2*y - 2 - 34*y**2 + 36*y**2 + y**3 - 1. Let a be u(-2). Do f and a have the same value?
False
Suppose 2*q + 55 = -19. Let p = -35 - q. Is p less than or equal to 4?
True
Let p = 2938595973488/4367 - 672909539. Let f = p + -1/4367. Let i = 115/33 - f. Is -1 greater than or equal to i?
False
Let h = -2.4 - -2. Let q = 0.4 + 0.8. Let x = q + -1.2. Which is smaller: h or x?
h
Let w = -4167 + 1513. Let l = w + 432604/163. Which is smaller: l or 0?
0
Let k = -67 - -52. Let h = k + 12. Let b be 6/(-1) - (-3 - -2). Is h at least as big as b?
True
Let c(n) = -n**3 + 6*n**2 + 8*n + 1. Let a = 9 - -4. Let o = 20 - a. Let f be c(o). Which is smaller: f or 0?
0
Let s = 1397 + -1082. Which is smaller: s or 314?
314
Suppose 0 = -p + 47 - 20. Let u = p - 55/2. Is -0.1 at most as big as u?
False
Suppose -4*g = 4*m - 292, 0 = -5*m - 0 + 10. Which is bigger: -1/2 or g?
g
Let f = 4 - 7. Let r = -3.05 - f. Which is smaller: r or -2/3?
-2/3
Let b be -4 + 120 - (-3)/1. Suppose 2*u + 3*u = 3*z - b, -5*u - 185 = -5*z. Is z smaller than 32?
False
Let j = -151 + 75. Are 3 and j unequal?
True
Let q(v) = -v**3 - 18*v**2 + 20*v + 25. Let z be q(-19). Suppose z*a + 51 = 3*a. Which is greater: 1/2 or a?
1/2
Let x be 27/(-3) + -47 + 46. Which is greater: -11 or x?
x
Suppose 2*l = o + 6, 4 = -0*l - l + 4*o. Let g be 20/30 + 62/6. Suppose -l*v - g = j, 4*j - 3*v - 3 = 29. Which is smaller: j or -1/2?
-1/2
Let u(p) = 5*p + 1. Let f be u(0). Is f < -2/3035?
False
Let k(l) = -11 + 0 + 6 - l. Let g be k(4). Which is bigger: -7 or g?
-7
Let x be 9/((-144)/316)*4. Is x smaller than -82?
False
Let r = -1/61 - 115/427. Let z be ((-10)/(-45))/((-4)/(-1293)). Let n = z - 72. Does n = r?
False
Suppose k - 5*j = -k - 3, -2*k - 4*j + 6 = 0. Which is smaller: 2/931 or k?
2/931
Let p be ((-399)/(-14))/(-2*3/12). Let z = 55 + p. Is -1 equal to z?
False
Let z = -138 + 495/2. Let n = 549/5 - z. Is n greater than or equal to -1?
True
Let z = 42 + -38. Suppose 2*p + j = 0, -3*j = -p - z*p. Which is greater: p or -15?
p
Suppose -4*a - 1 - 3 = 4*j, -4*j - 3*a = 1. Suppose -5*k + l = -j*l - 11, -4*k - 4*l = 4. Which is bigger: 1/4 or k?
k
Let o(m) = -9*m + 69. Let c be o(8). Is c greater than 84?
False
Let k = 0 + 16. Let n(v) = v**3 - 8*v**2 + 6*v + 10. Let f be n(7). Let u be (2 - f)/((-1)/16). Is u not equal to k?
False
Let z = -45.884 + -0.116. Let d = 46 + z. Let m = 0.1 + 0.1. Is m smaller than d?
False
Let q = -1672 + 1671.8. Is 21/88 > q?
True
Let h = -0.457 - -0.195. Let k = h - -0.032. Which is greater: -1 or k?
k
Let q(x) = x**3 + 5*x**2 + 4*x - 3. Let i be q(-4). Let k be (-3)/i + 2 - 0. Suppose -2*g - 5*p = 3*g - 5, 3*g - p = k. Which is smaller: g or 5?
g
Let h(m) = m**3 - 2*m**2 - 2*m - 3. Let d be h(3). Suppose 0 = -n - d - 2, -4*o = -4*n - 20. Let u be -1*o*(-3)/(-9). Which is smaller: 4 or u?
u
Suppose 0 = -4*y + 5*b + 41 + 61, 0 = 5*y - 3*b - 134. Let n be ((-3)/(-2))/(14/y). Which is bigger: -3 or n?
n
Suppose -5*w + 4*n = -30, 18 = 4*w - 3*n + n. Suppose w*o - 4*k + 3 = -7, -2*o + 14 = 2*k. Which is bigger: o or 10/3?
10/3
Let z = -280.3 + 297. Which is greater: z or 0?
z
Let u be -7 + 8 + -3 + 3. Which is smaller: 1/139 or u?
1/139
Let r(z) be the third derivative of -5*z**4/12 + z**3/2 - 6*z**2. Let u be r(1). Which is smaller: u or -20/3?
u
Suppose 20 = 20*z - 16*z. Suppose 8*b = z*b. Which is bigger: 2/65 or b?
2/65
Let v = 19 - 45. Let l = -22 - v. Let d = 3 + -5. Which is greater: d or l?
l
Let p = -147 - -121. Which is greater: -22 or p?
-22
Let r be 37 - 4/(1/(-2)*4). Which is smaller: r or 38?
38
Let m be 0/(-6) + 152/(-14). Suppose o + 37 = -3*s, -15*o = -12*o + 12. Which is greater: s or m?
m
Suppose -4*b - 2 = 2. Suppose 0 = -32*l + 25*l. Suppose l - 2 = -h. Is b != h?
True
Let o(x) = 3*x**2 - 21*x. Let l be o(7). Suppose -u - 6*u + 140 = l. Which is smaller: 19 or u?
19
Suppose -20*o = 223 + 197. Which is greater: -26 or o?
o
Let w = 72.9 - 90. Let y = w + 17. Is -0.5 greater than or equal to y?
False
Let t be (-3)/(-2) + 138/(-92). Is 7/136 bigger than t?
True
Let h = -0.1 - 0.9. Let g = 65.7 + -69. Let k = -3.6 - g. Is k at most as big as h?
False
Let a be -1 + (9 - 3/1). Let r(p) = a + 3*p - 7 - 18 - p. Let g be r(9). Which is smaller: 1 or g?
g
Let m = 0 - 2. Let j be (m - -4 - 3)*-8. Is -1 greater than j?
False
Let b = -16.9 - -17. Let m = 0.2 + 1.8. Let j = -5 + m. Is b <= j?
False
Let o(h) = -h**3 + 11*h**2 - 10*h - 8. Let i(m) = -2*m**3 + 17*m**2 - 19*m - 4. Let k be i(7). Let n be o(k). Which is greater: -3 or n?
-3
Suppose 5*s = -2*z - 22, -3*z - s - 11 = s. Let r = z - -1. Let a be 4/(-5) + 0 - 2/(-5). Is r <= a?
False
Let u = 48 - 45. Which is bigger: u or 0.3?
u
Suppose 8*y - 10*y = -4. Let t(k) = 3*k + 14. Let z be t(10). Suppose -y*f + z = -5*l, 0 = -2*f + 2*l + 42 + 8. Is f at most 27?
True
Let m(s) = -4*s**2 - 21*s + 102. Let w be m(5). Which is smaller: w or 3?
w
Let t = -47 + 47. Let v = 12.3 + -7. Which is smaller: v or t?
t
Suppose 0 = -8*g - 181 + 5037. Is 606 less than or equal to g?
True
Let q = 313/117 + -22/9. Is q smaller than 0?
False
Suppose -5*b = -2*c - 858, -2*b - 3*c = -5*b + 513. Which is greater: b or 174?
174
Let j = -58.9 - -55.9. Which is greater: 4.3 or j?
4.3
Let b = -0.034 + 2.934. Let w = -2.79 + b. Let l = w + -0.31. Which is bigger: l or -1?
l
Let d = 25.2 - 25.8. Which is greater: d or -30?
d
Let o be -1*(2 - (-12)/(-3)). Suppose 0 = 3*j - 5*l - 25, -5*j + o*l - 5 = 3*l. Are j and -2 unequal?
True
Let o be (21/(-12) + 1)*29108/(-95). Is 230 equal to o?
False
Let d = -15242/13 + 1173. Which is bigger: 2 or d?
2
Let i = -988 + 987.93. Which is greater: 17 or i?
17
Suppose o + 3*o = 20. Suppose 1 = o*l - 5*v + 4*v, 3*v = -3*l + 15. Which is greater: l or -1/15?
l
Let u be (-60)/(-10)*(-2)/(-6). Suppose -3*