2/13?
True
Suppose 9*t + 35 = -1. Is t <= -64?
False
Suppose 0 = m + 1 - 5. Let x be (9 + m)/((-2)/(-8)). Is x equal to 53?
False
Let f = -417658/7 + 59407. Let y = 258 + f. Let m be 1 - (-4)/(-3)*1. Is y bigger than m?
False
Let j = -21055/4222107 + 1/10323. Which is greater: j or -1?
j
Suppose 0 = 5*g - 2*g + 2*j + 9, 4*j = 0. Let c be ((-1 - -1) + 2)/(35/(-28)). Do c and g have different values?
True
Let n = -16 - -16. Let y(t) = -t**3 - 4*t**2 - 3*t + 3. Let d be y(-3). Let u be (d - (-22)/(-6)) + (-3 - -3). Is n greater than or equal to u?
True
Let x(r) = -r**3 + 12*r**2 - 9*r - 25. Suppose -4*u + 2*m + 29 = 7*m, 5*m = -3*u + 18. Let j be x(u). Which is bigger: -11/3 or j?
j
Let y(u) = -u**2 + 16*u + 79. Let p be y(20). Which is bigger: -7/169 or p?
-7/169
Let w(g) = g**2 - 3*g - 5. Let b be (6/(-1))/(6/(-4)). Let c be w(b). Let o(p) = -p**2 + 7*p - 7. Let q be o(6). Is c greater than q?
False
Let l = -2.55 + -35.45. Does -1 = l?
False
Let a be (4/(-6))/((-2)/(-21)). Let u = -7 - a. Suppose 0 = -y - u*y. Which is bigger: 1/3 or y?
1/3
Suppose 0 = -c - c - 6, 0 = -3*v - 4*c + 72. Suppose -v = -2*i - 2*i. Let s = -6 + i. Which is greater: s or -1?
s
Let t = 15558/17 + -913. Is t > 3?
False
Suppose j = 5*d - 345, 6*d - 219 = 3*d + 3*j. Which is bigger: 208/3 or d?
208/3
Let w = -46 + 46. Let g(o) = -4*o - 4*o + 4*o + o + 1. Let f be g(w). Is 3 less than f?
False
Let o be (-22)/36 - 0 - (-36)/54. Let h be (-22)/(-33) - 1/(-3). Which is greater: h or o?
h
Suppose -21*m = -17*m - 420. Which is smaller: 106 or m?
m
Let b = 37 - 24. Let i(f) = -f**3 - 4 - b*f**2 + 4 + 14*f + 1. Let z be i(-14). Which is greater: z or 2/33?
z
Let c(f) = f + 11. Let b be c(-6). Let z = b - 11. Let x = 90 + -189/2. Which is smaller: x or z?
z
Let y(o) be the third derivative of -o**4/12 + 14*o**3/3 - 34*o**2. Let m be y(13). Does m = 4?
False
Suppose -5*l + 17 + 128 = 0. Let m = 30 - l. Let a = -6 + 6.3. Is a < m?
True
Let r = -44 + 23. Let o be (-6)/r + (-136)/(-14). Let a = o + -12. Which is smaller: a or -7?
-7
Let l be (34/85*-15)/((-3)/4). Is -42/11 smaller than l?
True
Let a(h) = -h**3 + 11*h**2 - 2*h + 8. Let k(x) = 13*x**2 - x - 3. Let q be k(-1). Let l be a(q). Are -15 and l equal?
False
Suppose 0 = 14*v - 21*v - 28. Let b be (v/1480)/((-2)/(-8)). Which is smaller: 0 or b?
b
Let o = -7.2 + 7. Let v = 0 + -0.4. Are o and v non-equal?
True
Let b = -102 + 329. Let z = b + -160. Which is bigger: z or 68?
68
Suppose -f + 32 = -2*f. Which is bigger: -153/5 or f?
-153/5
Suppose 7 = w - 2. Let t(p) = 16 + p**3 + 0*p**2 - 17 + 0*p**3 + 4*p**2. Let s be t(-3). Is w greater than or equal to s?
True
Let r = 5.94 + -6. Let t = -18 - -18.94. Let d = t - r. Is -2 equal to d?
False
Let c(s) = s**2 + 8*s + 18. Let n = 29 - 33. Let i be c(n). Let d = 4 - -1. Which is greater: d or i?
d
Let h = 32.5 - 42. Let o = -0.14 - -10.14. Let j = o + h. Is 1/2 greater than or equal to j?
True
Let m = 8 + -7. Let y(f) = 3*f - 9. Let z be y(6). Let k = z + -8. Are k and m equal?
True
Suppose -5*w = -4*w, 2*w + 400 = 5*a. Is a at most as big as 0.2?
False
Let l(h) = -h**2 + h + 114. Let y be l(-11). Suppose 0 = -4*v - 4*s + 2336, 3*v - 4*s - 1070 = 689. Let g be 4/y - (-364)/v. Is g > 0?
True
Let j = 69 + -755/11. Which is bigger: 5 or j?
5
Let p be (-1 - (1 - (-1982)/(-282))) + -5. Is 0 < p?
True
Let y = -17/26 + 33/130. Which is bigger: 13 or y?
13
Suppose 0 = 4*m - 25 - 11. Let t = -4 - -1. Let y be (t - 2)*(-27)/15. Does m = y?
True
Let b = -5 + -1. Suppose 2 = -2*r - 2*l, 0 = 2*r - 3*r - 4*l - 13. Suppose 7 = r*s + 28. Is b at least s?
True
Let h = -114 + 211. Is h bigger than 2?
True
Suppose 5*v + 2*q - 439 = 6*q, 2*v = q + 178. Let o = -90 + v. Let m = -1/11 + 13/22. Is m >= o?
False
Let s = 118 + -92. Do 0.1 and s have the same value?
False
Let u(d) = -3*d**2 - 33*d. Let l be u(-11). Which is greater: l or 6/187?
6/187
Suppose -2*y = y - 6. Let x = -1 - y. Let g = 1 - x. Are 4 and g unequal?
False
Let z = -3.88 - -5.88. Are z and 38 non-equal?
True
Let x = -696 - -844. Which is greater: x or 5?
x
Let c be (-3 + 2 + -1)/(6/(-63)). Which is smaller: c or 23?
c
Let f(i) = -3*i - 24. Let m be f(-9). Suppose -4*k = -3*z + 20, -m*z + 0*z - k = 5. Is z at least 20?
False
Let k(f) = 10*f**2 - 55*f + 11. Let u be k(6). Is u at least as big as 35?
True
Let s = 951 + -951. Which is smaller: s or -36/43?
-36/43
Let k(o) = -o**3 + 9*o**2 - 8*o + 2. Let b be k(8). Let p be 18/6*b/9. Which is smaller: p or 3/4?
p
Suppose -47 = -4*s - 4*m + 33, 3*s - m = 76. Are s and 24 nonequal?
False
Let u be (-3 + 2)*-1*-1. Let p be 1 - (u - 12/(-3)). Let d = 306/5 + -3376/55. Is d greater than p?
True
Suppose 32*w = 31*w + 34. Is 35 greater than w?
True
Let i be (-617)/(-812) + (-18)/24. Let s = 424/1827 - i. Is -1 at most as big as s?
True
Let k = 418/13 + -162576/5057. Is k greater than 1?
False
Suppose 4*w - 5*v - 116 = -v, -2*w - 3*v = -33. Let a be 1/3 - 32/w. Which is smaller: -9/8 or a?
-9/8
Let l = -448 + 501. Which is greater: 267/5 or l?
267/5
Let m(s) = s**2 - 24*s - 392. Let j be m(-12). Which is bigger: 10 or j?
j
Let r = 124 + -102. Suppose 0 = -26*k + r*k + 48. Is 10 less than or equal to k?
True
Let t = 4.66 - 5.96. Let s = 1 + -2. Which is bigger: s or t?
s
Suppose -5*n + 124 = 4*k + 133, -2*k - 2 = 0. Is 14/209 <= n?
False
Let h(r) = -3*r + 3. Let c be h(0). Let k(t) = -t**3 + 2*t**2 + t + 5. Let m be k(c). Let y be ((-3)/(-9))/(23/6). Which is smaller: y or m?
m
Let b = -1410 + 1240. Is b at least -168?
False
Let t = 658 + -647. Which is smaller: 31 or t?
t
Suppose -4*g = 0, g + 0*g + 6 = -3*p. Let a = 116 - 105. Suppose 0 = 2*r - 0*r + 5*f - 26, 5*r = f + a. Is r > p?
True
Let f(p) = 43*p + 213. Let m be f(-6). Is -2/7 equal to m?
False
Let s = 0.011 + 0.089. Let b = -2 - -13. Is b less than s?
False
Let q = 588 - 588. Is -15/49 < q?
True
Suppose -3 = -14*d + 17*d. Let m be (-3 - -22) + (-1 - d). Let u = m + -21. Which is greater: u or 1?
1
Let z be (0/(-7))/(-2 + 3). Suppose z = 4*p + 13 - 5, -5*p = i + 13. Is -15/4 at least as big as i?
False
Let i = 2 + -1.5. Suppose -5*q + 7*q = 6. Suppose 0 = x - q - 1. Which is greater: i or x?
x
Let s = -13.5 + -37.5. Let t = s - -50.9. Which is greater: t or 48?
48
Let r = 33.54 + 2.46. Which is bigger: r or 0?
r
Let i(t) = -56*t + 7. Let x be i(2). Let h = x + 161. Do h and 55 have the same value?
False
Let b be (-100)/150 + ((-165)/63 - 6/(-21)). Let v = -13 - -21. Is v less than b?
False
Let q = -4967 - -64634/13. Let d = -2948/611 + q. Which is bigger: -1 or d?
d
Let p = 23 + -36. Let a = 9 + p. Let l = 0.02 - 0.02. Which is smaller: a or l?
a
Let m be (-35)/(-2)*(-2)/15*-132. Which is bigger: m or 307?
m
Let d be ((-226)/(-4))/((-244)/(-24) + -10). Is d < 339?
False
Let s = 854.012 - 854. Is s smaller than 0?
False
Let f = -236 + 240. Are f and -7 equal?
False
Let l = -67.6 + 74. Let j = 6.8 - l. Are j and 1.2 non-equal?
True
Let s = -0.024 + -20.976. Let h = 11 + s. Let u = h + 10. Which is bigger: u or -3?
u
Let m = -1530 + 1364. Which is smaller: -165 or m?
m
Let l be 4/(-8)*1*1200/102. Which is greater: l or -7?
l
Let u be ((-76)/(-32) - 3/8)*-32. Is -324/5 >= u?
False
Suppose 37 - 43 = 2*a, -4*w = 5*a + 63. Let i = -1908 + 7587/4. Which is greater: w or i?
i
Let p = 222 + -201. Let i = -20 + 22. Is i less than or equal to p?
True
Let k(x) = -x**3 + 3*x**2 + 2*x + 3. Let w be k(3). Let g = w - 10. Are g and 1 equal?
False
Let n = -31 + 30.5. Let g = n - 9.5. Is g smaller than 1/5?
True
Let l = 41 - -8. Let t = 53 - l. Which is bigger: 5/2 or t?
t
Let o = 51 + -44. Let z = 6 - o. Which is smaller: z or -1.9?
-1.9
Let t = 141 + -117. Suppose -3*i + 8 = p, 0*i + 4*p + t = 2*i. Is 6 at least i?
True
Let x be ((-8)/20)/((-4)/(-10)). Let g be 78/(-15) + (-2)/(-10). Let y be 2/10 + g/(-25). Which is bigger: x or y?
y
Let s = -1875 + 1959. Is 83 greater than s?
False
Let u = -19 - -19.1. Which is smaller: -8/11 or u?
-8/11
Let c(z) = -z + 21. Let x be c(22). Is x less than -2/989?
True
Let n = -3 - -8. Suppose 0 = 5*z + n*y + 5, -3*z + y = z - 11. Suppose 30 = -z*j - 3*j. Is j bigger than -7?
True
Let g(d) = d**3 - 16*d**2 + 27*d + 13. Let l be g(14). Is 2 at most l?
False
Suppose 17*q = -185 + 66. Let s = -595 - -1768/3. Is s less than q?
F