or 19/11?
l
Suppose 2*k = -k. Suppose 10*b = 12*b - 12. Suppose 2*a - b*a - 13 = -o, -2*o = -a - 12. Is o at least as big as k?
True
Let c be (9/3132)/((-4)/9). Are 0 and c unequal?
True
Suppose -4*z = -3*z. Let m = -69328/45 + 4624/3. Let b = m + -2/45. Is b > z?
True
Suppose -4*k + 3*n + 54 = 0, 3*k = -n + 4*n + 42. Suppose 308 = 2*x + k*x. Do x and 19 have the same value?
False
Let h = -8 - -7.95. Let k = -0.01 + h. Let s = k + 1.06. Is s <= 0.03?
False
Let u = 1.784 - 2.284. Which is smaller: 177 or u?
u
Let w be (-48)/22 + -1*(-2 - 0). Is w >= -10/11?
True
Suppose -2*z + 4*j = -26, -j + 0*j = -2*z + 14. Suppose -z*g - 1 = -16. Suppose g*i + 0*i + 27 = 0. Which is smaller: i or -10?
-10
Let r = 51.246 - 33.267. Let z = r + -18. Is z at most -1?
False
Let y = -48 - -19. Let w be (-12)/(-3) - y*2. Suppose 7*t + 50 + w = 0. Which is smaller: t or -17?
-17
Let p(h) = 2*h**2 - h - 2. Let i be p(3). Suppose -a - 2*g - 6 = -2, -2*a + 3*g = -i. Suppose -r + 3*k = -0*k - 10, -a*k + 20 = 2*r. Is r at most 8?
False
Let n = 0.01 + -0.31. Let w = n + 1.3. Let z = 67 + -69. Does z = w?
False
Let u be ((-1098)/(-915))/((-7)/(-50) - -1). Which is smaller: 2 or u?
u
Let d be 3/6 + 1/(-2). Suppose 13 = 3*u - 92. Let a be (-2)/(-7) + 5/u. Which is smaller: a or d?
d
Suppose -16*x - 269 - 259 = 0. Does -31 = x?
False
Suppose 3*k - 3 = 0, -3*o - 2*o - 2*k + 32 = 0. Suppose -x = 2*x + o. Let l = -4 + 4.4. Is x equal to l?
False
Let z = 123 - 367. Let d be (4 - z/(-62))/1. Which is bigger: -1 or d?
d
Let g = -1.54 - -0.24. Let u = -4.8 - g. Let j = u + 2.5. Which is smaller: 13 or j?
j
Let c(q) = -59*q + 929. Let t be c(16). Which is smaller: t or 0.06?
t
Let f be (-2)/6 + -6 + (-22791)/(-3600). Which is bigger: -1 or f?
f
Let j = 623 - 622. Which is greater: -0.44 or j?
j
Let o(m) = -m - 6. Let s be o(-8). Suppose 37 = -5*h - 3*f, -3*h - 4*f - 22 = -s*f. Let u be 27/(-18)*h/54. Which is greater: u or -0.2?
u
Let i = -1/564 + 859/7332. Let v = i + 7/52. Which is bigger: 0.5 or v?
0.5
Let c = 24.2 + 0.8. Let s = c + -25.5. Which is smaller: 2 or s?
s
Let t be (-74 + -1)/5*(-6)/234. Which is greater: t or 0?
t
Let x(h) = 30*h + 108. Let u be x(-4). Which is bigger: -17 or u?
u
Let g(w) = -w**2 + 5*w - 12. Let a be g(3). Let p be (-4)/18 - 83/(-9). Let y be (p/6)/(a/(-8)). Which is bigger: 6 or y?
6
Suppose -4*y = -5*c - 7*y + 25, 19 = -3*c + 5*y. Suppose -c*k + 6 = -10. Let m = 23/3 - k. Which is greater: m or -9?
m
Let n(b) = b**2 + 4*b + 1. Let s be n(-4). Let k be (6 - -13 - (-1 + s))*1. Is 20 less than k?
False
Let k = -6 + 11. Let c be 3*(-228)/(-90) - 4/(-10). Is k < c?
True
Let p(t) = t**2 - 8*t + 6. Let j be p(6). Let q(a) = a**3 + 11*a**2 - a - 16. Let k be q(-11). Which is smaller: j or k?
j
Let t = -2.4 + 2.4. Let c = -0.02 - t. Let y = -3.98 + c. Which is smaller: 4 or y?
y
Let b(l) = -l**2 - 4*l + 13. Let f be b(-6). Let z be (-504)/70*(-378)/20. Let y = -136 + z. Which is bigger: f or y?
f
Let g = -0.45 - 7.55. Let s = g - -8.4. Which is bigger: -0.2 or s?
s
Let x(u) = 11*u - 3. Let r be x(6). Suppose r*j + 62 = 65*j. Is j > 31?
False
Let a = 0.0008 - -5.9992. Is 1/2 > a?
False
Let s(o) = -o**2 + 16*o - 15. Let f be s(15). Suppose 3*h = 2*k + h - 18, f = 4*k - 3*h - 34. Let c be -2*(-1 - 14/4). Is c equal to k?
False
Let v(m) = m**3 + 13*m**2 + 16. Let j be v(-13). Let a = 49 + -32. Is a > j?
True
Let z = 655/78 - 107/13. Which is smaller: z or 2/135?
2/135
Let z(o) = 7*o**2 + 3*o + 7. Let q(a) = -15*a**2 - 5*a - 15. Let v(n) = 4*q(n) + 9*z(n). Let m be v(-6). Let l be m/18*-2 - -3. Which is greater: l or -6?
l
Let w be 0 - ((-69)/12 + 3). Suppose 10*x - 8*x - 4 = 0. Suppose 4*l + 2*q = 20, 0 = -x*l - 3*q - q + 22. Which is smaller: l or w?
w
Suppose -6*d + 6 + 12 = 0. Suppose -x + b = -4, 5*x - d*x + 4*b = -22. Which is smaller: x or 1/142?
x
Let c = 12 + -12.07. Let r = 4.93 - c. Is 0 > r?
False
Suppose -k = 4*a + 22 - 1, -4*k - 29 = 5*a. Let h(l) = l**3 - 13*l**2 + 15*l - 12. Let b be h(10). Let c be -1 + -3 + (-1)/(39/b). Which is greater: k or c?
c
Suppose 2*h + 6 = 5*l, 0 = -4*h + 5*h + 2*l + 21. Let d = 8 - 9.2. Let v = -1.2 - d. Which is bigger: v or h?
v
Let i be 32/(-176) + (-1280)/(-2805). Is i equal to 0?
False
Let z = 120.63 - 126.4. Let m = z + -0.23. Which is smaller: m or -2?
m
Suppose 24 = a + 2*t + 2*t, -2*t - 96 = -4*a. Let n = -17 + a. Suppose d = -9 + n. Is -3 <= d?
True
Let u(a) = 158*a - 2. Let r be u(3). Let l = 173 - r. Let f = l + 3885/13. Do 1 and f have the same value?
False
Let p = -18.1 - -0.1. Let h = p - -18. Let d = -1 + 0.4. Which is greater: d or h?
h
Let i = -0.42 - -0.52. Which is smaller: 4.6 or i?
i
Let j = -1853 + 1818.2. Do -2/3 and j have the same value?
False
Let q(j) be the third derivative of -j**4/24 - j**3/6 - 32*j**2. Suppose -s = -3*s + 5*k - 1, s + 2*k + 5 = 0. Let o be q(s). Is o at most as big as 3?
True
Let q be 208494/(-260) + (-6)/(-15). Does -803 = q?
False
Suppose 4*t + 0*f = 5*f + 5, 0 = 3*t + f + 1. Suppose 4*x + x + 280 = t. Let s be 49/x*(-4)/14. Which is smaller: 1 or s?
s
Suppose 0 = -5*g - 4*t - 40, -4*g - 4*t + 0*t = 36. Is g > 6?
False
Let m = 12 + 8. Let s = m + -21. Which is bigger: -9/4 or s?
s
Let x = 0.76 + 0.24. Is 131 >= x?
True
Suppose 43*r - 49*r = 144. Let j = -10 + -15. Is j less than or equal to r?
True
Suppose 0 = 4*w + 14 + 10. Let r = -12 - w. Let x(q) = q**2 + 7*q - 5. Let m be x(-7). Which is bigger: m or r?
m
Let v be 15/(-5) - (-7 + 7). Which is smaller: -44/17 or v?
v
Let h be (-3)/260*-6*1240/96. Let v be 10/3*(-6)/(-26). Let z = h - v. Is -1 less than z?
True
Let a = -0.196 - 0.091. Let g = a - 0.043. Let p = g - 10.67. Which is greater: -1 or p?
-1
Let d(v) = -29*v - 261. Let h be d(-9). Is -2/799 bigger than h?
False
Let y = 29.4 + -1.4. Let a = y + -29. Is a >= 1/21?
False
Let j = -5050 - -5050. Let n(f) = 7*f - 1. Let z be n(-6). Which is greater: z or j?
j
Let k(r) = -5*r + 7 - r**2 - 4*r + 2. Let q = 51 + -61. Let o be k(q). Which is smaller: 2/5 or o?
o
Let w be 72/(-1776)*(-8)/(-6). Let o(f) = -f**2 + 7*f + 8. Let k be o(8). Which is smaller: w or k?
w
Suppose -9*m - 112 = -2*m. Let a = m - -18. Do a and -1 have the same value?
False
Let j be ((-12)/(-18))/((-10)/6). Let v = -9.51 + -0.57. Let t = -10 - v. Is t bigger than j?
True
Let n be 1*(-6)/(6 + -5) + 135. Is n <= 129?
True
Suppose y - 3*y = 4*q + 12, 5*y - 4*q = -16. Let i(s) = -3*s - 8. Let z be i(y). Let t = z + -3. Which is smaller: 5 or t?
t
Suppose 3416 = 13*p - 471. Is p bigger than -1?
True
Let m(z) = -21*z**3 + z**2 + 18*z - 6. Let d be m(-5). Let r = d + -687024/269. Is -1 at most r?
True
Let g = -289.9 + 290. Is 1/57 <= g?
True
Suppose -4 = -2*r + 4. Suppose -r*b + 16 = 0, -2*b + 2 = -3*z - 0*b. Let w be (3/33)/(3/z). Is -1 bigger than w?
False
Suppose 5*m + 389 - 1024 = 0. Let q = 135 - m. Do 15/2 and q have the same value?
False
Let i(w) = -w - 2. Let k(o) = o + 3. Let f(a) = 4*i(a) + 5*k(a). Let q be f(-3). Which is greater: 0 or q?
q
Let y(c) = c**2 - 6*c - 15. Suppose 2*k - 3*k + 4*v = -19, -1 = -k - 5*v. Let i be y(k). Suppose 3*f + i = -f. Is -10 < f?
False
Let y = 174.17 + -175. Let v = y - -0.93. Does 27 = v?
False
Let t be (4 - (-4492)/(-780)) + (-15)/(-9). Is t < -1?
False
Let l be 69*(-9)/(-18)*2. Is l at least 69?
True
Let y = -0.0398 + 11.1898. Let z = 11 - y. Let p = z + 2.15. Which is bigger: -1/11 or p?
p
Let j be (-19 - -22)*2/104. Is -1 greater than j?
False
Let l = 1/689 - -678/7579. Is l at most as big as -22?
False
Let t = -9 - -8.9. Is 34 >= t?
True
Let h = 107 + 5. Let i = h - 897/8. Let z = 2 - 1.9. Does z = i?
False
Suppose -5*m = -20, 2*m + 16 = -4*h - 8. Is h <= -7?
True
Let d(n) = n**3 + 37*n**2 - n - 43. Let r be d(-37). Let l be 1/1*(-3 - -1). Which is smaller: r or l?
r
Let r be (-7 - 32021/(-4576)) + 0. Is 1 at least r?
True
Let i be ((-24)/(-10))/(4/20). Let m be 3/(-2) - i/(-8). Let a = 1 - m. Which is bigger: -2/17 or a?
a
Let v = 218.9 - 210. Let w = -115.1 - v. Which is bigger: 1 or w?
1
Let b = 24 - 66. Let k = b - -85/2. Which is smaller: k or 0?
0
Let h be (-2)/4*(-4)/(-2). Let r be ((-19)/1520*68 + 5/4)*-1. Is h equal to r?
False
Suppose -3 = -3*z - 21. Let p be -2*(99/z)/(-3). Let o = p - -12. Which is smaller: o or 1/18?
1/18
Let n = 12 + -7