et a = -59/10 - -62/5. Is j less than or equal to a?
True
Suppose 2305*d = 2278*d + 124740. Which is smaller: 4619 or d?
4619
Let a(u) = u**3 - 6*u**2 + 5*u + 4. Let v be a(4). Suppose 35 = -0*r + 5*r, 4*r - 216 = 3*o + r. Do v and o have the same value?
False
Suppose 44*l + s - 12 = 41*l, s = -2*l + 10. Which is smaller: l or 57/35?
57/35
Let b = -4018 + 4018.1. Is -930 less than b?
True
Let a be ((-168)/(-70))/(6/(-10) + (-25)/(-10)). Let i be (-3)/(1 + (-10)/4). Which is bigger: i or a?
i
Let x be ((4 - 3)*-11)/(-1). Let j = 288 + -240. Suppose s = 3*n + 2*s - j, -45 = -4*n + 5*s. Is x equal to n?
False
Let c be 3819/(-18) + 27/162. Let s = -209 - c. Which is greater: s or 0?
s
Let v be 39/44 - (-29)/116. Let n = -3581/3190 + v. Is n > 1?
False
Let h = 69237/44355592 + 3/24863. Which is greater: 2 or h?
2
Let z = 2509/70855 - 8/185. Which is smaller: z or -0.2?
-0.2
Let d = 29.05 - 28.95. Which is bigger: 2676 or d?
2676
Let f = -30 + 53. Let b(l) = -l**3 + 22*l**2 + 22*l + 23. Let u be b(f). Let d be (-10)/(-465) - (u + 0). Which is bigger: d or -0.1?
d
Let x = -251 - -239. Let i(u) = -u**2 - 13*u - 6. Let t be i(x). Suppose 4 = -3*p + a, 1 = -2*p - 3*a + 2*a. Is p at least t?
False
Let v be -23 - -690 - (10 - (7 - 2)). Which is greater: v or 663?
663
Let q = -2966 - -608031/205. Which is bigger: 0 or q?
q
Let j = 6.73 + -67.43. Let b = j - -61. Let f be 9/27*1*0/3. Is b <= f?
False
Let z = 36 - 29. Suppose -2 = 4*s - 2*c, -4*s + 2*c - 9 = z*c. Let j be 32/(-6) + s/(-3). Which is smaller: j or -9/2?
j
Let x = -25374 + 134761315/5311. Which is smaller: 0 or x?
0
Let o be (120/21)/(0 + (-22)/49). Let g = -231 - -218. Is o < g?
False
Let h = -0.1 + 0.18. Let z = h - 1.08. Let c = 0.01001 - 7.01001. Which is greater: c or z?
z
Let w = -37.05 + 23.05. Which is smaller: -32 or w?
-32
Let r be (-123)/(-209) - 2778/5093. Which is greater: r or 1?
1
Let w(n) = 2*n - 15. Let q be w(-13). Let a = 45 + q. Let i be a/18 + (-32)/117. Which is smaller: i or -1?
-1
Let g(o) = o**3 + 19*o**2 + 77*o + 106. Let h be g(-15). Is -1503/10 less than or equal to h?
True
Let c = -36 + 10. Let z = 610 - 604. Suppose -10 = -2*i, 2*n + 2*i - 106 = z*n. Which is smaller: n or c?
c
Let w = 1.0538 - -207.5762. Let d = -208 + w. Let a = -423/5 + 85. Is d >= a?
True
Suppose 60300 - 5642 = -15*p - 17462. Is -4808 != p?
False
Let h = 15 - 13. Let m be (11 + -5)*(h/(-2))/(-2). Let b be (-1)/(m/(-9)*19). Which is bigger: b or -1?
b
Suppose 4 = 2*s - 0. Let u be 123/(-666) + s/12. Let h be 0/(-28 + (-527)/(-17)). Are u and h nonequal?
True
Let i be (-1)/(-3) + (264/84)/((-4146)/434). Which is smaller: 1 or i?
i
Suppose 5*u + 131828 = 7*u. Let g = -39877958/605 + u. Let c = 3969/1210 + g. Is c equal to 4?
False
Let w be 4282*(-2)/(-12)*-6. Is w > -4281?
False
Let g = 1969/130 - 153/10. Which is greater: g or 115?
115
Let g be (-54)/45*(-4)/492. Let f(i) = -2*i**3 + 7*i**2 + 4*i. Let b be f(4). Let t(k) = -k**3 - k + 1. Let u be t(b). Are u and g equal?
False
Let q(c) = c**3 - 7*c**2 + 6*c - 7. Let s = 45 - 40. Let k be q(s). Suppose -24*j + 128 - 800 = 0. Is j greater than k?
False
Let i = -10853 + 2561317/236. Is i < 0?
False
Let g(v) = -5 + 47*v + 3 - 16*v. Let s be g(-1). Let p = s + 33. Which is greater: 2/29 or p?
2/29
Let c = -0.163 + -11.687. Let z = -2.85 - c. Which is smaller: z or -1/3?
-1/3
Let d = -1.9022 + -0.0978. Is d smaller than -1718?
False
Let l be (-56)/357*((-65)/13 + (-2152)/(-428)). Is l greater than 0?
False
Suppose -6*w = -10*w - 3*n + 3795, 0 = 5*w + 5*n - 4750. Are w and 945 nonequal?
False
Let o = 34971 - 1433947/41. Is -3 smaller than o?
False
Let i be (-7 - (-15 + 9 - -6))*(0 + 1893). Is -13251 > i?
False
Suppose 5*u = k - 814 - 40, 3*k + 4*u - 2486 = 0. Suppose 10 = 2*r, -4*y + 3*r = 5*r - k. Let a = y + -1439/7. Which is greater: a or -1?
a
Let c be 540/(-174) + (11 - (-12 - -4 - -13)). Which is greater: c or 16?
16
Let p be 0 + 8/(-36) + 37/18. Let r = 12 + -11. Let d = 4 - r. Which is smaller: d or p?
p
Suppose -10 - 8 = 26*l - 70. Let o = 3.2 - -18.8. Which is smaller: o or l?
l
Let w(f) = f**3 + 35*f**2 + 2*f + 77. Let z be w(-35). Suppose -4*d - 6*d = -z*d. Which is greater: d or 36/7?
36/7
Suppose 20 = -q + x, -5*x - 36 = 2*q - 17. Is q less than or equal to -38?
False
Let o = -115.71 - -117.71. Which is smaller: o or -749?
-749
Let j = 602 + -598. Suppose -j*y = 13 - 21. Is y > 29/9?
False
Let z = 10149 - 3293. Is z < 6856?
False
Let b = 240 + -235. Suppose 30 = 5*z - b*v, 5*v + 2 = -23. Is z greater than 16/33?
True
Suppose 0 = 5*m - 0*m - 5, -g = 3*m - 47. Let f = g + -35. Suppose 0 = -6*d + f*d. Is 1/3 >= d?
True
Let f = 256 - 232. Suppose -5*i - f = 251. Is i > 1?
False
Let u = -124 + 125. Suppose 4*r - 13 = -y, 6*r - 3*r - y - u = 0. Let j be -3 + (-4 + -4 + 9)*r. Which is smaller: 2/309 or j?
j
Let n(r) = -r**2 - 19*r - 84. Let a be n(-12). Suppose 347 = -3*x - 17*t + 19*t, -3*x - 4*t - 359 = a. Which is smaller: x or -116?
x
Suppose 2*v + 3*v = -2*a + 4755, -v - 7124 = -3*a. Is 2375 at most a?
True
Suppose -16*u = -309 - 443. Let l = -7 - u. Which is greater: -56 or l?
l
Let b = -28.42 + -4.7. Let n = b - -0.12. Let z = n - -46. Is 0 >= z?
False
Let z = -2 + -6. Let x(w) = -28*w + 55*w + 23 - 24*w. Let a be x(z). Which is smaller: -13/8 or a?
-13/8
Let y be -7 + -1 + 1/(-1). Let s be 21/(-12 - (-22 - -9)). Let c be 7/s + (-15)/y. Is c less than or equal to -6?
False
Let y = 8/5275 - -22191901/15825. Let z = y - 1377. Which is greater: z or 25?
z
Let q be (-4)/(-6)*14/((-224)/(-888)). Suppose -5*s + i + 54 = -30, -3*i = 2*s - q. Is 16 > s?
False
Suppose 0 = -c + 5*c + 296. Let n = -18857 + 18784. Which is greater: n or c?
n
Let a be -1 + 4 + -11 + 165/11. Suppose a + 223 = -23*w. Is w at most as big as 2?
True
Let k = 71 - 51. Let h(l) = l**3 - 5*l**2 + 7*l - 8. Let r be h(4). Suppose k = 4*t + 4*p + 4, 5*t - r*p - 56 = 0. Is t greater than 47/5?
False
Let t = -324 + 1618/5. Is t equal to 5/149?
False
Suppose 0 = -4*o - 0*o + 20. Suppose -2*i + o = 5*y + 135, 52 = -2*y + 4*i. Let n be (y/4)/((-7)/(-14)). Which is smaller: n or -12?
n
Let n(k) = k**3 + 15*k**2 + 30*k + 11. Let x be n(-12). Let m = 3 + x. Let h = m - 83. Which is greater: 18 or h?
18
Let o = 33 - 16. Let v(w) = w**3 - 16*w**2 - 18*w + 43. Let x be v(o). Suppose 5*a = 7*a - 54. Which is bigger: a or x?
a
Suppose 16 = 5*x - x - 4*w, 0 = 3*w + 12. Suppose -2*g = 35 - 47. Suppose -3*f = 4*k - 7*f, g*k + 7 = -f. Which is bigger: x or k?
x
Suppose 2*v + 2 = 4*m, -3*v + 3 - 12 = 0. Let r be m + -6 + (2 - (1 + 1)). Let s be 2 - r*4/16. Which is smaller: 3 or s?
3
Suppose 491*a - 500*a = -468. Let x(o) = o**3 - 8*o**2 - 3*o - 3. Suppose 63 = 2*r + 5*r. Let d be x(r). Is a smaller than d?
False
Suppose q - n + 1 = 0, 478*q + 15 = 477*q - n. Which is greater: -452/53 or q?
q
Suppose 4*t = 6088 + 7032. Suppose l = 5*a + 5455, -4*l + 2*l + t = -3*a. Let v be (-525)/a + (-3)/6. Which is bigger: 0 or v?
0
Let w = 2/3909 - -11723/7818. Which is greater: 150 or w?
150
Let k be (2954/434 - 7)/1046. Is 1 greater than k?
True
Let r be (51/221)/(6/68) + -2. Let x = -107 + 112. Let g be 5*(46/(-10) + x). Which is greater: r or g?
g
Let s(o) = o**3 + 7*o**2 - 14*o - 44. Let h be s(-8). Suppose -2*d + 6 = -h*v, 9 = 4*v + 3*d - 0*d. Is 12/13 at most v?
False
Let s(o) = 6*o**2 - 5*o + 1. Let m = -292 + 293. Let v be s(m). Do -3/47 and v have the same value?
False
Let s be ((-2)/(-4))/(39/26)*0. Suppose s*n = -n - 3. Let z be ((-14)/n)/(-2)*-1. Which is smaller: z or 2?
2
Let p = 127398 - 1653851/13. Which is bigger: p or 179?
179
Let v = -52652/3 + 1105934/63. Which is smaller: 3 or v?
3
Let b = 171.3 + -171.4. Is 33.74 != b?
True
Let o = -18.23 + 0.23. Let d = o - 11. Let j = d - -35. Is j at least 2?
True
Let y(a) = 13*a + 12. Let w(p) = -38*p - 36. Let j(k) = -4*w(k) - 11*y(k). Let v be j(-2). Is -3 bigger than v?
True
Suppose 3*n + h = -1543, 3*h - 1539 = -32*n + 35*n. Let u = -513 - n. Let c = 82 - 2791/34. Is u less than c?
False
Let c = 42.97 - 40.059. Let n = 500.911 - 501. Let a = c - n. Is a less than -12?
False
Suppose -3*m + 2*c = -m, 3*m - 4*c = -3. Suppose 12 - 15 = -m*b. Which is smaller: 266 or b?
b
Let z = 70 + -60. Suppose 0 = -d - a - z, -2*d - 26 = -43*a + 48*a. Which i