
o
Let n(a) = -4*a**2 + 130*a - 49. Let h be n(32). Suppose -35*o = -h*o - 420. Which is smaller: o or 0.2?
0.2
Let o = -45 + 54. Let h be 12/(-3)*(-3)/12*o. Let j = -3 - h. Which is smaller: -11 or j?
j
Let p = -1149 + 1148.273. Let q = p + 61.727. Which is bigger: q or -1/4?
q
Let s = 90 - 49. Let o = s + -41. Suppose 5*g + 6 + 19 = o. Is g less than or equal to -5?
True
Suppose -2*p + 3 = -l, -2*l = 3*l - 3*p + 8. Let f be l/2 + (-399)/(-38). Suppose 3*o = 5*r + 22, -3*o + 3*r = 2*o - f. Which is smaller: -2/103 or o?
o
Suppose 54*b + 89 = -451. Let m be 3705/(-117) - b/6. Which is smaller: m or -34?
-34
Let v = -1537.1 + 1585.1. Is v < -54?
False
Let g be (1/4)/(11/(-4)). Let m be ((-2)/4*2)/(2/(-22)). Suppose -3*b - m*b = -14. Is g not equal to b?
True
Suppose -29*o + 27*o - 7308 = -65*o. Let c(v) = -v**3 + v - 4. Let s be c(-5). Is o at most as big as s?
True
Suppose a - 78 = -2*k, 12*k - 7*k - 2*a = 213. Let b = k + -21. Is b less than or equal to 28?
True
Suppose 0 = -15*l + 21*l - 1836. Let b = l - 213. Let a = -119 + b. Which is smaller: a or 1?
a
Let h(y) = -5*y**2 + 2*y + 10. Let o be h(-10). Let x be ((-12)/(-14))/(-6 - o/84). Is x not equal to 2?
True
Let k(b) = b**3 + 12*b**2 - 16*b - 17. Let m = -31 + 42. Suppose m*j = 9*j - 26. Let y be k(j). Which is smaller: 21 or y?
21
Let p = -4644/13 - -357. Let b(l) = 8*l + 3 + 8*l - 17*l. Let s be b(2). Which is smaller: p or s?
p
Suppose 0 = -3*b + 4*n + 22, b + n - 2 - 3 = 0. Let x(c) = c**2 + 10*c - 6*c**2 + 11 + b*c**2. Let m be x(-7). Which is bigger: m or -2/5?
-2/5
Let d = 511 + -499. Is d != 39/8?
True
Suppose 0 = 5*n + 9*n + 364. Let i = -27 - n. Is -33/8 greater than or equal to i?
False
Let q be (-40248)/(-430) - (-9)/(-15). Let i(s) = -s**2 - s + 94. Let r be i(0). Which is smaller: q or r?
q
Let q = 0.353 + 19.347. Let z = q - 8. Let i = 12 - z. Which is smaller: -1 or i?
-1
Let o = -233 + 238. Suppose o*b = 45 - 110. Which is greater: -6 or b?
-6
Let q(r) = r**3 + 5*r**2 - 3*r - 10. Suppose -n + 15 = 2. Let y = n + -19. Let w be q(y). Is -28 at most as big as w?
True
Suppose -p = -575 + 583, 2*c - p + 20498 = 0. Which is smaller: -10255 or c?
-10255
Suppose -x - 82 = 3*f - 5*f, -f = 5*x - 41. Let i(k) = -4 + 41*k**3 - 81*k**3 - k**2 + f*k**3. Let n be i(2). Which is smaller: 4/17 or n?
n
Let b = -2.42 - -2.638. Let r = 0.518 - b. Does 32 = r?
False
Let i be (171/228)/(1/4). Suppose -990 = -i*j - o, 46*j - 4*o + 330 = 47*j. Is 331 at most j?
False
Let l(m) = 2*m**3 + 13*m**2 - m - 33. Let o be l(-6). Does -9 = o?
False
Let k be -680*(12/(-8))/(225/20)*3. Is k greater than 18?
True
Let f(j) = -j**2 + 7*j - 8. Let c be f(3). Let s be 11820/90*(-2)/c. Which is greater: s or -67?
s
Let f = -129261/17 + 7599. Is -6 greater than f?
False
Suppose 2*g - 2*r - 223 + 21 = 0, g + 2*r = 113. Let m be 325/g + 6/(-2). Suppose 5 + 4 = 9*i. Which is smaller: i or m?
m
Suppose 4*b = 3*b + 1. Let a(p) = -379*p - 2. Let x be a(-3). Let j = x + -19301/17. Which is smaller: b or j?
j
Suppose 26*q + 6*q = -5504. Let p be (-12)/105 + (9 - q/(-20)). Is -3/398 > p?
False
Suppose t = 25*d - 26*d - 4, -t = -2*d - 11. Let m be (4 - 2) + (-4685)/325. Let v = 62/5 + m. Which is smaller: v or t?
v
Suppose 0 = 368*d + 214146 - 817666. Which is smaller: 1639 or d?
1639
Let y(d) = d**3 - 14*d**2 - 2*d + 32. Let q be y(14). Let s(i) = 2*i**2 - 5*i + 6. Let m be s(6). Suppose 2*j + m = -q*j. Is -6 at most j?
False
Let x = -38.047 + 38. Let w = 0.053 - x. Let l = -12 - -16. Which is smaller: l or w?
w
Let f = 1.04019 + -0.04019. Is f less than -14?
False
Let b be (-5)/(20/48) + -247*36/(-684). Let d = -337 + 4723/14. Which is greater: b or d?
b
Suppose -3*l + 2*y - 5 = 3, -4 = l - y. Suppose 3*f - 3*v - 8 = -5*v, f - v - 1 = l. Let x be (-36)/19 + 3 + -3 + f. Which is smaller: x or -1?
-1
Let f(p) be the second derivative of -7*p**4/12 + p**3/6 - p**2/2 + 4*p + 2. Let l be f(1). Which is bigger: l or -2/5?
-2/5
Suppose 152 = -8*q + 84*q. Does q = 664?
False
Let k = -1.472 - -1.4. Let l = -8476 - -8462.928. Let w = l - k. Is w greater than 0?
False
Let g = 4876 - 6473. Is -1600 less than g?
True
Let a = 6792 - 645258/95. Let r = a + 8936/48165. Are 0 and r equal?
False
Suppose -159*h = -9 + 9. Does -120/313 = h?
False
Let i be 2239 + (2/6 - 80/15). Suppose 6*y + 2414 = i. Which is smaller: 2 or y?
y
Let q be 33/34*40/480. Is q at least as big as -1?
True
Let b = 19 - -18. Suppose 5*g - 32 - b = -3*s, 5*s + 3*g - 99 = 0. Suppose -37 = 6*r - 3*r + 4*m, -4*m + s = -2*r. Is r bigger than -0.4?
False
Suppose 2*z + 2*a = -800, z + 326*a + 391 = 322*a. Which is smaller: -16 or z?
z
Let j = 2/1559520667 - 1797501961263971/341535026073. Let r = -5263 - j. Which is greater: -1 or r?
r
Let y be 26/22 - 4/22. Let p be 734/(-3520) - 489/(-2445). Is y equal to p?
False
Let q = 8 + -6.6. Let m = q + 73.6. Let b = m + -70. Is 6/13 at most as big as b?
True
Let f = -2/66925 - -67087/5420925. Let t be 2/4 + (-2)/(-4). Is f at least t?
False
Let z be 152/(-190) - 2/10. Are z and -1/3928 non-equal?
True
Let x = -138/11 - -147/11. Let j = 0.26 - -167.74. Let o = j + -168. Which is bigger: x or o?
x
Let t = 11122648847086937/408415 + -27233693295. Let m = t + -6/245. Which is smaller: 0 or m?
m
Let r = 6 + -4. Let v be ((-2)/(-6))/(1 - 2/3). Suppose 0 = 15*q + v - 46. Is q equal to r?
False
Suppose 4*u + 6 = 22. Suppose 4*h = b - 128, -u*h - 178 = -3*b - 42. Let n = 96 - 129. Which is greater: n or h?
h
Let f = 617 + -602. Let v be 10/50 + (-2 - (-42)/f). Which is smaller: v or 2/207?
2/207
Let y be 18/(-153) + 5094/(-689316)*-16. Which is smaller: 1 or y?
y
Let f(i) = -27*i**2 - 3*i - 4. Let u be f(-3). Let q = -237 - u. Are -1/8 and q equal?
False
Let j be 24/14*147/(-42). Let b(v) = -v**3 - 7*v**2 - 3*v + 19. Let o be b(j). Is -3 bigger than o?
False
Let l = -6671 - -4556. Is -2116 >= l?
False
Suppose 130 = 18*z + 1624. Let k(u) = -3*u**2 - 4*u + 2. Let w be k(-6). Is w at most as big as z?
False
Let b = 0.013 + -0.073. Let z = 0.02 + b. Let y = 0.2 - 0.1. Which is smaller: y or z?
z
Let k(d) be the second derivative of -d**3/6 + 2*d**2 - 4*d - 1. Let c be k(14). Is c at least as big as -4?
False
Let z = 0.0746 + -245.0746. Let t = -240 - z. Which is greater: t or -2/11?
t
Let l = -14 - -15. Suppose 453 = a + 125. Let f be (-5*(-8)/60)/(a/12). Is l at most as big as f?
False
Let n = -9703/2 + 4893. Is n at least as big as 41?
True
Suppose y - 20 = 4*z - 2, 0 = 5*y - 5*z - 45. Let x be 38/(6/y - 14/18). Let a = x - 8553/50. Are 1 and a equal?
False
Let q = 126.3 + -121. Let a = 5.4 - q. Let i(g) = g**2 + 3*g - 3. Let f be i(-4). Which is smaller: f or a?
a
Let p be (2 - 2250/189) + -13. Is -24 at most p?
True
Let k be -13 + (-5759)/(-195) + -2. Is 15 greater than k?
True
Let s = 6 + 7. Suppose 11 = 4*l - s. Suppose l*i - i = -5. Which is smaller: i or -2/55?
i
Suppose 5*w = 4*m - 104, -m = -0*m - 5*w - 26. Suppose u + m = 26. Is 1/54 greater than u?
True
Let b(l) = -l + 17. Let w(k) = 3*k - 33. Let o(t) = 5*b(t) + 2*w(t). Let y be o(-22). Which is greater: y or -7?
y
Let q be 1716/902*6*1/18. Which is smaller: 0 or q?
0
Suppose 2*y - 27 = -7. Let s(x) = -70*x**3 - 2*x**2 - 3*x - 2. Let m be s(-1). Suppose -73*j + m*j + 36 = 0. Is y smaller than j?
False
Let s(i) = i**3 + 3*i**2 - 5*i - 4. Let o be s(-4). Let v be (-11)/(-22)*(3 + 3). Suppose o = 4*c - v*c. Are c and -0.03 unequal?
True
Let g be (28/112 - (-2)/(-8))*-1. Let n be g/(-2)*(-8)/24. Does n = -6/233?
False
Let r = 9 + -11.1. Let h be (5/(-2))/(13/(12 - -14)). Is r < h?
False
Let i(w) = -w**3 + 5*w**2 - 4*w + 6. Let m = -65 - -68. Let q be i(m). Let g = q - 59. Which is smaller: -48 or g?
-48
Suppose 2*g = 4*q, -q + 3 = -3*g + g. Suppose -5*o = 4*h - 54, -h + 5 = o - 6*h. Let k be ((-9)/(-6))/((-85)/o). Is q less than k?
True
Suppose 2*y + 2*s + 126 = 0, 4*y - 34 = 3*s - 300. Let b be (-2)/13 + 965/y. Suppose 2*m - 3*d = -30, 0 = 4*m + 5*d + 10 + 50. Is m <= b?
True
Suppose 0 = -r + 55 - 135. Let j = -402/5 - r. Let v = -559 - -547. Which is smaller: j or v?
v
Let k = -2685 - -2569. Which is smaller: k or 8?
k
Let d(a) = a**3 - 6*a**2 + 6*a - 6. Let k be d(5). Let q be -1 - 0 - 2431/(-2457). Let u = 599/3024 + q. Do u and k have the same value?
False
Let q(u) = 16*u 