u. Is -0.1 greater than or equal to i?
False
Suppose -4*a = a + 1400. Let g = 5201 - 5480. Which is greater: a or g?
g
Let t = -2380 - -2344. Which is bigger: t or -35?
-35
Let s(k) = k**3 - 5*k**2 + 7*k - 2. Let w be s(4). Suppose c = 4, 0*c = -i + c + w. Let o(f) = f + 5. Let n be o(i). Does n = 18?
False
Suppose -3*a + 2*j = -32, -3*a = -5*j + j - 40. Let d(p) = 7*p - 39. Let m be d(6). Let c be (35/(-14) + m)*(1 + 3). Is c not equal to a?
True
Let x(t) = -t - 129. Let y(u) = -259. Let w(a) = -5*x(a) + 2*y(a). Let j be w(-32). Is -33 != j?
False
Let j(v) = -2*v + 7. Let k be j(-1). Let f(u) = -u**3 + 11*u**2 - 15*u - 6. Let l be f(k). Is l at most as big as 99/5?
False
Suppose -942 = -p + 1338. Suppose -p = 10*c + 210. Are 1 and c equal?
False
Let g = -195 - -363. Let f = -169 + g. Which is greater: -13/11 or f?
f
Let k = 10 + -19. Let r(p) = -p**2 - 198 + 111 - 7*p + 96. Let j be r(k). Which is bigger: j or -8?
-8
Let n = 60055 - 184214/3. Is n less than or equal to -1350?
False
Let b(v) = -111*v + 25. Let t(g) = -22*g + 5. Let c(w) = -2*b(w) + 11*t(w). Let q be c(-4). Let z = 80 - q. Is z at least -5?
True
Let h = -88.9 + 1.9. Let f = h - -95.4. Let i = -8.5 + f. Is i at least as big as -41?
True
Let d = -43 - -39. Let a be (120/35)/d*-70. Let b be 412/a - 6/(-45). Is b bigger than 31/5?
True
Let i be (-14)/29 + 5/10. Suppose 5*w - 17*w = 30*w + 42. Is w > i?
False
Let v = -489 - -482. Let z be 1*(-7 - -8 - v). Is z > -0.24?
True
Let k = -630 + 781. Let p = k - 152. Is 4/61 equal to p?
False
Let j = 381 + -384. Let w be (78/52533)/(1/j). Is w greater than or equal to 1?
False
Let j(u) = -6*u + 32. Let o be j(5). Suppose 52 = -o*f - 178. Is f smaller than -114?
True
Suppose 0 = -27*j - 10*j - 2590. Let r be -5 - ((-86)/20 + (-21)/j). Is r at least as big as -4/113?
False
Let y = 2748 + -96182/35. Which is smaller: 410 or y?
y
Let u(s) = s**3 - 6*s**2 + 6*s + 8. Suppose 0 = -12*d + 20*d - 32. Let r be u(d). Do r and -3/43 have the same value?
False
Let t(l) = -3*l**2 + 38*l + 25. Let m be t(11). Suppose -126*i - m = -131*i. Let q be 2/(-3) + (-47)/(-3). Is i at most as big as q?
False
Let s be (-8)/(-14) + (-45)/(-7). Let f(g) = 9*g**3 - 3*g - 10*g**3 + 7*g**2 - s - 2*g**2. Let n be f(4). Which is smaller: n or -0.8?
n
Let o(x) = x**2 - 2*x - 1. Let s be o(-1). Let y be (1 + s)/((-60)/2200). Let b be (-1 + 3)/(20/y). Is b at most as big as 3?
True
Let h(p) = 15*p**3 + p**2. Let w be h(1). Suppose -5*c + 41 = z - 43, -4*c - w = 0. Let s be -2 - (-9)/4 - (-118)/z. Is s equal to 1?
False
Let w(i) = -3*i**2 + 24*i + 83. Let o be w(-4). Let s = o - 59. Are s and -121 non-equal?
True
Let t be 13/(-7) + (3 - (-189)/49) + -7. Which is bigger: t or 210?
210
Let p = 5910 + -5911. Is p > 279/8?
False
Let u = 16432893/29 + -566707. Which is bigger: u or -1?
-1
Let o = 3195 - 1959. Suppose z = -3*b + 638, -5*z + 3*z + o = -4*b. Which is greater: 625 or z?
z
Let k be 2/10*-12*100/(-6). Let v = -35 + k. Suppose v*c + 11 = -2*h + h, 4*h + 4*c = 36. Which is smaller: 46/3 or h?
h
Let w = 12199.2 - 12199. Which is smaller: w or -69?
-69
Suppose 2*d + k = -1, -d - 11 = d + 3*k. Suppose -4*l + 441 = -3*o, -243 = -d*l - 3*o - 0*o. Let z = 109 - l. Is 5 at most as big as z?
False
Let l = -390 + 416. Suppose -3*k + 15 = 0, 17*k - l = g + 12*k. Which is smaller: -9/10 or g?
g
Let l be 3 + 1938/(-702) + (-13)/((-117)/(-2)). Let p be (1*(1 - 0))/1. Which is smaller: l or p?
l
Suppose 0 = -3*u - 2*b + 82 + 32, -3*u + 114 = 5*b. Which is smaller: u or 11?
11
Let h be (-23)/(-138) - (-15)/18. Is 26/35 bigger than h?
False
Suppose 30 = 28*x - 23*x. Suppose 11*o - x*o = 780. Is o less than 156?
False
Let n be (-60)/70*14/(-3). Suppose -n*u = 36*b - 33*b + 392, -516 = 4*b + 4*u. Which is greater: b or -125?
b
Let c be ((-56)/392)/(3/7)*0. Which is smaller: c or 4/1519?
c
Let y be 1/1 + -64 + 66. Suppose -3*a + o = 2, -20*a - y*o - 6 = -17*a. Which is smaller: 3/46 or a?
a
Let n(b) = 3*b - 3. Let y be n(0). Let l(h) = -3*h**2 - 11*h - 4. Let w be l(y). Suppose -2*x - 10 = 2*j + w*x, -5*j + 3 = -4*x. Which is greater: j or -1/54?
-1/54
Let d(p) = -313*p - 4024. Let y be d(14). Is y > -8408?
True
Let l(h) = h**2 - 63*h + 547. Let t be l(53). Which is bigger: t or 13?
t
Suppose 0*f = -9*f + 18. Suppose 2*m - 5 = -f*b - m, 0 = -4*m + 4. Let l be ((-26)/(-48))/((-8)/(-32)). Which is smaller: b or l?
b
Let m = -493373/39220 + 2274/185. Which is smaller: m or 1?
m
Let o be 4/(-2) + 2958/1478. Let n = -23361 + 23362. Which is greater: o or n?
n
Suppose -g + 3*n - 9 = -4*g, -15 = 3*g - 3*n. Let j be 4 + 2 - (17 - -21). Let f be (j/(-6))/(g/3). Is -14 at least as big as f?
True
Let k be (6182/(-440) - 1/5)/((-39)/24). Is k > 9?
False
Let a = 938/5 + -897/5. Suppose 6*i + 40 = 94. Is i < a?
False
Suppose 3*c - 15*c = 24. Let y(s) = -19*s + 6. Let i be y(c). Which is bigger: i or 41?
i
Let f be 4/10 + (-34)/85. Suppose f = 5*i - 2*u - u - 166, -2*i = 3*u - 58. Let c = -15 + i. Which is bigger: 19 or c?
19
Let a(g) = -287*g + 3. Let x be a(19). Let i be (52/130)/((-34)/x). Let u = i - 64. Is -0.3 less than or equal to u?
True
Suppose 7*g - 4*g + 2*x = 56, g + 5*x - 23 = 0. Let u be 6/(g/(-6)) - -33. Is u greater than 34?
False
Let t(d) = d**3 - 3*d**2 - 7*d - 15. Let h be t(5). Let y be (12/40)/((-5)/6). Is y equal to h?
False
Let p be (-12)/(6 + -2) + 15. Let q be p/(-30) + (-17)/(-5). Suppose k + 5*d - 2*d - 33 = 0, 75 = 3*k + q*d. Is 0 != k?
True
Let o = 166 - 170. Let d be 28/(-35) + (-3)/o. Which is bigger: -0.2 or d?
d
Suppose -2*b + 37 = -b + 38. Is b != -2/22731?
True
Let s = 305/11 - 904/33. Are s and -165.6 nonequal?
True
Let o = 143.05 - 134. Let y = o - 9. Let a be (-7)/12 - (2 + 8 - 615/60). Is a != y?
True
Let p be (45/(-10) + 4)/(2/(-8)). Let y be 10/p - 6/6 - 10. Is y > -3?
False
Suppose -54*f = -59*f - 30, 5*b + 5*f = 2130. Is b >= 419?
True
Let m = 63 + -62.7. Let r be (5/(-50))/((-48)/420). Is r greater than or equal to m?
True
Let d be -10 - 5016/(-2519) - 456/(-57). Let c be 1 - (1 - 0 - 1). Is d < c?
True
Let d be ((-13)/(-3) + (-2)/(-3))*34. Let j be (4/16)/(d/16). Let o(u) = u**3 - 9*u**2 + 10*u - 17. Let h be o(8). Which is smaller: j or h?
h
Let c = 157177/466256 + -3/20272. Are c and 1 equal?
False
Suppose -571 = 96*a - 42*a + 1481. Is a at least as big as -39?
True
Let k = 7 - 21. Let n be 2 - (5 + 15/(-3)). Suppose -3*v + 2 - 1 = r, -4*v = n*r + 6. Is r at least as big as k?
True
Let n(m) = -m**2 + 9*m - 12. Let a be n(7). Suppose 2*q - 3*l - 113 = 0, -2*l = 4*q + a*l - 196. Suppose -s + q = s. Which is smaller: s or 27?
s
Let w be 6/(570/(-485)) - (-10)/2. Is w at least as big as -38?
True
Suppose -6*r + 280 = 8*r. Suppose 13*u = -r + 20. Which is smaller: 9/7 or u?
u
Suppose -2*u + 3*o + 3 = 0, 2*u = -o - 0*o + 7. Let h = 18720 - 149733/8. Is u at least h?
False
Let m = 20 - 34. Let a = 18 + m. Let q be (-5)/((-70)/a) - (-28)/(-147). Is 0 > q?
False
Let d = -15248/9 - -1694. Which is greater: d or 1303?
1303
Let r = -6 + 7. Let n be 0*(0 - 1) + (-138)/89631. Let t = -2500/63651 + n. Is r at least t?
True
Let w = 8735 - 8448. Is 23 equal to w?
False
Let j be 1/7 + (-3904)/(-14). Let m = j - 253. Does 24 = m?
False
Suppose -28*f - 4 + 4 = 25*f. Let p = 1/3125 - 1269/59375. Is f smaller than p?
False
Let q = -917 - -952. Let n be (-3138)/(-30) - (-4)/10. Suppose 3*y - j - n = 0, -35 = y - 2*y + 4*j. Is q >= y?
True
Let c be ((-40)/((-1600)/210))/(75/66). Which is smaller: c or 1?
1
Suppose 26*t = 44*t - 3744. Suppose 3*z = -2*g + 431, -2*g - 98 = -4*z - 494. Is t smaller than g?
False
Let k = 26/25 + -333/200. Let o = k - -7/24. Are o and 1 unequal?
True
Let l = 54887/541229 - 1/6851. Let w = -7 - -6. Which is greater: w or l?
l
Suppose 4*u - u - 10 = -k, -k + 8 = 2*u. Suppose -3*g + 12 = -5*f, 18 = -k*f + 3*g + 6. Which is smaller: f or 1/318?
f
Let i be (-172198)/(-260) + 3/(-10). Which is bigger: i or 4638/7?
4638/7
Suppose 0 = 5*p - 2*p + 210. Let x be -12*(p/(-15) - 1). Let t = x + 62. Is 18 at least as big as t?
True
Let k = -1226 + 1228. Suppose -y = -2*x - 6*y - 146, -154 = k*x + 3*y. Suppose m - 24 + 439 = -5*b, 5*m = 0. Is x < b?
False
Suppose 9*q + 681 = -246. Which is bigger: q or -116?
q
Let o = 11771 + -2030. Is o at most as big as 9740?
F