ast as big as 18?
False
Suppose 4*r = 4*i + 6648, -2*i - 11*r - 3317 = -6*r. Is -1661 at most i?
True
Suppose 3*u + 5*n = -10 - 28, 4*n = -5*u - 59. Let t(w) = -w**3 + 28*w**2 - 1. Let s be t(28). Let v be u + 2 + (s - -2). Is v smaller than -7?
True
Let z = 15500 + -12120. Which is greater: 3377 or z?
z
Let t(n) = 2*n**3 - 33*n**2 - 90*n + 31. Let s(r) = r**3 - 17*r**2 - 45*r + 16. Let g(a) = -7*s(a) + 3*t(a). Let c be g(22). Which is greater: c or 21?
21
Let q = -50839 + 314540891/6187. Let w = 352631/86618 - q. Is 4 > w?
False
Let p(s) = -12 - 28*s + 3*s**2 + 0 - 3*s**2 + 2*s**2. Let z be p(15). Let i be z/8 - (3 - 1). Is i >= -1?
True
Let d = -75.3 - -75.856. Let x = d + 89.444. Which is smaller: x or 0.2?
0.2
Suppose -1651*v + 11988 = -1669*v. Is v less than -664?
True
Let t = 279870973/149 + -1878321. Let s = t + 70654/1937. Let c = 44 - s. Does -12 = c?
False
Suppose -1198 + 2710 = 109*v - 1431. Which is smaller: v or -4?
-4
Suppose 29*f + 3*j - 933 = 28*f, 15 = -3*j. Is -2/5 bigger than f?
False
Let z(o) = 10*o**2 - 80*o - 425. Let c be z(-5). Which is smaller: 227 or c?
c
Let h(g) = -4*g**3 - 9*g**2 - 46*g - 217. Let m be h(-4). Which is smaller: m or -11?
-11
Let f = -1.4 - -0.4. Let q = -32711 - -359813/11. Which is smaller: q or f?
f
Let o = -11136.608 - -11138. Is 0.3 greater than or equal to o?
False
Let m = -9896.98 + 9897. Is m > 1103?
False
Let v be 25290/(-80) - (-3)/(-48)*-2. Which is greater: v or -2222/7?
v
Let g = 5057/42 - 779/6. Is 8 greater than g?
True
Let d = -24242 - -24158. Which is smaller: -5.1 or d?
d
Let z(r) = -31*r + 214. Let i be z(7). Let o be (-35)/21 - -3 - 1178/i. Is o equal to 394?
True
Let m = 869 + -866. Let b be 3*m + 6 + -16. Is -1/355 greater than b?
True
Suppose 0 = -3*s + 7*s. Let x = 298861 + -31978131/107. Is s less than x?
False
Suppose 4*j + 125 + 231 = -4*n, 5*j + 431 = 2*n. Let z = -51 - j. Let r = 34 - z. Which is bigger: 19 or r?
19
Let v = -0.02 - 0.38. Let j = v - -0.6. Let y be -30*18/54*6/(-4). Which is greater: j or y?
y
Let y be (-36)/(-10) + (99/(-15) - -6). Suppose -40 = -4*x - 2*g, y*g - 11 - 25 = -3*x. Let p be 18/(-144) + (-15)/x. Is -15 greater than p?
False
Let k be ((-18)/(-9))/(-78)*-1. Is k at least 0?
True
Let f be ((-78)/21)/((-52)/182). Suppose 2 = -0*p + 2*p, -3*p + 113 = -5*b. Let t = -5 - b. Is f > t?
False
Let u = -6893.1 - -6890. Which is smaller: -83 or u?
-83
Let f be 1/(1 - -6)*(-280)/(-24). Is -5 less than f?
True
Let q be 3729/3503 + (-4)/62. Which is greater: q or 16/1543?
q
Let y = -2719.09 - 15.91. Which is smaller: 0 or y?
y
Let z = -2 - -15. Let v = 33 - z. Let o = 2056 + -2055. Which is smaller: o or v?
o
Let a(d) = 0*d**3 + 3*d + 9 + d**2 - d**3 - 17. Let s be a(0). Is -8 smaller than s?
False
Let n(d) = -2*d**3 + 34*d**2 - 105*d + 5. Let j be n(4). Which is greater: 22/71 or j?
j
Suppose -5*z + 4025 = -320. Let r = z - 16506/19. Is r bigger than 1?
False
Let f = 374.2 - -36.8. Let t = 410.055 - f. Let i = t - -0.9. Is -0.1 equal to i?
False
Let y(s) = -48*s - 4123. Let b be y(-86). Let l = 0 - -4. Let t = l - 0. Does t = b?
False
Let x be 34/119*42/(-102) - 30/34. Is x less than -4/377?
True
Let m(v) = 117*v - 270. Let n(t) = 9*t - 21. Let c(l) = 4*m(l) - 54*n(l). Let s be c(5). Are -37 and s non-equal?
True
Let o = -213757/2 + 104651. Suppose 55369 + 110487 = 73*w. Let n = o + w. Is n greater than 44?
True
Let v = -53.948 + -0.052. Let g = -0.091 - -0.173. Let f = g + -0.182. Is v equal to f?
False
Let v(j) = 29*j**2 - 697*j + 23. Let b be v(24). Which is greater: 16/1111 or b?
16/1111
Let f(q) = 10*q**2 + 13*q - 3. Suppose 0 = -x + 3*j - 18, -4 = 16*x - 14*x + 2*j. Let k be f(x). Are 278 and k unequal?
True
Suppose -31 = 4*n + 9. Let l be ((-1 - 20)/(-1) - -3)*-3. Let f = l + 60. Which is smaller: f or n?
f
Suppose 0 = -961*y + 977*y - 1152. Is y less than -2?
False
Suppose 0 = -100*v + 99*v + 789. Let u = v - 2335/3. Is 12 >= u?
True
Let h be (-3)/(-6) - (-4)/(-8). Suppose -20*k + 4 - 4 = h. Which is smaller: -24/43 or k?
-24/43
Let s be -72*((-9)/(-4) - 3). Suppose 116 = 5*k - s. Let g be 8 - 150/(-4)*(-1 + (-55)/(-33)). Is k < g?
False
Let o be -1 + 10 + (-6 - 651/287). Let t = 1.01 + -0.01. Is o != t?
True
Let u = -66.6 - -51.2. Let j = u + 17.4. Let i be (-46)/(-63) + (-4)/14. Which is bigger: i or j?
j
Suppose 2635*f + 3*v = 2633*f + 6, 2*v = 4*f + 4. Which is greater: f or -3/80?
f
Suppose 12*h = 9*h - 138. Let m = h - -50. Let y be 21/(-3) + m + 6 + 0. Which is greater: y or -2/15?
y
Let a be 12 - (-2)/(-8)*20. Let u be a/3003*423 - 1. Let b = 1 - 2. Which is greater: b or u?
u
Let u = 1039 - 1091. Which is smaller: -103/2 or u?
u
Let y be (-9)/(-6)*20/(-15). Let c(b) = b**3 - 3*b**2 + b. Let z be c(2). Let t be (40/(-6) - z) + 3. Which is smaller: t or y?
y
Let c = -896 + 900. Let d be -10*(-68)/(-312) + (6 - c). Which is greater: 0 or d?
0
Let c(d) = 8*d + 73. Let i be c(-33). Let w = i - -218. Is w at least as big as 20?
True
Let g = 3204 - 73710/23. Let q(y) = 2*y - 6*y - 18 - 6 + 3*y. Let k be q(-22). Is k < g?
True
Let i be (1 - (-6)/(-8))*(-168)/(-196). Suppose -4*u = -10 + 26. Let g be (0*(-4)/u)/1. Which is greater: i or g?
i
Let z be (-3)/((-135)/(-6)) + ((-1856988)/144315 - -13). Is 0 <= z?
False
Let x = 22127/4 + -1305145/236. Do 0 and x have different values?
True
Let n be (-1)/2 - (-3)/18. Let w(t) = 41*t - 47. Let u be w(-3). Is u equal to n?
False
Let l(f) = -f**2 - f**3 + 47*f + 36 + 16 - 19*f**2 + 2. Let m be l(-22). Which is bigger: m or -93/8?
-93/8
Let g(m) = m**2 - 8*m - 33. Let z be g(-3). Let o be (-40)/((-1)/(1/(-1))) + z. Which is smaller: -36 or o?
o
Let i(z) = 2*z + 15. Let s be i(-4). Suppose -255 = -2*w + s*w. Suppose v - 153 = 4*v. Is w less than v?
False
Let z(a) = -62*a - 5708. Let b be z(-92). Is b <= -75/22?
True
Let t(n) = -n**2 + 51*n - 488. Let y be t(37). Which is smaller: y or 31?
y
Let n be ((-490980)/280)/((-3)/(-6)). Which is bigger: -3510 or n?
n
Suppose a = 5*n - 515, 6*a - 3*a + 5*n + 1505 = 0. Let s be (2 - -2) + a/375*3. Suppose 7 = -3*r - 4*c, -2*r - 3*c + 2 = -7*r. Is s at most as big as r?
False
Let b = 24 - 48. Let x = b - -23. Let d = 0.046 + 0.234. Which is smaller: x or d?
x
Let w(y) = 72*y - 28. Let m be w(4). Let h = 261 - m. Is h less than 7/10?
False
Let q(l) = -l**3 - 18*l**2 - 15*l + 4. Let h be q(-17). Let z be (h/72)/((-30)/16). Which is smaller: z or 0.004?
0.004
Let a be 1 + (-210)/198 - (-238)/3927. Let i(h) = -h**3 - 5*h**2 + 8*h + 6. Let c be i(-6). Let b be 24/(-33)*c/4. Which is bigger: b or a?
b
Let v be (-48)/(-26) - (-2)/13. Let p be ((-2)/v)/(15/(-117)). Let o = -530/3 - -176. Do p and o have the same value?
False
Let l = 263.43 - 266. Let j = -1.57 - l. Let n be ((-5)/(-555))/1*6. Does j = n?
False
Let o be 3/(88/(-18) - (9 - 14)). Let l be 5*(-6)/52*18/o. Is 0 equal to l?
False
Suppose -3*q = -5*u - 0*u + 33383, 0 = -2*q - 5*u - 22247. Which is greater: 2/5 or q?
2/5
Suppose 2*b = 449 + 1005. Let a(n) = n**2 - 3809*n - 110574. Let q be a(-29). Is b < q?
True
Let i = 137 - 136.995. Let d = -1.975 + 2. Let p = d + i. Which is smaller: p or 2?
p
Let k(y) = -3*y + 19. Let f(b) = -3*b + 17. Let n be f(4). Let o be k(n). Suppose -o*h = -3*x + 11, 2 = -2*h - h + x. Which is smaller: -1 or h?
-1
Let c be 4/5 - 90/50. Let n be (0/c)/(-3 - -1). Suppose 5*y = -n*y - 35. Is y at least as big as -7?
True
Let c(u) = -u + 9. Let t be c(12). Let h be ((-4)/24)/(t/(-18)). Let n be (-2)/(-5) - (-6)/(-15). Which is smaller: n or h?
h
Let n(d) = -d**3 - 296 + 282 + 2*d + 2*d + 4*d**2. Let y be n(3). Let k(s) = s**2 - s - 2. Let u be k(2). Is u <= y?
True
Suppose b + 2*g + 6 = -40, -2*b = -3*g + 78. Let w(j) = -18*j - 6. Let v be w(-3). Let k = v + -90. Is b greater than or equal to k?
True
Let z = -78.095 + 78. Let t = z + -0.905. Let k be 0 - 14*(-4)/88. Which is greater: k or t?
k
Let n be (-15 - -2773)*4/14. Which is smaller: 786 or n?
786
Let y be 4/(-2) - (-2 + 1). Let f be 133/(-28)*(2 + (-996)/16). Let b = f + -286. Which is bigger: b or y?
b
Let a be 26/39 + 74/6. Suppose 0 = -q - 3*s + 16, -3*s + a = -16*q + 14*q. Which is bigger: -1/127 or q?
q
Let a(z) = -z**3 - 19*z**2 - 33*z + 18. Let p be (6/9 + -1)/((-5)/(-255)). Let w be a(p). Are -1/10 and w nonequal?
True
Suppose z