 equal to p?
True
Let n(l) = 5*l + 19. Let p be n(12). Let v = 72 - p. Is -7 less than v?
False
Let o(f) = -f**2 + 6*f - 5. Let k be o(5). Let c be -1*(k + 21)*-1. Suppose u - c = -0*u. Do 21 and u have the same value?
True
Let u = 9 + -9.12. Let h = 8 - 5. Let w be (h*-1)/((-42)/4). Is u at most w?
True
Let m = 1 + 15. Suppose -29*g = -33*g - m. Which is greater: g or -5?
g
Let k be 2008/10 - 18/(-15). Is k greater than 204?
False
Suppose -7*m - 52 = -3*m. Let c = m - -12. Let b be c/(-1)*7/(-7). Which is bigger: b or -2?
b
Let v = 5583 + 202. Let t = v + -364463/63. Let h = -583/126 - t. Are h and -6 nonequal?
True
Let j = -13 - -13. Let a be 2/(-8) - (-2242)/16008. Let r = -2/87 - a. Which is smaller: r or j?
j
Let p be (36/(-21))/(4/(-14)). Suppose -5 = r - p. Let q = 7669/17 + -451. Is r equal to q?
False
Suppose 4*i - 446 = 118. Suppose -3*c - i = -3*h, 2*c + 130 + 105 = 5*h. Which is bigger: 46 or h?
h
Suppose 5*u + 5*h - 176 = u, 3*h - 220 = -5*u. Let b = -45 + u. Which is greater: -7/4 or b?
b
Let a = -0.05 - -1.05. Let g = a - -0.6. Let d = g + -1.6. Which is smaller: 0.5 or d?
d
Let l = 1252 - 1253. Is -3/214 at most as big as l?
False
Let n(u) = 33*u. Let i be n(1). Let b = i - 33. Let v = -442 - -9280/21. Which is smaller: v or b?
v
Let p be (-168)/(-16) - 2/4. Suppose -p*b = -5*b + 10. Which is greater: -3/2 or b?
-3/2
Let x = -7 + 7.4. Let c = 0.75 - x. Which is smaller: -1 or c?
-1
Let l be (-10)/(-10) + (0 - 3). Let j = -23/39 - 1/13. Which is smaller: j or l?
l
Let i = 4.6 + -20.9. Let g = i - -2.3. Let x = g - -12. Is x < -7?
False
Let t = 79/5 + -16. Let p be ((-14)/21)/((-1)/3). Which is bigger: p or t?
p
Let o(j) = 11*j - 3. Let p be o(-2). Let y = p - -50. Which is bigger: 24 or y?
y
Suppose 9*q = -26 + 80. Let s(k) = 2*k**2 - k**3 + 2*k**2 - 6 + 2*k**2. Let y be s(q). Is -6 >= y?
True
Let j be 30/14 - (-1)/(-7). Let h be (-7)/14 - (-35)/j. Is 16 smaller than h?
True
Suppose 16*r + 18 = 7*r. Let z = r + -5. Are z and -13/2 non-equal?
True
Let x = -1437/17945 - -11/185. Let i = 16 + -16. Is i greater than x?
True
Let b be (4/(-3))/(2/(-6)). Let z(r) = r**3 - r**2 - 9*r + 9. Let t be z(-3). Which is greater: t or b?
b
Suppose 0 = -3*z + 3*r - 120, -32 = -5*z - 4*r - 205. Let k be (1 - 1) + 791/(-21). Let i = z - k. Which is bigger: i or -4?
i
Let n = -20 + 30. Let h be (6/n)/((-18)/(-20)). Which is smaller: 0 or h?
0
Let b(l) = -93*l - 61. Let x be b(-2). Is x at most 125?
True
Let p = 100 - 11. Does 89 = p?
True
Let j = 61 - 60.34. Let v = j - 0.56. Which is smaller: -29 or v?
-29
Let g = 262/17 + -15. Is g at most 1?
True
Let c = 46371/22 - 2109. Which is bigger: -1 or c?
-1
Let t = -7 + 7. Suppose 3*g + 0*w + 5*w - 22 = t, -3*g = -w - 10. Let l(n) = -n**2 + 5*n - 2. Let y be l(4). Is y at most as big as g?
True
Let r = -42/1639 - -19687/6556. Let b = -217912/79893 - -2/7263. Let n = r + b. Which is greater: 1 or n?
1
Let h = -2.44 - -0.44. Is 31/5 at least as big as h?
True
Suppose 0*r + 4*r + 2*v + 668 = 0, -2*r - 5*v = 342. Is -166 greater than r?
False
Let a be (13 - 16/4) + -3. Suppose -2*p + j + 10 = 0, j = -4*p + a*j + 8. Is 23/3 greater than p?
True
Suppose h - 2 = 3*h. Let t be ((h - 1)*8)/(-2). Do 8 and t have the same value?
True
Suppose -126 = -11*r + 5*r. Let z = r + -29. Which is smaller: z or -6?
z
Let k = -30352 + 18059432/595. Which is smaller: 1 or k?
k
Let v be 4/(-22) - (1 + 237/(-33)). Suppose -8*c - v = -2*c. Which is smaller: 2/11 or c?
c
Let u(h) = -4*h + 25. Let f be u(-13). Is f less than 78?
True
Suppose 16*f - 180 = -20*f. Let x(b) = b - 3. Let j be x(5). Suppose 0 = -j*v - 0 + 4. Is v at most f?
True
Let r = -1 + 2. Suppose -246 = 5*m + 79. Let k be 16/m + (-32)/20 + 2. Which is smaller: r or k?
k
Let y = 204 + -184. Which is smaller: y or 22/7?
22/7
Let s be 20/6*36/15*1. Which is greater: 36/5 or s?
s
Suppose -u + 0*u + 3 = 0. Suppose -2*g = -3*m - 53, 72 = -m - u*m + 4*g. Let c = 18 + m. Which is smaller: c or -2/7?
-2/7
Let g = -0.1 - -0.1. Let x = 3983.012 + -3983. Is g at most as big as x?
True
Let w = 22 + -22.95. Let u = w - -1.4. Let t = u + -0.35. Is t less than or equal to 15?
True
Let m = -160 + 160. Let q = 2/165 + 1/99. Which is greater: m or q?
q
Suppose 0 = -5*f - 4*n - 66, 0 = -5*f + 18*n - 15*n - 38. Which is bigger: f or -12?
f
Suppose 0 = -4*z - p - 159, -30*p + 27*p = z + 48. Which is smaller: z or -199/5?
-199/5
Suppose 3*c - w = 1 - 522, w - 2 = 0. Is c > -174?
True
Let t = -0.12 + 0.1. Let w = 0.38 - t. Let b be 75/60 - (-13)/(-4). Which is smaller: b or w?
b
Suppose 11*k - 13 = 10*k. Let c be (24/(-15))/4*-155. Let y be c/5 + 4/(-10). Is y at least as big as k?
False
Let f(v) = v**3 - 7*v**2 - v + 6. Let d be f(7). Which is smaller: d or -1/92?
d
Let y = 17 - 35/2. Are 52/3 and y equal?
False
Suppose 0*c + 5*c + 5*h + 550 = 0, -5*c = -3*h + 534. Let j = 323/3 + c. Is j != 0?
True
Suppose -4*r - 2*g + 4 = 3*g, 2*g = 2*r - 20. Suppose -2*n - 20 = -r*n. Suppose -x + 1 = -6. Which is greater: n or x?
x
Let b(j) = j**3 + 2*j**2 - 2*j + 4. Let p be b(-3). Let u = -10569720/37433 + 2/37433. Let s = u + 282. Is p not equal to s?
True
Suppose -7*a = -3*a - 16, 0 = -n - 3*a - 11. Suppose 19*b + 58 + 461 - 101 = 0. Which is greater: n or b?
b
Let p = -0.136 + 0.09. Let j = p + -0.054. Is j > 20/7?
False
Suppose 3*f = 2*f. Suppose 2*n - 12 - 2 = f. Let w = -9 + n. Is -4 equal to w?
False
Suppose 2*j - 32 = 4*n, n - 30 = 4*n - 3*j. Let i be 3/n + 30/(-4). Is i bigger than -8?
False
Let k be 1 - (-4)/((-192)/39). Which is bigger: 0.1 or k?
k
Let p = 436 - 460. Which is smaller: p or -32?
-32
Let z(n) = 13*n + 3. Let p be z(1). Suppose 2 = -3*v - p. Is v less than -36/7?
True
Let s = 465 + -1394/3. Which is smaller: s or 23/13?
s
Let m = -5 + 3. Let a(u) = -2*u - 4. Let v be a(m). Is -6/7 <= v?
True
Let c = -3 - -5. Suppose -3*p = c*s - 19 - 9, s - 9 = p. Let i = -10 + s. Is i at most -1/11?
False
Let g = -373.4 + 405. Which is smaller: g or 0?
0
Let v = 637 + -5071/8. Is v != 3?
True
Suppose 1656 = -9*x - 189. Which is smaller: -204 or x?
x
Let w = 4971937/239 + -20803. Is w < 1?
True
Let l = -29 + 25. Let q be 70*(l + 294/72). Which is greater: q or 5?
q
Let g(d) = -49*d**2 + 196*d + 1. Let p be g(4). Let q = 14726/23 - 640. Which is smaller: q or p?
q
Let o be 5 + (-4 - -4) - (0 - 0). Suppose -4*l - 20 = o*m - m, -3*m = -4*l - 55. Is -11 smaller than l?
True
Let f = -147 - -147. Suppose -1 = l - 3*y, f = -l - 2*l + y + 5. Which is smaller: l or 42/13?
l
Let a = -4397/14100 + 29/94. Is a >= 2/3?
False
Let f(c) = -c**2 - 6*c - 1. Let s be f(-6). Let g be (-300)/(-95) - 3*(s - -2). Which is bigger: g or 1?
1
Suppose 11*h = 18 - 7. Which is smaller: h or 8/25?
8/25
Let c be (8/(-6))/(-2)*12. Let a = -36 + 48. Suppose -73 - 11 = -a*x. Is x < c?
True
Let t = -13 + 14. Let f(y) = -2*y**3 - 2*y**2 + y. Let c be f(t). Let k be c/(-5)*(-30)/(-24). Do 2 and k have different values?
True
Let q = 337 - 337.1. Which is smaller: -3/31 or q?
q
Let q be (-1 - 1) + -8 + 12. Suppose 5*z + 4 = -p, -q*p = -3*z + 6 + 2. Is z <= -1/26?
False
Suppose 0*v = 3*v + 2*t + 13, 0 = 4*v + 5*t + 22. Let c be (v - -5) + (1 - 0). Let k = c + 0. Is k bigger than 0?
True
Suppose 8*f - 789 = 179. Which is greater: f or 122?
122
Let o(s) = s + 1. Let w be o(3). Suppose -w*u - 5*f = 20, 0 = 2*f + f + 12. Which is greater: u or 3/19?
3/19
Suppose 10*m + 7 = 3*m. Let t be ((-6)/(-9) - 1 - 0)*-12. Is m equal to t?
False
Let l(u) = u**3 + 2*u**2 + 3*u + 3. Suppose -2*g - 1 = -3*q, 5*g - 4*q + 5 = q. Let x be l(g). Which is smaller: x or -0.1?
x
Suppose 2*u = -2*f - 2*u + 8, -5*u + 23 = -4*f. Let b be (0 - f)*91/(-14). Is -13 at most as big as b?
True
Suppose 2*s - 3*s = g - 1, -g + 2*s = -4. Suppose c + g = 3*c. Suppose -2*w - c = -3. Which is bigger: -3 or w?
w
Let h be 6120/85 - (0 - 7). Which is smaller: h or 77?
77
Let k(f) = -f**3 - 6*f**2 + 6*f - 4. Let g be k(-7). Suppose 3*b + g = -0. Which is greater: 2/381 or b?
2/381
Suppose 4*d - 5 = 3*i, -6*d = -4*d + 2. Let y(a) = a**3 + 3*a**2 + 2*a + 2. Let m be y(i). Let g be (-6)/m*4/(-12). Which is smaller: g or -5?
-5
Let y be (-2)/(21897/(-21885) - -1). Let a = 3724 - y. Let m = 72 - a. Are m and -6 non-equal?
True
Suppose -40 = 5*l - 10*l. Suppose 5*f + 4*q - 20