ater than 60?
True
Let w = 164 - 182. Let j be (-66)/3 + w + 18. Is j at least -276/13?
False
Suppose -25400 = -4*u - 23*g + 25*g, u - 6344 = 2*g. Let w = u - 3048959/480. Which is smaller: 0.1 or w?
w
Suppose 46 = -2*a + 4. Let g be 28/a*1/(3/9). Let h be (g/(-21))/(10/(-3)). Is h < 0?
True
Suppose 0 = 84*t + 14666 - 3326. Suppose -544 = w + 3*w. Which is greater: w or t?
t
Let k be ((-910)/6 + 2)*(-5 - -2). Let r be 17485/39 + 2/3. Is r >= k?
True
Let o = 14 + -13. Let n be (o - 2)*0/(-6). Suppose -4*v - 12 = n, -s - v + 6 = -2*v. Does s = 2?
False
Let v(s) = 4*s**2 + 20*s - 25. Let l be v(-6). Let m be ((-1216)/114)/(l/(-2)). Which is bigger: -21 or m?
-21
Let t be ((-7)/297)/(-8 + (-52)/(-6)). Let c = -269/5742 - t. Is 1 greater than c?
True
Let q(u) = -2*u - 8. Let d be q(-7). Let w be 5 + 3*(-10)/d. Which is bigger: w or 24?
24
Let m = -6661 - -3321. Is m less than 0.3?
True
Let z = -1390 + 2048. Is 655 <= z?
True
Let g be 3/(-9) - (-8 + (-280975)/390). Let y = g - 728. Let h be (-1)/36 + (-4)/18. Is y at least h?
True
Let i = 0.5 + 2.5. Suppose 0 = -31*r + 4045 + 12788. Let y = r - 7063/13. Is y at most as big as i?
True
Suppose -4*x - 2*t - 3*t = -427, x = -5*t + 88. Let r = x + -50. Suppose -4*s - r = 33. Which is greater: s or -25?
s
Let u = 716934 + -25809617/36. Let a(c) = c**3 - 5*c**2 - 1. Let y be a(5). Is u at least y?
True
Suppose 0 = 2*v - 5*v + 261. Let b = -246671 + 246758. Do b and v have the same value?
True
Let b = -5 + 17. Suppose -b*s + 15*s - 3 = 0. Suppose 1 = -11*t - 10. Is t greater than or equal to s?
False
Let b be (12/(-15))/(4/(-2040)). Suppose i - b = -i + 5*m, -4*m - 210 = -i. Is i less than 194?
False
Suppose 4*m - 24 = 4*t, -13 = -3*m + 4*t + 9. Suppose m*s = -4*s - 156. Let g = s + 31. Which is greater: g or 5/2?
g
Let r = 3151 + -37813/12. Which is smaller: r or -17?
-17
Suppose -5*h + 11184 = -4*p, 171*h - 166*h = 0. Is -2795 at most p?
False
Let r(o) be the second derivative of o**4/6 + 3*o**3/2 - 7*o**2 + 4*o + 1. Let g be r(4). Are 53 and g non-equal?
True
Let t = 261 + -258. Suppose -20 = 4*r + t*k - 21, -r + 6 = -5*k. Which is bigger: r or -10?
r
Suppose -79 = -37*p + 32. Suppose p*g - 9 = -21, -5*a = g + 24. Suppose 0 = -0*f + f - 3. Which is greater: f or a?
f
Suppose 5*g + p - 20 = 0, 2*g + 3*p - 17 = 4. Suppose -g*u = -3*z + u + 7, -4*u = 4. Suppose a = -b + z, 3*b - 4*a - 4 = -1. Which is greater: 2/51 or b?
b
Suppose 3*z + 0*z = 3. Let i be 2 - (-27144)/(-1276) - (0 - 20). Which is smaller: z or i?
i
Suppose 0*k + 3*k + 300 = 4*h, 4*h = 0. Suppose 367*z = 2*y + 369*z - 2, y + 3*z = -1. Which is greater: k or y?
y
Let v = -6955568/145 - -47970. Which is bigger: v or 0?
v
Let a be (477/3180)/((-134)/(-136) + -1). Let x = 454/45 + a. Which is bigger: x or 0?
0
Let v(t) = 4*t + 68. Let f be v(-12). Let l be (3 + -1)*f/(6 + -4). Which is bigger: 10 or l?
l
Let u = -3026 - -7269. Which is smaller: u or 4245?
u
Let d(m) = m**3 + 3*m**2 - 1. Let u be d(-2). Let y(n) = -296*n + 595. Let s be y(2). Are s and u non-equal?
False
Suppose 5*p + g - 36 = 5*g, -3*p = -5*g - 32. Let s be (8/(-20))/(p/(-80)). Let l = 7038/5 - 1400. Do s and l have the same value?
False
Let r = -150 + 151. Suppose 0 = 11*a + 12 - r. Is a <= -1/56?
True
Let a be ((-3)/(-6))/((-49)/(-37436))*-6. Which is greater: a or -2289?
-2289
Let w = -47101 + 44132. Which is smaller: w or 2?
w
Let y be (15 - 11) + (-24 - -3). Let u(s) = 4*s**2 + s - 3. Let r be u(-3). Let z = y + r. Is z greater than or equal to 14?
False
Let a = 8363 + -8364. Which is greater: a or 43?
43
Let b be (-1)/(-2) - (-14541)/(-222). Which is smaller: b or -39?
b
Let q be 67/2 - 36/24. Let o = 153 - 153. Let h(c) = -c**2 + c + 33. Let t be h(o). Which is greater: t or q?
t
Let m be 6/9 - (5747/(-2751) + 2). Which is smaller: m or 1?
m
Suppose -d - 30 = -22. Suppose -5*x - 4*z - 3 - 9 = 0, 4*x = -4*z - 12. Suppose -1 = -c, -k - c - 7 = -x*k. Is k greater than or equal to d?
True
Let w be 2*57/36 + (-7)/42. Suppose -h + 24 = a + a, a - w*h = 5. Is -1 less than a?
True
Let y = 38 - -226. Let g be 4785/y - (-1)/(-8). Let z = 38 - 19. Which is smaller: g or z?
g
Let c = -0.899 + -0.101. Let u = 4112 + -4129.49. Let m = u - -17. Which is bigger: m or c?
m
Let q = 0.21835 + 0.06365. Do 10/7 and q have different values?
True
Let a(x) = -x**2 - 2*x + 3. Suppose -2*c - 3 = -c. Let d be a(c). Let m be 5/(-7) + (-9)/(-21). Which is bigger: m or d?
d
Let u = 0.28 - 0.36. Let p = 0.01 - u. Let i = 407 - 411. Is p smaller than i?
False
Let x = -769 + 770. Is x greater than 3/18260?
True
Let o = 7382568/545 + -13546. Suppose -223 - 10 = -233*x. Is x smaller than o?
False
Let b be (996/(-14))/((-242)/(-69454)). Which is smaller: -20417 or b?
b
Let s be (8 + 3 - 0) + -1. Let b be (-2 - -2) + 14/s. Let h(j) = -4*j**2 - 42*j - 54. Let v be h(-9). Which is smaller: v or b?
v
Let z be (-4)/8*1*2. Let h be -2 - z/1 - (-2899)/3633. Let c = h - -2/173. Which is smaller: 0 or c?
c
Suppose -68*v + 54612 = 43*v. Which is bigger: 491 or v?
v
Let m be 0/1 - 0 - -1. Let s = -3550485/8 - -442323. Let a = -1488 - s. Which is bigger: a or m?
m
Let z = -177 - -188. Suppose 20 = b + z. Is b at least 49/6?
True
Let f(r) = -r**2 - 24*r - 106. Let d be f(-6). Suppose -2*i - 3*c + 2 = -4*i, 2*i + d = -2*c. Let m be 2/(46/6 - -1). Which is bigger: i or m?
m
Let u = 81404.794 + -81289. Let f = u + 0.206. Let i = f + -60. Which is greater: -2/5 or i?
i
Suppose 0 = -15*j + 26*j + 11. Let t(i) = -47*i**3. Let k be t(j). Is 47 less than k?
False
Let z = 1041 + -1039. Let d be 2 - (-1157)/(-14)*-6. Let g = 500 - d. Which is smaller: z or g?
z
Let i = 2711 - 2713. Let k = 5.6 - 5.27. Is i greater than or equal to k?
False
Let s be ((-18)/(-9528) - 0)/((-99)/(-44)). Is s > 1?
False
Let d(i) = i**3 + 3*i**2 - 3*i + 8. Let r be d(-5). Let z = r - -33. Let n be (-2)/z*65/(-143). Does -1 = n?
False
Suppose -3*h + 7 = b, -5*b = h + 10 + 11. Let v be (130/30)/(h/60). Which is smaller: 64 or v?
64
Let u be (13 - 10)/(6/(-14)). Let d be 0 - (u/(-1) - 225). Which is smaller: 217 or d?
217
Let y be (-24)/28 + 3 + (-27240)/(-28). Which is greater: 978 or y?
978
Let b = -41 + 38. Let m = 14 + -64/5. Let h = -91/30 + m. Which is greater: b or h?
h
Suppose -4*g - 21*g = 1350. Let p be (-4)/28 + g/357. Is p less than 0.1?
True
Let c(o) = o**3 - 5*o**2 - 7*o + 34. Let v be (-1)/4 - (441/(-12))/7. Let z be c(v). Which is smaller: 6.4 or z?
z
Let n = -8875 + 8857. Is n greater than -13?
False
Suppose 24*o - 38*o = -70. Suppose -4*h = o*h - 5*h. Which is bigger: h or 2/221?
2/221
Let r = -426 - -431.4. Let m = -6.6 - -2.1. Let w = m + r. Is 0.1 bigger than w?
False
Let i = -0.1792 - -0.3792. Which is smaller: 1697 or i?
i
Let v = 1558 - 190. Suppose 0 = -5*w - 7*w - v. Which is greater: -116 or w?
w
Suppose -16*b + 1158 = -q - 12*b, 3*q = -3*b - 3519. Let r be q/(-270) + ((-1)/(-1) - 5). Do r and -0.2 have different values?
True
Let j = 96.33 - 2.33. Let c = j + -93.904. Is -1 at least as big as c?
False
Suppose -797*b + 2 = -796*b. Is 3342 greater than or equal to b?
True
Let v = 486 + -493. Let r(l) = l**2 + l - 23. Let t be r(v). Do t and 20 have the same value?
False
Suppose -73 + 1 = 3*g. Let t(i) = -i**3 - 6*i**2 - 6*i - 7. Let v be t(-5). Let w be (-23)/(4 + ((-18)/(-3))/v). Which is smaller: w or g?
g
Let q be (-6)/(-3) + (-165)/80. Suppose 3*g = -193 - 59. Let c be (-126)/g*(-2)/3*1. Is c > q?
False
Let t = 3/32 + -91/288. Let x(w) = -48*w + 49. Let g be x(-10). Let d = g - 6889/13. Which is bigger: d or t?
t
Let g(r) = r**3 - 21*r**2 + 20*r + 6. Let p be g(20). Suppose o - 65 = p*o. Let k = 53/4 + o. Which is smaller: k or 3?
k
Let l = 79 - 46. Suppose -3 = 4*t + l. Let g(h) = 10*h + 399. Let r be g(-41). Which is greater: r or t?
t
Suppose 289 = -7*j - 64*j - 421. Let b = -28 - -14. Let h = b - -8. Which is smaller: h or j?
j
Let l = -0.1 + -30.7. Let j = l - -56.8. Let z = -0.4 + 0.3. Is j at most as big as z?
False
Let v = 9 - 17. Let s = -2 - v. Let l = 47 - 51. Is l at most s?
True
Let i = -23.84 - -13651.84. Is -1/4 at least as big as i?
False
Let k = -0.0614 - 68.4386. Let x = k + 115.5. Let l = -0.9 + 1. Which is greater: x or l?
x
Let a be ((-22)/(-66))/(4/(-12)). Is a greater than -1/4525?
False
Let g = -293