j be (4/(-6))/(18/(-173988)*-6). Is -3221/3 greater than j?
True
Suppose 32*l + 5 = 33*l. Suppose -l*f - 114 + 14 = 0. Which is smaller: -102/5 or f?
-102/5
Let i be ((-49099)/(-9819))/1 - (9 - (40 + -36)). Which is smaller: 0 or i?
0
Let t = -3.6712 + 0.0312. Let f = -3.1 - t. Which is greater: f or 1?
1
Let g = -139353878/99669 - -3/66446. Which is smaller: g or -1397?
g
Let s = 40 + -37. Suppose -s*j = -2*j - c - 32, 0 = -5*j - c + 148. Suppose -h - j = 36. Which is smaller: h or -65?
h
Let h = -2164 - -2163. Is h at least as big as 0.846?
False
Let t be ((-6)/(-165))/((-1)/(-15)). Suppose 4*z + m = -420, -4*z + 5*m = z + 500. Let h = -104 - z. Which is greater: t or h?
t
Let q be -6 - (-102 + (-5)/(-1))*(-18)/(-3). Is q != 575?
True
Let v be 2/(-1 + 27/21). Suppose 5*c - 126 + 33 = -2*d, -4*c = -20. Suppose 25 = d*i - 29*i. Is i at least v?
False
Let u = -30 + 34. Suppose -4*o - o = -3*k - 76, 3*o - 63 = -u*k. Suppose -21*l = -o*l - 56. Which is bigger: 16 or l?
16
Suppose 2*s - 4 = 6*s. Let c = 52380 - 12309298/235. Is s at most c?
True
Let t(h) = -h**3 + 6*h**2 + 7*h + 2. Let u be t(6). Suppose 74*x - 3128 - 54 = 0. Which is smaller: u or x?
x
Let r = 759 + -770. Is -196/19 greater than r?
True
Let t be (-4)/26 - -2*4206/53664. Let n be (-8)/(-28) + (-2)/7. Is n <= t?
True
Let m = 0.05265 + 2.87035. Let b = 0.077 + m. Let f = -11 - -23/2. Which is greater: b or f?
b
Let o = -7415 - -7415. Is -6/2135 <= o?
True
Suppose 0 = d - 5*d + 4. Let v = 2836667 - 907708219/320. Let b = 394/5 - v. Does b = d?
False
Let d be (65 - (1 - -1))*(-22)/33. Let m be (-18)/d - (440/(-84) + 5). Which is greater: m or 53?
53
Let j = -5 + 9. Let v(t) = -46*t - 45*t + 84*t - t**2 - 13. Let d be v(-3). Which is smaller: j or d?
d
Let k(h) = -19*h - 116. Let y(j) = -19*j - 117. Let x(q) = -4*k(q) + 5*y(q). Let c be x(-13). Is 127 equal to c?
False
Suppose -22*s = -16 - 94. Suppose s*p = 9*p + 88. Which is smaller: p or -5?
p
Let v be (10/(-4))/(84/16). Suppose -11715*s = -11445*s. Which is smaller: s or v?
v
Suppose -5*k + u + 18 = 0, 0 = 4*k + u - 6 - 12. Suppose 0 = -5*a - p, k*p = 2*a + 2*p. Let m be 0 + (-4 - 0) + a. Which is smaller: -5 or m?
-5
Let i be (-2)/(-4)*(4 - 0). Suppose 3 - i = q. Suppose 2*o - x - q = -0, -5*x - 12 = -3*o. Is o > -2/9?
False
Let m be 6/4 - 12/(-8) - 3. Suppose m = -5*a - n + 160, 2*a = -2*n + 13 + 43. Let v = -23 + 56. Is v less than a?
False
Let b(t) = 2*t + 16. Let k be b(-8). Suppose -h - 6*h - 1659 = k. Let m be 4/20 + h/35. Is -6 < m?
False
Let m be ((-1)/(-2)*-4)/(17 - 24). Is 862 > m?
True
Suppose -5*y + l - 41 = 0, 3*l + 15 = 3. Let z be -2*18/(-24)*(-6)/y. Let c be (-1 + (-244)/(-8))/(z/(-2)). Is c greater than or equal to -59?
True
Let p = 2.412 - 3.412. Which is smaller: p or 5/47?
p
Let p = -29535911/642960 + -4/40185. Is 1/4 less than p?
False
Let u be 1/(1280/(-1284) - -1). Suppose w + u = -5*c + 881, 4*w + 336 = 3*c. Let m be 9/(7/(c/(-12))). Is -11 <= m?
False
Suppose -72 = 8*c + 4*c. Let z be 2*c/150*5. Let g be -1*(-3)/6 - (-35)/(-14). Which is greater: g or z?
z
Let u(c) = c**2 - 15*c + 38. Let r be u(13). Suppose -13*b + r*b = 0. Let h = -66925/23 + 2909. Is b less than h?
False
Let m = -65372/163 - -85119913/212715. Let j be (-7839)/(-1305) - (1 - -5). Let f = j + m. Are f and 0 nonequal?
True
Suppose 18*y + 5215 = 23*y. Let g = y + -10439/10. Let l(u) = u**3 - 3*u**2 - 5*u + 3. Let m be l(4). Are m and g non-equal?
True
Let h be (-1 + (-17)/(-8))/(-21092*(-12)/(-64)). Does 1 = h?
False
Let v = 28091 + -139458/5. Is 199 greater than v?
False
Let h(y) = 23*y**2 + 4*y + 18. Let s be h(-4). Let j = 370 - s. Is -2/169 smaller than j?
True
Suppose -11*n + 6840 = 4*a, a - 3*n = 3*a - 3430. Which is smaller: a or 1726?
a
Let o(k) = 292*k**2 + 45*k + 120. Let q be o(-3). Is q at most 2612?
False
Let s be (0 + 732)*(2 - 69/30). Let t = s + 220. Is -173 > t?
False
Suppose 0*p - 3*i - 946 = 2*p, 0 = -p + 4*i - 451. Let a = 466 + p. Let w = -8.066 - -8. Is w bigger than a?
True
Let w = -103075/2 - -579590731/11246. Which is bigger: 0 or w?
w
Suppose 84*k = s + 83*k - 1, 3*s + 11 = -4*k. Which is smaller: -1/122 or s?
s
Let t = -401 + 401. Does t = 0.11?
False
Suppose -r + m + 831 = -0*m, -2*r + m + 1658 = 0. Let y = -2482/3 + r. Let j = 25 - 27.1. Is j bigger than y?
False
Suppose 23*k - 5*u = 21*k + 441, u - 224 = -k. Suppose -i - c - 56 = 0, -5*c - k = -4*i + 8*i. Is -56 smaller than i?
False
Let u = -118 - -120. Suppose 29 = -u*i + 27. Let b = 555353/1005 + -2763/5. Does b = i?
False
Let y(o) = -2*o**2 - 183*o + 100. Let z be y(-76). Are z and 2456 equal?
True
Suppose -j - 2*u = 0, 0 = 2*j - 2*u - 0*u + 12. Let o = 1.21674 + -15.21674. Which is smaller: j or o?
o
Let i be 115/(-15)*18*-1. Let o be 11/i - 10/60. Let c = 11 - 10. Which is smaller: o or c?
o
Suppose 0 = -3*r - 5*o + 8, -3*r - 4*o = -8*o + 28. Let g be 36/(-45)*(-3690)/36. Which is greater: g or r?
g
Let w = 240.0401 + -0.0401. Let z = -261 + w. Does z = 0.11?
False
Let v be 6/(-21) - 188/(-462). Suppose 13*k - 55 = 8*k. Suppose -5*y - 17 = -3*p, -4*p + k*y - 6*y = -16. Which is smaller: p or v?
p
Suppose 20*p = 28*p - 432. Suppose 338 = -4*k + p. Which is smaller: -70 or k?
k
Suppose 4*k + 56 = -5*o, 0 = 447*k - 442*k + 5*o + 70. Is -392/29 greater than k?
True
Suppose 4*i - 68 = -3*a, -3*i + 25 + 21 = a. Let z be (-6)/12*(30/i + 1). Is z != -2?
True
Let r = 79378/51375 + -223/137. Is -1 smaller than r?
True
Suppose -2*p - 3*g + 216 = 802, 5*p + 2*g + 1443 = 0. Which is bigger: -2008/7 or p?
-2008/7
Let v be 32/48*(-390)/(-4). Is 88 >= v?
True
Suppose -14 - 40 = -9*k. Let n be (4 - k) + 1 - -9*2. Let b be (1 + 2)/6*36. Which is bigger: n or b?
b
Let a = -22 + 15. Let h(r) = 35*r + 19. Let x be h(-1). Let j = x - a. Is j <= -13?
False
Let z(h) = -h**2 - 4*h + 18. Let x be z(-8). Suppose -c = 2*o + 8, 5*o + 39 = 14. Let m(n) = -6*n. Let q be m(c). Which is smaller: x or q?
x
Suppose -5*p + 4249 = -2*d - 3746, 3*d = -4*p + 6396. Is 1598 at least p?
False
Suppose b + 79 = 11*n - 9*n, 230 = 5*n + 4*b. Suppose -z + 8 = -n. Which is smaller: 47 or z?
47
Let y = 120 - 64. Suppose -13*h - y = -30. Which is bigger: 3 or h?
3
Suppose 4*x + 12 = -a, 5*x + 7 = -8. Suppose -2*u + 29 = 3*b, -u = -4*b - 0*b + 13. Suppose r - 6 = u*r. Which is bigger: r or a?
a
Suppose -705 = -25*s + 3220. Suppose -2*j - 155 = -s. Let d = 111 - 3664/33. Do d and j have the same value?
False
Suppose -f = 2*f - 4*p - 551, 2*p - 742 = -4*f. Let j = 128 - f. Are 0.2 and j equal?
False
Let j be -4*((-27)/(-4))/27. Let c be 112/(-192)*(-2)/14. Do c and j have the same value?
False
Let v be (-32 - -30)/((-2)/9). Let h(m) = -6*m + 14 + 1 - m**3 + 8*m**2 + 5*m. Let f be h(v). Is f greater than or equal to -75?
True
Let c(b) = b**3 + 19*b**2 - 21*b - 38. Let f be c(-20). Let o be (63/f + 5)*8/(-6). Which is bigger: -130/7 or o?
o
Let i(h) = -6*h - 476. Let d(q) = -q - 159. Let n(x) = 17*d(x) - 6*i(x). Let r be n(-8). Is -16/33 equal to r?
False
Let w = 2468 - 2467.87. Is -3/10 > w?
False
Let m = -3113677/2132 + 18981/13. Let x = m - -5/41. Which is smaller: -1 or x?
-1
Let m(g) be the second derivative of g**4/12 + g**3/2 + 5*g**2/2 - 7*g. Let k be m(0). Suppose k*n - 8 - 1 = 4*w, 6 = -4*w + 2*n. Is -1/54 < w?
False
Let x be (31/15 - 2)*-8. Let a = 0.014452 - -0.085548. Is x bigger than a?
False
Let r be (-7 + 122/17)/(-1). Suppose -1 - 1 = -2*c. Is r at most as big as c?
True
Let w = -71 - -77. Suppose -9*s = w - 15. Let d be (-2)/6 + 21/117. Which is bigger: d or s?
s
Let z = -643 + 642.9. Do 0.135 and z have different values?
True
Let a be 15/(-117) - 2/(-3). Let y be 10/6 + 3 + -12*(-2)/(-9). Which is smaller: a or y?
a
Let u be (5 - 2 - 2)*1. Let b = -5073 + 360177/71. Is b bigger than u?
False
Let v = -65 - -53. Let u = -18 - v. Let a = 5.8 + u. Is a not equal to 31/5?
True
Let a = -248620 - -248616. Let s = 0.19 - -1.41. Which is bigger: s or a?
s
Let z(c) = -14*c - 126. Let w be z(-9). Let t(a) = a**2 - 6*a - 6. Let s be t(-5). Suppose -51*r + s*r + 50 = w. Is 25 at most as big as r?
True
Let c = -192065/53084409 - -16/4529. Which is smaller: -0.1 or c?
-0.1
Let y(v) = 2*v**2 + v + 1. Let w(a) = 5*a**2 + 33*a + 7. Let i(d) = -w(d) + 3*y(d). Let c be i(28). Is -58 > c?
True
Suppose c = 