12*p - 4. Let q be c(-9). Which is bigger: 151/3 or q?
151/3
Let s = 112.1 - 117. Let o = 5 + s. Suppose -4*z - 36 + 60 = 0. Is o at most as big as z?
True
Suppose -6*v + 11 = -25. Suppose 0 = 3*i + v, 5*n + 0*i = 4*i + 28. Let m be 88/14 - 2/7. Which is bigger: m or n?
m
Let r be (0 + 0)*1*-1. Suppose -504 - 146 = -5*m. Let i = m - 1168/9. Are r and i unequal?
True
Let f(d) = d**3 + 12*d**2 - 15*d - 27. Let y be f(-13). Is -10/29 equal to y?
False
Suppose -2*x - 4*t = 10, -16 + 3 = x + 4*t. Let h be (4/(-10))/(6/(-30)). Suppose y + x = h. Which is smaller: y or 0.1?
y
Suppose -19*n + 30*n + 11 = 0. Is 2/43 bigger than n?
True
Suppose 0 = -7*w + 8*w + 18. Which is greater: w or -23?
w
Suppose 5*a - 10 = 0, v = -a - a - 6. Let f be 2*1 + -1 + v. Is -9 at least as big as f?
True
Let h be (3/1 + 1)/4. Let a(b) = -b**3 + b**2 + 4*b - 4. Let j be a(h). Which is greater: j or 1/24?
1/24
Let k(s) = s + 3. Let c be k(-2). Do 2/477 and c have the same value?
False
Let t = 1325/7 - 190. Are -2 and t unequal?
True
Suppose 4*l - t = 5 - 4, 4*l - 2*t - 2 = 0. Suppose -3*o = -a + 5*a + 27, -5*a = 0. Let c be 2*(o/6 + 1). Is l at most c?
False
Let r be 4/30 - (-68)/(-60). Let k = 140/3 - 989/21. Is r greater than k?
False
Let f = 95 - 97.59. Let w = 1.41 - f. Is w at least as big as 10?
False
Let q = 13 - 11. Let y = -15 + 22. Let j be (-2)/1 + y/3. Which is greater: q or j?
q
Let v = 3412571633/2490763 - -10/226433. Let j = 1369 - v. Is 0 at least as big as j?
True
Let q = 52989/19 - 2790. Is 0 <= q?
False
Suppose -2*c + 19*c - 5525 = 0. Is c greater than 324?
True
Let y be 11/4 - (-3)/12. Let r be -1 - (3/y - 2). Which is smaller: -7/5 or r?
-7/5
Let d = -1 + 3. Let s = -58/111 - -1261/1776. Is s <= d?
True
Suppose 0 = -12*r + 10*r - 4. Let b be (9/(-6))/((-6)/24). Let w be (-9)/r + b/(-12). Is w at most 3?
False
Suppose 94 = -g + 4*g + 2*c, 3*c - 126 = -4*g. Let v be 10/g*(0 - 0). Suppose u + v*u = 0. Which is bigger: -1/10 or u?
u
Let n = 0.3 - -1.5. Let b(u) = -3*u + 6. Let z be b(4). Let q be (-1)/z*6/(-4). Do q and n have the same value?
False
Let t = -20 + 26. Suppose -7 = w + t. Which is smaller: w or -14?
-14
Suppose 6 + 0 = 3*g. Let y be ((-1)/(-3))/(g/42). Suppose -3*t + 2*w = y - 1, 6 = 2*w. Which is smaller: -2/33 or t?
-2/33
Let v = 0.1093 + -39.1093. Which is bigger: 1/7 or v?
1/7
Let u = 28/3 - 143/15. Which is smaller: 2 or u?
u
Let b be 886*-5*1/(-1540) - 0. Let l be ((-25)/(-28))/((-2)/4). Let w = l + b. Are 1 and w equal?
False
Let r = -1 - 23. Let p = r - -28. Are p and 5 nonequal?
True
Let r = -17473/8 + 2199. Which is greater: 14 or r?
r
Suppose 8*d - 64 - 160 = 0. Let j be d/70 - 2/5. Is -13 bigger than j?
False
Suppose -2*x - 3*x + 40 = 0. Let c = 20 - x. Let i(q) = q**3 - 13*q**2 + 11*q + 6. Let s be i(c). Is s less than -7?
False
Let w(g) = g**3 + 9*g**2 - 2*g - 2. Let z be w(-9). Let j = 26 - z. Suppose 12 = 4*k, f = -2*k - 0 + j. Which is smaller: 6 or f?
f
Let n = -36 + 26. Let x be -1 + 8/n + 0. Let j be (28/70)/((-3)/15). Which is bigger: j or x?
x
Suppose 5*l = 2*t - t - 47, -2*t = -3*l - 24. Let m(x) = 2*x + 15. Let w be m(l). Is w < -6?
False
Let h = 163 - 186. Is h at most 1/2?
True
Let m be 11/(-3)*(-16 - 14). Are m and 328/3 equal?
False
Let s(l) = -l**2 + 6*l + 134. Let v be s(-9). Which is smaller: v or -2/19?
v
Let i = -47/64 + -4081/64. Let b = -597 + 660. Let d = i + b. Are d and -2 equal?
False
Let a = 940 + -736021/783. Are a and 0 nonequal?
True
Let o = -964 - -620. Is o >= -346?
True
Let o be (3 - 33)/(-2)*-1. Let k be 2/(-10) + o/175. Suppose -20 = 2*i - 18. Does k = i?
False
Let u(l) = -l**3 + 5*l + 3. Let v(b) = b**2 - 9*b + 17. Let a be v(7). Let q be u(a). Is q at least 0.4?
False
Let y be 7254/45 + ((-104)/20 - -5). Are y and 1119/7 non-equal?
True
Let h = -6.2 - 0.4. Is h smaller than -0.06?
True
Suppose -7*z = -2*u - 2*z + 320, 2*u - 4*z = 318. Which is smaller: u or 156?
u
Let u(t) = 7*t - 13. Let b be u(7). Let p = -33 + b. Is p at most as big as 1?
False
Let n be (-4)/(-6)*63/(-42) - 0. Which is greater: n or 68?
68
Let o = 98 + -62. Suppose -4*s - o = 8. Suppose -f - 16 - 19 = 5*w, 0 = -4*f + 3*w - 25. Is f greater than or equal to s?
True
Let o = -0.4 - -0.2. Let s = o - -0.3. Let r be 1/3*6/8. Which is smaller: s or r?
s
Let v(k) = -k**3 - 29*k**2 + 33*k + 92. Let r be v(-30). Suppose -2 + 5 = c. Which is smaller: c or r?
r
Let q = 247 - 236.95. Let h = q - 10. Let g = -6.95 - h. Is g smaller than -1/3?
True
Let a(c) be the second derivative of c**3/6 + 4*c**2 - 4*c. Let p be a(12). Suppose q + p = -4*q. Which is greater: q or -13/4?
-13/4
Let q = -3 - -16. Let g(x) = -x**2 + 13*x - 7. Let h be g(q). Do h and -7 have the same value?
True
Suppose -136*p - 318 = -142*p. Which is smaller: 5 or p?
5
Let o = -3787/55 - -69. Is o greater than 0?
True
Suppose m - 32 = 5*o, -3*o - 2*m = 2*m + 33. Let i be (4/(-7))/((-10)/o). Are i and 0.2 equal?
False
Let o be 3*-3*((-10)/(-18) - 0). Let i be 2*13*(-2 + 1). Let m be i/12 + 4/24. Which is greater: m or o?
m
Let y(x) = 8*x + 150. Let m be y(-19). Does m = 38?
False
Let k = -87/2 - -42. Suppose -2*f - 4*p = f - 31, -31 = -4*f + 5*p. Suppose a = -5*c - a - f, 6 = -3*a. Is k > c?
False
Let d = -0.417 - 1.583. Which is bigger: d or 3?
3
Suppose 8*z + 307 + 189 = 0. Is z greater than or equal to -59?
False
Let k be 3/2 - 2/3. Suppose 31*d = 32*d - 4. Let i be (3 + -4)/((-2)/d). Is k bigger than i?
False
Let q(i) = -2*i**2 + 10*i + 1. Let o be q(9). Let v = 63 + o. Is v less than -6?
True
Let p = 66 + -64.5. Is 0.3 >= p?
False
Let z be 2/(11 - 1/1). Let r(d) = 7*d - 90. Let y(s) = s + 1. Let w(j) = -r(j) - 5*y(j). Let x be w(7). Which is smaller: z or x?
z
Let a be (-2)/(((-16)/24)/((-4)/(-3))). Suppose -4 = a*t, 4 = b + t - 4*t. Is b > 1/66?
True
Let g be (-16)/6*1/((-1)/3). Suppose o + 3*t - g = 0, -2*o + 2*t = -36 + 4. Which is greater: o or 76/5?
76/5
Let d be -1 - 5 - (1 + 22). Is d at most as big as 4?
True
Let y = -610 + 777. Which is smaller: y or -3?
-3
Let u be 1/(-1) - (-3 + (-436)/(-220)). Which is smaller: -1 or u?
-1
Suppose 0 = 2*q - 32 - 2. Suppose -16*i + q*i - 21 = 0. Let p = -149/7 + i. Are p and -1/8 equal?
False
Let c be 508/10 - 5/(-50)*2. Let w = 6 - c. Which is smaller: w or -47?
-47
Let x be (14/224)/(314/(-8)). Is x at most -1?
False
Let l be 9*((-20)/12)/(-1). Suppose 10*i - l*i = -30. Suppose 2*f - 24 = 2*u + i*f, 4*f - 96 = 4*u. Which is bigger: -19 or u?
-19
Let c = -7259788501/20880 - -5560109/16. Let t = 921/5 + c. Is 0 != t?
True
Let k(d) = -2*d**3 + 11*d**2 - 12*d + 4. Let u be k(4). Which is bigger: 28 or u?
28
Let b = 0.246 - -0.754. Is b > -170?
True
Suppose -4*a + 3*z + 181 = 0, -3*a - z - 61 + 200 = 0. Suppose 0*g - a = 2*g. Suppose 0*v + 22 = -v. Which is bigger: v or g?
v
Let c = -16 - -23. Let t be (3 + -6)/(6 + -3). Which is greater: c or t?
c
Let n be ((-6)/5)/(60/(-7600)). Which is smaller: 153 or n?
n
Let j = 1405.97 - 1413. Let z = j - -7. Let l be 0 + (1 - (-1 - 7/(-3))). Which is smaller: z or l?
l
Let o = 9 + -11. Let z be (64/40)/(o/(-10)). Let b be 4 - (-5)/((-10)/z). Is b > -1/17?
True
Let b(f) = f**2 - 3. Suppose u = 4*y - 2*u + 8, 5*y + 5*u + 10 = 0. Let i be b(y). Do 12/11 and i have the same value?
False
Let l = 10 - 13. Let s = l + 4. Let k = s + -1.1. Is k smaller than -0.1?
False
Let d be (47 + 2)*(-7 - 255/(-35)). Let i = -29 + 8. Let p = i - -35. Is d at least p?
True
Suppose -12 = 4*g - 2*m, -6 + 22 = -4*g + 3*m. Are g and -128 non-equal?
True
Let d be 4 - (3 + -1 - 0 - -8). Let m(z) = z**3 - 4*z**2 - 3*z - 7. Let u be m(5). Suppose -u = -k + 2*k. Which is smaller: k or d?
d
Let c = 1/152 + 7/19. Let x = 0.95 - 0.05. Let t = 1 - x. Is t != c?
True
Let q(w) = 4*w + 55. Let g be q(40). Is 215 not equal to g?
False
Let l be (-1)/1 + -3 + 28. Let z(g) = 4*g - 3. Let u be z(7). Which is greater: l or u?
u
Let g(i) = i**3 - 7*i**2 + 3*i + 15. Let o be g(4). Which is smaller: o or -28?
-28
Let b = 62 - 1. Let a = b + -49. Are 13 and a nonequal?
True
Let x = 47.932 + 0.068. Let m = -47 + x. Which is greater: 31 or m?
31
Suppose -4*c = 2*s + 50, 3*c - 4*s + 31 = s. Let l be 3*((-1)/c)/1. Which is smaller: l or -21?
-21
Let o = 20.974 - -0.026. Let u = 6 - o. Let z = -14 - u. Which is greater: z or 13?
13
