e -24*(r/15 + 9/15). Is p greater than 72?
False
Let v be -4*4*(-3262)/112. Which is bigger: 1869/4 or v?
1869/4
Let f = -421 + 362. Let j be f/177 + 4/3. Which is greater: -1/120 or j?
j
Suppose -11*r - 27 = 149. Let y be r/410*60/(-9 - 3). Is y at least as big as -2/7?
True
Let u(f) = 2*f**2 + f + 3. Let h(r) = 18*r**2 + 3*r + 13. Let l(y) = -h(y) + 4*u(y). Let b be l(0). Which is smaller: -2/205 or b?
b
Suppose -47*j - a + 13 = -49*j, 2*j + 2*a - 14 = 0. Which is greater: j or -5?
j
Let o be (2/(-159))/((-2)/(-6)). Let t be (-1)/(15/(-6)) + (-879)/(-15). Let j = t + -59. Which is smaller: j or o?
o
Let z = -941/1190 - -57/70. Is 0 at least as big as z?
False
Let v(s) = -s**3 + 42*s**2 + 458*s + 51. Let u be v(51). Suppose 5*n - 28 = 2. Let g be ((n/(-32))/1)/(-6). Which is smaller: g or u?
u
Let c = 3 - 6. Let a = -1037/2 + 481. Let u = a - -209/6. Is c not equal to u?
True
Suppose 11*x - 11 - 308 = 0. Let w = -68 + x. Which is smaller: -40 or w?
-40
Let r = 13.871 - 13.771. Which is greater: -1596 or r?
r
Let c(i) = 19*i - 18. Let y be c(3). Is 29 less than y?
True
Let h(w) = 44*w + 36. Let v be h(14). Suppose 12*c - v = 452. Let x = -274/3 + c. Is x bigger than -41?
True
Let w = -568 - -575.07. Let z = -6.77 + w. Which is bigger: z or -36?
z
Let a = -1.237 + 1.437. Let m = 77 + 23. Is a > m?
False
Suppose 2*j + 2*n = -3*n + 140, 5*j - 2*n - 292 = 0. Let m be (10/j)/(0 - 1). Let u = 3.093 - 0.093. Which is bigger: m or u?
u
Suppose 0 = -p - 2*t + 9, -p - 3*t - t = -5. Let g(d) = -d**3 + 15*d**2 - 28*d + 5. Let h be g(p). Let w be 4*(-12)/(-112) + 27/h. Are w and 0.04 equal?
False
Let a(w) be the second derivative of w**4/12 - w**3/2 - 7*w**2 - 21*w. Let h be a(6). Suppose 0 = h*s - 11*s - 119. Is -17 at least as big as s?
True
Let i be 2 + 48006/(-77) + 5. Let a = i - -621. Which is smaller: a or 6?
a
Let a be (45498/(-2847) - (-9 + 0)) + 14/2. Which is greater: a or 0?
a
Suppose 5*b - 725 = -x, -37 = -3*b + 3*x + 416. Let i = -90 + b. Let j be (16/6)/(-4)*-84. Is j smaller than i?
False
Let m = -1.11 - -0.11. Let j(u) = -u**3 - 8*u**2 - 10*u + 2. Let x be j(-6). Let n be (-21)/7 + x/(-4). Which is greater: n or m?
n
Let c(p) = 40*p**2 + 3*p - 1. Let a be c(-1). Suppose 0 = -a*m + 11 + 25. Is 1/102 smaller than m?
True
Suppose -5*h - 25 = -45. Suppose -9*n - h*b = -12*n + 3, -1 = -n + 4*b. Is n equal to 44?
False
Suppose -29 = -3*x - 14. Let i(u) = u**2 - 4*u + 1. Let v be i(x). Let g be (4/v)/(34/(-51)). Is g >= -11/9?
True
Let z(l) = l**3 - 8*l**2 + 8*l - 6. Let o be z(7). Let h = 133543 + -7344871/55. Is o < h?
False
Suppose 0 = 8*n - 22 - 610. Does 241/3 = n?
False
Let a(g) = -g**3 + 3*g - 12. Let z be a(0). Let b be z/(-16)*2/12. Which is bigger: b or -5?
b
Let a = 211 + 5606. Which is smaller: a or 5816?
5816
Let r(y) = y**2 + 71*y - 248. Let z be r(-83). Is z >= 8218/11?
True
Suppose -32 = -12*c - 4*c. Let m(i) = i**2 - 21*i + 10. Let q be m(11). Let o be 40/q + -1 + (-21)/(-10). Is c at least o?
True
Suppose -h + 60 = -45. Let l be 10 + (-2254)/h - (-4)/(-3). Does 2 = l?
False
Let w be ((-2)/5*-53)/((-22)/(-55)). Let o = -16 + 34. Let n = o - w. Is -34 > n?
True
Let k = -5403/25 + 216. Let b = -63/100 + k. Is 0 greater than b?
True
Suppose k = -13*k - 10*k. Which is smaller: k or 4/3927?
k
Let p(g) = 6*g**2 + 14*g + 31. Let i(k) = k**2 + 1. Let y(f) = -5*i(f) + p(f). Let r be y(-12). Let o = -435/4 + 111. Which is smaller: r or o?
r
Let f be (0 + 21/17)*(-4)/6. Let x(l) = l**3 + 10*l**2 - 13*l - 21. Suppose -51*d = -47*d + 44. Let n be x(d). Are n and f equal?
False
Let a = -0.09732 - 0.20268. Let f = 25.3 + -2.3. Which is bigger: a or f?
f
Let y = 1764/19 + -54823/551. Does y = -7?
False
Let x = 3266.978 + -3267. Is 2.4 < x?
False
Suppose h - 11 - 6 = 3*v, 4*h - 20 = 4*v. Let z = 14 - 12. Suppose -2*k - 16 = z*k, 5*k = 5*g + 10. Is g at least v?
True
Let a be (-5 - 490/(-162)) + 2. Let o = 623/6 - 1231/12. Do o and a have different values?
True
Suppose 12*a - 55 - 41 = 0. Suppose 0 = 178*p - 176*p - a. Which is smaller: 3 or p?
3
Let k = 12.8 + -15. Let g = -7.8 + k. Let a = -446/15 + 88/3. Is a smaller than g?
False
Let z = -6 + 3. Let q be (-12)/(-22)*(34 - 1508/39). Are z and q unequal?
True
Let k = -8.5 + 5.8. Let j = 3729/2 + -1796. Let p = j - 68. Is k bigger than p?
False
Suppose -4*l = -4*s + 200, 2*s + 62 = 3*s - 5*l. Let r = s - 37. Suppose 6*c = 3*c + 5*i + 22, 0 = -2*i - r. Is c != -2/47?
True
Let l(r) = -r**3 + 7*r**2 - 25*r + 117. Let o be l(6). Let t be ((2 + 0 - 6) + o)/(-1). Is t < -7/65?
False
Let u = 1005 + -1004. Let f be 2 - (-2 + (-345)/(-84)). Is f equal to u?
False
Let s = -3869 + 3111. Which is smaller: s or -760?
-760
Let w = -2 + 0.3. Let t(f) = -f - 7. Let o = 26 - 33. Let i be t(o). Which is smaller: i or w?
w
Let o be -8 + (1 - 7 - (-2 + -7)) + 5. Suppose -s = -0*k - 4*k - 4, 5*s - 70 = -5*k. Let c be ((-1)/(-7))/(3/s). Is c at least as big as o?
True
Let y = -31.8161 + -2.1859. Let i = 34 + y. Let a = i - 0.028. Is -1 smaller than a?
True
Let g = -14.1267 + 0.0267. Let v = 15.61 + g. Which is smaller: 0.1 or v?
0.1
Let m(v) = -2*v**2 + 96*v - 198. Let k(l) = 6*l**2 - 288*l + 596. Let o(f) = 3*k(f) + 10*m(f). Let i be o(45). Is 536/7 at least as big as i?
False
Suppose 0 = -92*v + 82*v + 300. Let t be (-16)/15 - (-20)/v. Is -0.1 < t?
False
Let l be (-464)/(-696)*(0 - (-1)/(-2)). Suppose -5*f = 2*g - 571, 0 = 5*g + 2 + 8. Let d = 463/4 - f. Is l greater than or equal to d?
False
Suppose -114 + 22 = -23*r. Suppose 5*n = 2*n. Suppose 7 = h - n. Which is smaller: r or h?
r
Suppose b + 3*j = 5*j - 32, 134 = -5*b - 3*j. Let s = 29 + b. Let g be (-4 - 14/(-4))*-54 - s. Which is greater: 25 or g?
g
Let h = -92.8 + 100.8. Which is bigger: -0.1 or h?
h
Let i(j) = 2*j**2 + j - 2. Let c(t) = 2*t + 15. Let o be c(-9). Let f be i(o). Let x = -2023 - -2037. Which is greater: f or x?
x
Let c be ((-20)/48*2)/(7/(-63)*15). Is 0.4559 greater than c?
False
Let k be (450/60)/(46/836). Is 137 <= k?
False
Let q be (-2)/17 - (-120)/1020. Which is smaller: -2/5295 or q?
-2/5295
Let m be 2/42*33 - (-12)/(-21). Suppose 3*f = 4*b + 10 + 9, 2*f - 8 = 2*b. Let t be (-80)/476 + (-2)/b. Is m equal to t?
False
Let w be 3/(3/2) + 72. Let b be (-128)/(-3 + 4)*(-6 - -5). Let n = b - 54. Is n < w?
False
Suppose 2148 = 4*x + 2*u, 7*x + 5*u - 3*u = 3762. Do 536 and x have the same value?
False
Let q = -15/4 + 4. Let h(x) = -6*x - 13. Let d be h(-2). Let f be (29 - 29)*(-1)/d. Is f greater than q?
False
Let u = 11249 + -2021. Is 9227 greater than u?
False
Let y = -0.88 - -12.08. Let b = -11.1 + y. Which is smaller: 5.1 or b?
b
Let q = -3973 - -75494/19. Suppose -2*h = -4*h. Is q at least h?
True
Suppose f + 413 = 2*o - 4*f, 0 = -5*o + 5*f + 1010. Let a = o + -491. Which is smaller: -293 or a?
-293
Let t be (30/(-3))/5 + (16 - -1). Suppose -x + 0*x = 4*i - t, 5*x - 3 = -2*i. Let n be 4/12*(-4)/(-2)*x. Are -1/7 and n non-equal?
True
Let o = 1968/35039 - 2/947. Which is smaller: -1.24 or o?
-1.24
Let a(j) = 8*j**2 - 11*j - 2. Let d(x) = 2*x - 1. Let c be d(3). Let b be a(c). Do b and 143 have different values?
False
Let o = -1125203846/2363 - -476176. Is o != -1?
True
Suppose 0 = -5*u - w - 3*w + 475, -3*u = 3*w - 285. Which is greater: 7 or u?
u
Let c = -2775/12754 + 3/911. Which is smaller: -5 or c?
-5
Let v be 2119122/(-1397) - (-36)/(-33). Which is smaller: -1521 or v?
-1521
Suppose -3*k + 4 = -k. Let j be 2*(0 + (-1)/k). Let p = -4236 + 4233. Is j > p?
True
Suppose z - 5*a - 8 = 1, -2*a = z + 19. Suppose 64*v + 73 = 201. Let c be v + (-55)/35 + z/21. Which is bigger: c or -1?
c
Let r = 17115.2863 - 17115. Is r at least 0.3?
False
Let z = -1431 - -1471. Let g = -541/2 - -309. Is g < z?
True
Suppose 0 = -3*q + 4*h - 25, -q + 25*h + 22 = 28*h. Which is bigger: q or -47/6?
q
Let x = -6907 + 6770. Which is bigger: -1.7 or x?
-1.7
Let g(y) = 2*y**2 - 19*y - 8. Let o be g(10). Let j be -1 - (o + -102) - 0. Let z = j + -115. Is -15 greater than or equal to z?
True
Let o be 3150/245*(-28)/(-10). Which is bigger: o or 3/16?
o
Let r be (-3 + 1)*(150/(-18) + 9). Let q = 1/119 + -125/714. Is r greater than or equal to q?
False
Let u(t) = 456*t**3 - 4*t**2 + 14*t - 14. Let y be u(3). Does 12304 = y?
True
Let u be (-154 - -150)/(4/226) - 9. Is u at