 = 0.55 - 0.05. Let y = -19 + 19.58. Let l = t - y. Which is greater: 1/3 or l?
1/3
Let u be (-9)/6*(66520/52)/(-5). Let v = 384 - u. Which is greater: v or 0?
v
Let n = 37493/17 - 2205. Is -18 at least n?
False
Let u = -317 - -70690/223. Which is bigger: u or -1?
u
Let h = 2942/15 + -196. Let k = 2.141 + -0.241. Is k <= h?
False
Let c be -2*(-1)/(-2 + 0). Let q be (-3)/4 + (-1)/c. Let z = -439.6 + 440. Does z = q?
False
Let n be (-6)/(-4)*(-10)/(-3). Let x(l) = l**2 + 13*l + 15. Let h be x(-12). Let f(g) = g**2 - 4*g + 3. Let c be f(h). Which is smaller: c or n?
c
Let t(x) = -x**2 + x. Let i(u) = 2*u**2 + 3*u + 3. Let r(m) = -i(m) - 3*t(m). Let a be r(6). Is -2 less than a?
False
Let o = 500.312 - 500. Do 0 and o have the same value?
False
Let k be 44/(-738)*14/4. Let p = 4/41 + k. Is p at least -1?
True
Suppose 8*k - c = 10*k - 8, 16 = 4*c. Which is bigger: -156 or k?
k
Let m be (-6)/27 + (-56)/(-9). Let p be ((-4)/m)/1*-3. Suppose -p*u = 10 + 2. Are -1 and u unequal?
True
Let h = 30121/86664 - -1/3768. Which is smaller: 1 or h?
h
Let v = 12.85 + 41.15. Do v and -7 have the same value?
False
Let p be -64 + -1 - (-10 + (8 - 3)). Which is smaller: p or 2?
p
Suppose -3*n - 23 = -2. Let b = n + 25. Let v be (-10)/6 - 6/b. Do v and -3 have the same value?
False
Let y be (-1 - 10/(-8))/(14/(-28)). Let u = 12/139 + -571/5004. Is y at least u?
False
Let w(l) = 12*l**2 + l. Let h be w(-1). Let m = 0 - -11. Let o = -10 + m. Is h greater than o?
True
Suppose 0 = -407*g + 395*g - 408. Is g >= -229/7?
False
Suppose -4*w = 2*h - 14, w + 16 = h - 0. Suppose n - 1 = 0, 2*n - 1 = -c + 3*n. Which is smaller: c or h?
c
Let d(g) be the third derivative of g**6/120 + 11*g**5/60 + 3*g**4/8 - 2*g**3 + 9*g**2. Let w be d(-10). Let v = 4 - -5. Which is greater: w or v?
v
Let k = -0.06 - -0.051. Let j = -0.001 + k. Which is smaller: j or 0.1?
j
Let n(h) = h**3 - 26*h**2 - h + 29. Let l be n(26). Let z = 15312/4505 - -1/901. Is z >= l?
True
Suppose 6*t + 20 = 2*t, 0 = -5*m - t + 20. Let p be (47*-1)/(2/20). Let q be (8/p)/((-2)/m). Which is smaller: 0 or q?
0
Let o be 4 + (-2304402)/(-513) + -4. Let q = o + -4492. Is 0 greater than q?
False
Let f be 15/12 + 3337/(-2556). Suppose 3*s + 0*s = 0. Which is smaller: f or s?
f
Let i be (-10)/15 + 56/66. Which is smaller: i or 1.3?
i
Let k = 1330.95 - 1365. Let a = k - -34. Which is bigger: a or 0.1?
0.1
Suppose -n - 2*n - 31 = 2*z, 4*z + 102 = 2*n. Let k = z + 23. Is -4/7 < k?
True
Let j = -0.1317 + 0.1617. Let m = 5/142 + 149/3834. Which is smaller: j or m?
j
Suppose 7348 - 2252 = -7*h. Does h = -729?
False
Let q = -0.46 - -0.5. Let w = q + -5.04. Let d be 3/(-3) - 1 - (-11 - -10). Which is smaller: w or d?
w
Suppose 2*f + d = 107, d + 15 = 4*d. Which is greater: -2/7 or f?
f
Let x be ((-446)/110 - -2) + 2. Suppose -5*n = -c - 23 + 17, 3*c + 5*n = 2. Is c greater than or equal to x?
False
Let v = -779.4 - -784. Is -0.1 at most v?
True
Let k be (-42)/(-1197)*(-3)/45. Is -1 greater than or equal to k?
False
Let n = 0.718 - 0.318. Are 1/43 and n equal?
False
Suppose 6*y - 4*y - 6 = 0. Suppose 13*p - 3*p - 60 = 0. Suppose -p*x - 21 = y. Which is bigger: 2/5 or x?
2/5
Let w = -11 - -10. Let s(z) = -8*z - 2. Let x be s(w). Let b be x/(-18)*(0 + -1). Which is smaller: 1 or b?
b
Suppose -3*z + 13 = 2*w - 7, -2*z + 4 = -w. Suppose -z*o + 7 = -m, -o + 3 = -m - 1. Which is greater: o or 2?
2
Let l = -0.39 + -0.61. Let q = l + 1.3. Which is bigger: q or -0.9?
q
Let h = -79 + 53. Let g = 137 + h. Is g bigger than 0?
True
Suppose 0 = 4*z - 4*f + 84, 5*z + 3*f + f + 123 = 0. Let j(q) = -q**2 + 5*q - 4. Let l be j(3). Suppose 2*a = l*c + 5*a + 39, -a = c + 21. Is c smaller than z?
True
Let u(t) = -t**3 + 4*t**2 - 3*t + 20. Let h be u(0). Is 16 < h?
True
Let x be ((-5835)/(-27) - -2) + (-16)/144. Is x > 0?
True
Let i be -2*((297/2)/11)/3. Which is smaller: i or -0.2?
i
Let j be (-4)/(-2) - (-11993)/(-6298). Which is greater: j or -1?
j
Let s(p) = -p**2 + 6. Let v be s(0). Let n be (v/12)/(3/4). Suppose d + 3 + 5 = 5*k, -8 = -4*k. Which is greater: n or d?
d
Suppose 14410 = 385*o - 375*o. Is o > 1441?
False
Let g(n) be the third derivative of n**4/24 + 3*n**3/2 - 4*n**2. Let v be g(-5). Suppose -5*s + 1 = -2*z, 2*s + 0*z - 10 = -v*z. Is s smaller than 6/7?
False
Let a be ((-4)/7)/(18/(-63)). Suppose -4*l + a*l = c - 10, 14 = 5*c - 2*l. Suppose 2*p + 6*y - 2*y + c = 0, -2*p = 5*y + 6. Are p and 0.3 non-equal?
True
Let f = -370/339 + 1982197/4407. Let g = f - 451. Is g at most -1?
True
Let f = 0.1 + -0.06. Let p = -0.283 - -0.143. Let x = f + p. Which is greater: x or -11?
x
Suppose 65*y + 3*x = 63*y, -4*x = 4*y + 4. Which is smaller: y or -39/10?
-39/10
Suppose a + 3 = 0, -5*a = 3*m + 11 - 2. Suppose -2*t + 1286 = -196. Let s = -6661/9 + t. Which is smaller: s or m?
s
Let w(n) = -n**2 + 2*n + 3. Let s be w(-2). Let b = 1 + s. Which is smaller: -22/5 or b?
-22/5
Let f = 53 - 161/3. Let j = 4119 - 4134. Which is smaller: f or j?
j
Suppose 160 = -36*t + 28*t. Is t at least -26?
True
Let s be 527/7*(-7 - -8). Let a = s - 75. Which is smaller: -1 or a?
-1
Suppose 424 = 6*r + 64. Suppose 4*f - f - 183 = 0. Which is bigger: r or f?
f
Let k be 44/8 - 1/2. Suppose -k*g = -4*b + 29, -3*b = -0*b + 12. Which is bigger: -8 or g?
-8
Let n(k) = 4*k + 34. Let v(o) = -2*o - 17. Let p(c) = 6*n(c) + 11*v(c). Let f be p(-9). Which is smaller: 1 or f?
f
Let h be (-1)/((-51)/18 + 3). Let r = -5 - h. Is 1 greater than r?
False
Let f(o) = -o**3 - 19*o**2 + 24*o - 124. Let i be f(-17). Which is greater: -1109 or i?
-1109
Let w be (-11 - -6) + 6 + 0. Let m be 8/10*2/4. Which is bigger: w or m?
w
Let f be (-2)/(-40)*22 - 39/26. Let v = -21/13 + 69/91. Is v less than f?
True
Let m = -0.131 + 0.661. Let y = -1.41 + m. Let d = 0.12 - y. Is -2 at most d?
True
Let t = 234 - 9597/41. Which is greater: t or -1?
t
Let x(t) = -t**3 + 10*t**2 - 4*t - 5. Let h be x(10). Let m = -56 - h. Are m and -12 equal?
False
Let z = 301 + -300.8. Is 0.045 less than z?
True
Let n be (-1)/(-2)*(-1 + 6). Let m(u) = -5*u**2 + 65*u + 73. Let p be m(14). Is p bigger than n?
True
Let u be (-16)/(-3130)*395/(-158). Is -1 less than u?
True
Let j be (2 - (-89)/3)*12/10. Which is greater: j or 37?
j
Let j = -389/6 + 65. Let o = -218.8 - -219. Is o less than j?
False
Suppose 48 = 5*g + c - 20, -5*g + 3*c = -56. Let n be 2/g - (-396)/(-2236). Which is smaller: n or 0?
n
Let y be (-6 + -1)*(-12)/14. Suppose -p - 1 = -y. Suppose 4*u = -3*o + 4, -p*o = 3*u + 2*u. Which is smaller: o or -5?
-5
Let c = -56682 + 624060/11. Is c at least 51?
False
Let h = -2333 + 1062. Do h and -1271 have the same value?
True
Let p = 119 - 134. Suppose -3*r + 4*z - 3 = 30, -2*r = 5*z + 45. Is p <= r?
True
Let h = 0.517 - 0.517. Let g = 6 + -5.76. Is h less than or equal to g?
True
Let o = -126 - -123. Let n(m) = -2*m + 2. Let h be n(-1). Do h and o have different values?
True
Suppose v + 76 = 3*m, -4*m = -2*v + 4*v - 98. Suppose -m = -3*s + 4*s. Which is greater: s or -27?
s
Let r(q) = q**3 - 18*q**2 + 16*q - 19. Let f be r(17). Is -36 equal to f?
True
Let j = -24036/43 - -559. Which is greater: j or 15?
15
Let z(i) = 8*i - 20. Let v be z(4). Which is smaller: 11 or v?
11
Suppose q - 6*q - 4*l = -21, -2*q + 5*l + 15 = 0. Suppose -q*p + 3 + 7 = 0. Suppose 2*m + 2*i = 6, -p*m - i = -3 - 0. Is 1/4 at most m?
False
Let j(w) = -w**3 + w**2 + w - 11. Let v be j(0). Let h be (v/(-10) + -1)/(-2)*-4. Is h at most 1/2?
True
Let i = 784 - 783. Which is greater: -6/109 or i?
i
Let n = 119 - 124. Let h = -15 + 8. Let d be (-1 - -2)*(h + 4). Which is smaller: n or d?
n
Suppose -5*d = -18 + 228. Let a be d/9*(0 - (-3)/(-6)). Is 0.2 equal to a?
False
Let b = 5 + 0. Suppose -4*l - 8 = 0, 0 = 2*t - 5*t + 3*l + 27. Suppose -b*a - 5 = 0, -3*o = -4*a + 3 - t. Is o <= 2/15?
True
Suppose -334 - 813 = -31*l. Is l less than or equal to 35?
False
Suppose 5*o - 84098 = 4*r, -r - o = -6*o + 21032. Let m = r + 1366526/65. Let a = m + -14/13. Is 6 >= a?
True
Let r be (-2)/(3 + (-2 - 3)). Let d(f) = f**3 + 6*f**2 + f + 4. Let q be d(-6). Let y = q - 20. Is y at least r?
False
Let q(f) = 8*f - 2. Let d be q(-1). Let a be (-4)/(-5)*d/(-26). Is a < 1?
True
Let a = -742231348 - -34940540705687/47075. Let s = -5/269 - a. Which is bigger: 1 or s?
1
Suppose 4