p. Which is greater: o or m?
o
Let u = 13.9 + -2.9. Let a = 11 - u. Which is smaller: a or -71/4?
-71/4
Let c = -1 - 0. Let h be c/(3/6) - -6. Let x(d) = -d**3 - 9*d**2 - 20*d - 11. Let s be x(-6). Is s != h?
True
Let q = -22 + 55. Which is smaller: q or 30?
30
Let g be 2/(-4)*(0 - -8). Let s be 2*g/(-8) - 0. Let v be (0 + 2 + 1)/s. Which is greater: v or 2?
v
Let u be (468/12675)/(26/(-5)). Are 0 and u unequal?
True
Let f = -137 + 126. Let t be (-6)/2 - (-7 + 4). Let q = -10 + t. Which is smaller: f or q?
f
Let f = -51/10 + 133/30. Which is bigger: -0.46 or f?
-0.46
Let n = -69 - -60. Is n greater than -23?
True
Let v(b) = b - 1. Let m be v(7). Suppose -m*n + 49 = n. Let t be 0 + (7 - 2/2). Is t less than or equal to n?
True
Let v = -982/595 + 30/17. Which is smaller: 12 or v?
v
Let p be (4 - 5)*(3 + 716/28). Do -30 and p have different values?
True
Let n = -421/99 + 100/33. Is 3/2 greater than or equal to n?
True
Let k = -0.896 - -0.896. Which is bigger: k or -101?
k
Let i = 12 - -3. Let f = 35 - i. Suppose 5*w + 5*y = 0, 3*y = 3*w + 2*y - f. Is 1 smaller than w?
True
Let n be -1 + 6/2 + 5. Suppose -2*l + 3*a + 18 = a, -4*l + 2*a + 30 = 0. Let d = l - n. Which is greater: 0 or d?
0
Let k(l) = -l**3 + 6*l**2 + 2*l - 3. Let s be k(6). Suppose -5*v + 2*u + 40 = 0, 2*u = 5*u - 15. Which is smaller: v or s?
s
Let j = 6741.45 - 6742. Let v = 0.4 - 0.4. Which is bigger: v or j?
v
Let g(a) = 15*a - 1. Suppose -5*x - 4 = -2*w, 2*x + 1 = w - 0*x. Let m be g(w). Is -46 less than m?
False
Let r = 1055 - 1054. Which is bigger: 1/1502 or r?
r
Let o = -59 - -103. Let l = 110 + -72. Let k = l - o. Which is bigger: k or 1/2?
1/2
Suppose -16*n = -12*n - 5*p + 5, -3*p + 3 = 0. Which is smaller: n or -2/1013?
-2/1013
Let y = -2863/264 - -87/8. Which is smaller: y or -5?
-5
Let t = 142 + -143. Which is bigger: t or 1/48?
1/48
Let z = 85 + -85.5. Let n = -11/30 + -3/10. Which is smaller: z or n?
n
Let s = 351 - 374. Is s != -22?
True
Suppose 10*h - 14*h = -v + 17, 2*h = -4. Let z(n) = -n**2 + 9*n - 7. Let c be z(v). Which is greater: -6 or c?
-6
Let z = 56.7 + 0.3. Let h = z + -56. Let w = -0.9 + -0.7. Is w not equal to h?
True
Let y = -3 + 5. Suppose -w - y*w + 18 = 0. Suppose -t = -w*t. Is t less than or equal to -8/7?
False
Let n be ((-28)/18)/(5/(-30))*15. Are n and 140 equal?
True
Suppose -r - 4*r = 0. Let f be (-2977)/(-35) + 24/(-16). Let d = f - 167/2. Do r and d have the same value?
False
Let p(s) = -s**3 + 59*s**2 + 58*s + 117. Let v be p(60). Suppose 0 = -2*m - 2*m - 12. Is m greater than or equal to v?
True
Suppose -g + 23 = 4*g + 4*h, -12 = 4*h. Which is greater: g or 4?
g
Let t = -44868 + 201143242/4483. Is 0 at most as big as t?
False
Let d(y) = 5*y - 5. Let w be d(13). Let i be ((-8)/w)/(-1)*(-50)/(-8). Is i not equal to 0?
True
Suppose 3*i = 9*i + 54. Which is bigger: i or 14?
14
Suppose 12 = 2*m - 18. Suppose -x + 10 = 4*k - 4*x, k + 2*x + 3 = 0. Which is bigger: k or m?
m
Let q = 433 - 238. Which is smaller: q or 196?
q
Suppose 4*p + 4*s = 0, 0 = -4*s + 3 - 7. Let d be 1*(0 - 18/(-4)). Let x = 25/6 - d. Is p greater than x?
True
Let u = -380 + 377. Is u > 2?
False
Suppose -14*h + 17 = -95. Let m = -4.1 + 4. Is m at least h?
False
Suppose -4*u = -5*l - 231, -l + 196 = 3*u + 18. Let v = 53 - u. Which is smaller: -4 or v?
v
Let w(f) = 3*f**2 + 2*f + 4. Let l be w(-2). Suppose 0 = -4*n + 4*h - l, 0 = -n + 2*h - 1 - 0. Let b(q) = -q - 12. Let c be b(-5). Are c and n non-equal?
True
Let d = -27 + 18. Suppose 5 - 1 = 3*g + 5*b, -20 = 5*b. Let o be g/(2/(-1)) - 5. Is d bigger than o?
False
Let q be (4 - 6) + -3 + 2. Let x be (3/14)/(q/(-8)). Let m(b) = b**3 + 3*b**2 - 3*b + 4. Let y be m(-4). Do x and y have the same value?
False
Let t = -257 + 319. Which is bigger: -0.1 or t?
t
Suppose -3*g + 42 = 5*y - 0*g, 3*y = -5*g + 22. Let l(d) = -d**3 + 9*d**2 + 3*d + 5. Let s be l(y). Is s less than 33?
True
Suppose -3*f + 5*k - 4 = 0, 3*f - 5*k = -f + 3. Let n be (f - -4)*(-2)/(-4). Which is greater: n or 7?
7
Let g = 0.219 - 0.119. Which is smaller: 9 or g?
g
Let k be (-47367)/(-36)*4/11. Let h = k - 479. Suppose -2*v = 3*b - 1 + 17, 5*b = -20. Is v less than h?
True
Let f = -0.0429 - -0.0199. Is -1 > f?
False
Suppose 1683 - 1620 = 9*k. Which is bigger: k or 3?
k
Let i = -0.01 - -0.31. Let d(z) = 13*z**2 + 15*z + 6. Let s be d(-5). Let y = s - 1029/4. Is i less than or equal to y?
False
Let z be 334/67 - (-5 + 10). Is z less than or equal to 0?
True
Let m = -45 + 70. Let y = m - 36. Is y at least -12?
True
Let v be 14/2 + (-399)/105. Which is smaller: v or 2?
2
Let f(w) = 8*w - 14. Let s be f(5). Let p = s + -27. Is -0.3 bigger than p?
True
Suppose 1 = -5*q + 4*q, -4*x - 5*q - 21 = 0. Suppose -3*d - 20 - 1 = 0. Let c be 5 + d/((-14)/x). Which is smaller: 2 or c?
2
Let a(r) = r**3 - 9*r**2 + 9*r - 5. Let w be a(8). Suppose 4*k + 2*n - 23 = n, 0 = -3*k + w*n + 36. Suppose -5 - k = 4*z. Which is bigger: -13/4 or z?
z
Let u = 88 - 81. Suppose 3*w + m = u*w + 114, 0 = -2*w - 4*m - 48. Which is bigger: w or -27?
-27
Let h = -6 - 19. Let g be ((-79)/h + -3)/(14/(-5)). Which is smaller: g or 0?
g
Let r be 5457/45 - (-21)/(-35). Which is greater: 120 or r?
r
Let g be ((-2 - -3)*-4)/(-1). Let l be g/(-5) - 0/(-2). Suppose -4*f + 4 = 3*d + 14, 3*f = 5*d + 7. Which is smaller: l or d?
d
Let l = 12 - 18. Let f = 5 + l. Which is smaller: f or -2/5?
f
Let s be ((-42)/8)/(198/52). Let z = -4/33 + s. Is -3 >= z?
False
Suppose 0*v + 6 = -2*v, v = w - 32. Is w less than 26?
False
Let q = 419/2 - 205. Is 4 equal to q?
False
Let f = 10/29 + 7/232. Let z(x) = x**3 - 7*x**2 - 16*x - 19. Let o be z(9). Is o < f?
True
Let h(i) = -i**3 + 13*i**2 - 10*i - 8. Suppose 0 = p + 4*o + 4, 4*p + 0*o - 60 = 3*o. Let g be h(p). Let v be g + (-3)/1 + 1. Are v and 14 unequal?
False
Let v(n) = -n**3 + 19*n**2 - 17*n - 13. Let b be v(18). Suppose -2*f = 6*l - b*l + 14, 4*f + 16 = l. Which is greater: l or -33/7?
l
Suppose -2*a - a - 5*v + 158 = 0, -162 = -3*a - 3*v. Let x be a/(-70) - (-3)/((-45)/(-2)). Is x greater than -1/4?
False
Let z be 6 - (1 - -2)*1. Suppose 3*p - 7 = -0*p - 5*i, -5*p = z*i - 17. Is p greater than 1/6?
True
Let q = -26 - -32. Let d be q/((-3 - 0) + 1). Let s(t) = t**3 + 4*t**2 + 3*t. Let k be s(-3). Which is smaller: k or d?
d
Suppose 19*f - 64 = 3*f. Suppose -h - x - 65 = 0, x = -0*h - f*h - 266. Is h > -67?
False
Let m = -122/3 + 40. Let p = m - -1/3. Let u = 8.05 + -0.05. Is p <= u?
True
Let q = -231 - -66. Is q less than or equal to -164?
True
Let f = 3191 - 3191. Which is bigger: f or 7/214?
7/214
Let t(a) = -a**2 - a. Let v be t(0). Let m = 43 - 47. Let f be 4/20 - m/(-8). Is f < v?
True
Let i be -18 + 3 + 18 - 1*2. Let p be (-21)/117 - (-2)/6. Is i >= p?
True
Let s be 2/8 + 23/4. Suppose 0*h = 2*h - s. Suppose 3*y = 2*r - 8, 0 = 3*r - r - 4*y - 10. Is h bigger than r?
True
Let b be -2 + 4 + (11 - -3). Does 17 = b?
False
Let t be (-1)/(-1)*(-606)/10. Suppose 8*g = 12*g + 2*v + 236, 3*v = -4*g - 234. Let h = g - t. Does h = 2?
False
Let x be ((-4)/6)/((-3)/(-9)). Let r = 108 - 106. Suppose 3*v = r*v - 3. Which is bigger: v or x?
x
Let i = 5 + -2. Suppose i*s - 34 = 71. Let j be s/(-90) - 1/(-2). Which is greater: 1 or j?
1
Let u(l) = l - 17. Let r(a) = 1. Let w(v) = -5*r(v) - u(v). Suppose 2*k - m = 25, -5*k - 8*m + 4*m = -30. Let g be w(k). Is 1 <= g?
True
Let u be 2*((7 - 4) + 10/(-4)). Let x be u/2 + 9/(-54). Are -1/6 and x equal?
False
Suppose -10*n = 5*n - 14760. Which is bigger: -1 or n?
n
Suppose 2*l = -3*z + 9, -29*z + 3 = -28*z + 3*l. Is z < 12?
True
Let r = 29/238 + -1/238. Suppose 2*t + t = 0. Which is smaller: r or t?
t
Let b = -0.01 + -1.99. Let g(x) = -5*x + 232. Let a be g(47). Which is smaller: a or b?
a
Let a be ((-10)/4)/(20/(-16)). Suppose 4*g + g = 2*o + 163, 5*g + a*o - 167 = 0. Which is smaller: 34 or g?
g
Let y = 180.7 + -201. Is -2/11 at least y?
True
Let s(k) = k**2 - 5*k - 565. Let g be s(26). Which is smaller: -59/3 or g?
-59/3
Let p be ((-36)/(-30))/(20/2825). Which is bigger: 169 or p?
p
Suppose 633 + 3 = -6*h. Which is bigger: h or -425/4?
h
Suppose -2*g - 5*v = -2, -4*v + 13 - 18 = g. Do -0.6 and g have the same value?
False
Let a = -19 - -19. Suppose -5*j - 3*p + 35 = a, j - 4*p + 8 = -2*j. Let c be (-4)/30 - j/(-30). Is c >= -2/17?