Is 14 at most v?
True
Let b(y) = -3*y**2 + 48*y + 206. Let w be b(-16). Is w <= -1332?
False
Suppose -4170 = a - 624. Let r = 17629/5 + a. Is r < -20?
True
Let s = -443/3 + 7546/51. Let g(h) = h**2 - 2*h - 3. Let x be g(3). Which is smaller: x or s?
x
Suppose -2*w = 4*c - 14, -3*c + 3*w = -2*c + 14. Let b = -229436/73 - -3143. Which is smaller: c or b?
b
Let b = 187 + -187. Suppose b = 12*i + 4*i + 16. Which is bigger: i or 0.13?
0.13
Let g(r) = -2*r**3 + 5*r**2 + 3*r + 2. Let q be g(4). Suppose 4*n - 1428*t = -1429*t - 124, 3*n + 91 = -t. Do q and n have the same value?
False
Let u be 1083/1159*(-175)/6. Let i = u + 1/244. Let w = i + 27. Is w smaller than 3?
True
Let g = -1992 - -2023.06. Let q = -31 + g. Let m = 0.16 - q. Which is smaller: -9 or m?
-9
Let h = 14515 + -16805. Which is greater: -2288 or h?
-2288
Let h = 28 + -28. Is h >= -5294?
True
Let t = -50 + 41.5. Let d = t - -11. Let s = d - 0.9. Is -2 smaller than s?
True
Let z be 3/6 + 61114/(-1716). Let c = z - -384/11. Let s(y) = 243*y + 730. Let j be s(-3). Is c not equal to j?
True
Let c = 102.45 + -101. Let a = 0.55 + c. Let o = 1/495 + 593/495. Which is greater: a or o?
a
Let k = 12085 + -11968. Which is bigger: 707/6 or k?
707/6
Let y(w) = 3*w**2 + 12*w + 5. Let o be y(-8). Suppose l + 379 = 4*g, 16*l - 20*l + 289 = 3*g. Suppose o - g = -2*b. Do b and 1 have different values?
True
Let s(t) = t**3 - 7*t**2 - 7*t - 6. Let p be s(8). Let z be 3*(-5)/30 - (-7)/p. Suppose z*o + 22 = 1. Which is smaller: -37/6 or o?
o
Let l(g) = -190*g + 1709. Let y be l(9). Is y <= -538?
False
Let g = 182706 - 182706. Let y = -1694106/679 - -2495. Is g at least y?
True
Let d = 5.8 + -12. Let u = d + -21.8. Let y = u - 6. Does 0 = y?
False
Let a be (-7 - 5) + 6 + 2816/68. Which is smaller: 35 or a?
35
Let b = 4 - 7. Let g = 347 - 346.47. Is b less than g?
True
Let x = 24412 + -22135. Which is smaller: 2/5 or x?
2/5
Let h(w) = -78*w - 187. Let t be h(6). Let u = t + 604. Is u greater than or equal to -3?
False
Let r be (3*12/10071)/(-150*18/(-162)). Which is greater: 0 or r?
r
Let q(l) = 3*l**2 - 38*l + 54. Let u be q(11). Is -900 at least u?
False
Suppose 3*c - 4*i - 13 = 0, 4*c - 3*i + 2*i - 13 = 0. Let x = 1314 - 2040. Let q = 5094/7 + x. Which is smaller: q or c?
q
Suppose -41*a - 135 = -36*a. Suppose -4*z + 12 = 0, -2*q + 16*z = 17*z + 49. Is q < a?
False
Let c = 90/29 + -9453/3074. Let n = 135.1 + -135. Is c less than n?
True
Let j = 0.03 + 0.07. Let b = -87 - -89. Let z be (27/2)/(5/2 - b). Which is greater: j or z?
z
Let g = 0.9356 + 0.0644. Is -788 not equal to g?
True
Let o = -344 + 380. Suppose -u + 66 = 31*b - o*b, -5*u = -5*b - 270. Which is smaller: 0 or u?
0
Let t be (-2152)/(-352) + -7 - (-7)/(56/(-6)). Which is bigger: -0.302 or t?
-0.302
Let w be (10/3)/(((-98588)/(-42))/(-14)). Do -1 and w have the same value?
False
Let v(p) = p - 21. Let h be v(11). Let x = h - -127. Does 116 = x?
False
Suppose 3*y - 2751 = -2*y + 2*s, -2748 = -5*y + s. Let a = 265 - y. Which is smaller: a or -285?
-285
Suppose 0 = -3*k - 5*d - 35914, -40*k + 39*k - 2*d - 11972 = 0. Which is bigger: k or -11967?
-11967
Let i = 3437 + -3397. Let q = 13 + -7. Is i not equal to q?
True
Let p be (-568)/(-2) + 14*2/14. Let f = 284 - p. Are -11 and f nonequal?
True
Let u be (-20460)/54 + (-9)/(-243)*-3. Which is bigger: u or -1?
-1
Let k(q) = 21*q**2 + 155*q + 14. Let u be k(-7). Which is smaller: 46 or u?
u
Let i(u) = u**3 + 2*u**2 + 6*u. Let x be i(-4). Let w = -2156 - -2101. Is w at most x?
False
Let x = -37 - -39. Suppose -4*h - x*a = 14, 0*h + 4*h - 5*a = -49. Let o be ((-10)/(-18))/(h/(-9)). Which is smaller: 7 or o?
o
Let g be (6 - 15)*-115*1. Let s be ((-6)/g)/(36/45). Suppose -t + 3*t - f - 3 = 0, -2*t - 1 = 3*f. Which is greater: s or t?
t
Suppose -3*h = l + 4, 4*h + 6 = -l - l. Which is smaller: h or -75/112?
h
Let p be 3 + (-1 + 3)*-1. Suppose 2*z = -4*w - 16, 2*w = z + 3*z - 28. Let t be 1*(1 + 0 + 6/w). Which is bigger: t or p?
p
Let q = 0.52 - 0.009. Is q > -1/4?
True
Let a = -1.35 - -1.63. Let j = 0.39 - a. Which is greater: 1.1 or j?
1.1
Suppose -6*b + 1933 + 8435 = 2*b. Does b = 1297?
False
Suppose 5*h - 5*q = -10*q - 665, 2*q - 270 = 2*h. Let l = 2143/16 + h. Which is smaller: l or -1?
-1
Suppose -4*a + 1 - 17 = 0. Let r be 2 + (a - (0 - 3)). Suppose 5*f = -5*c + 5, 7*c + 4*f + f = 5. Which is smaller: r or c?
c
Let q be ((-12123)/297 - -41) + (-1 - 67/(-83)). Which is smaller: 0 or q?
q
Let o be 22293/3204 + (-14)/(4 + -2). Which is greater: o or 1?
1
Suppose 28*u - 32*u = 49*u - 85012. Which is smaller: u or 4813/3?
u
Let p = 358.2 + -26.2. Let z = p - 216. Is z at most -0.1?
False
Let c be -1 - 12/20 - (-9)/15. Let w = -83 - -48. Let a = 35.021 + w. Which is bigger: c or a?
a
Let a be 9*890/(-315) + 3/7. Is a at most as big as -16?
True
Suppose -9*m + 6*m + 45 = 0. Suppose s + 15 = -v - 2*s, -2*v - s - m = 0. Let c(i) = -i - 11. Let y be c(-5). Is v at most as big as y?
True
Suppose 14572 + 424 = -23*k. Let o = -7146/11 - k. Is 1 at most o?
True
Let c be 11718/252*260/6 - (7 - 0). Which is greater: c or 2006?
c
Let o = -309/8 - -372979/9656. Are o and -1 unequal?
True
Let k = 15943 + -15892. Let l be 2/7 - (-327)/7. Do l and k have the same value?
False
Suppose 2*l - w - 7 = 1, -l - 3*w - 3 = 0. Let z be (l/(-4))/(12/(-16)). Let b be -1 + 3 + z/(-1). Is b smaller than 1/31?
False
Let r = 1585.7 - 1585.8. Which is smaller: r or 160/19?
r
Let g = 1944.5 - 1946. Are -9 and g nonequal?
True
Suppose t - 255 = 5*d, -4*d - 2*t - t = 185. Suppose -39*w - 2205 = -35*w - 49*w. Let i = d + w. Is 4/17 <= i?
False
Let i(q) = -q**3 + 10*q**2 + 90*q - 920. Let a be i(9). Which is greater: -25 or a?
-25
Suppose -4*q + 4 = 0, 5*q + 1027 - 1028 = 4*z. Is 1/6951 > z?
False
Let v = 15437 + -15446. Let l be (-302)/(-6) - 1/3. Suppose -l = -x + 6*x. Which is bigger: v or x?
v
Let s be (-195)/(-715) - (-6242)/(-22726). Is s less than 1?
True
Let g be -10*7/(210/(-9)). Suppose 3*a - m + 3*m - 3 = 0, -10 = a - g*m. Is 3/28 bigger than a?
True
Let n(r) = 2*r + 47. Let b = -66 + 68. Let y(w) = 2*w + 48. Let g(k) = b*y(k) - 3*n(k). Let q be g(-10). Is q at most -23?
True
Let n(l) = 28*l - 882. Let y be n(30). Is y > -48?
True
Let y = -5.36 + 7.27. Let h = y - -2.09. Is -0.37 smaller than h?
True
Let h = 19.5 - 62.5. Let n = h - -10. Let a = -0.2 - -0.2. Which is bigger: n or a?
a
Let d(a) = 2*a - 48. Let w be 546/22 + (-50)/(-275). Let t be d(w). Suppose 3*y = -t*h + 61 - 15, -2*h - 66 = -5*y. Are 15 and y unequal?
True
Let v = -6.421 - -14.321. Is 41 greater than v?
True
Suppose -3*m + k = -k + 528, -m + 5*k = 176. Let d = -353/2 - m. Which is greater: d or 54?
54
Let w(z) = -5*z + 70. Let o be w(19). Let a = -29 - o. Which is smaller: a or -7?
-7
Suppose 0 = u + u. Let c be 7 - (-3 - -5) - 72/20. Which is smaller: c or u?
u
Let a = -11452.9 + 11454.9. Let f = 0 + -0.1. Let x = f + 0.8. Which is smaller: x or a?
x
Suppose 3*u = o + 27 + 5, 23 = 2*u - o. Suppose h + 4*p + 0 + u = 0, 5*h - p + 3 = 0. Let n be (10/(-3))/5 + 58/84. Which is bigger: n or h?
n
Let f be ((-2)/(-4))/(1/8706). Suppose j = 4*r - j - 5814, -3*r = j - f. Suppose -3*u + 14*u = -r. Which is smaller: -131 or u?
u
Let k(t) = -3*t**2 - 19*t - 2. Let z be k(-6). Suppose 3*p - z*x + x - 6 = 0, 4*x = 5*p - 9. Let u be (p/6*2)/(17/204). Is u at most 11/4?
False
Let w = -245 - -250. Suppose 4*y - 12 = 3*l, 10*l - 9*l + 4 = w*y. Is 7/135 less than y?
False
Let m = 128851 + -30795345/239. Is 1 greater than m?
True
Suppose 48 = 16*u - 64. Let s be (-3 + 2)/((-6)/24). Suppose -s*c = 2 - 22. Which is smaller: c or u?
c
Let g = 1188 - 4793/4. Let c(p) = 3*p**2 - 50*p + 22. Let s be c(16). Which is bigger: s or g?
s
Let c = -18 + 21. Suppose 4*s + 5*a + 7 = c*s, -5*a - 55 = 5*s. Let b be -1 + ((-3)/s*0)/(-2). Is b > 5?
False
Suppose 8*g - 10*g - 4 = 0. Let f = -1428 - -1454. Which is smaller: f or g?
g
Let a be 180/(-150)*5/2. Let g be (-55)/(-3) + -4 - (a - -1). Which is smaller: g or 17?
g
Let x(p) be the first derivative of 5*p**2/2 - 7*p + 12. Let v be x(2). Let o be v/(-18) - 7/(-36). Is -1 <= o?
True
Let x(u) = 18*u + 1. Let w = 5 + -2. Let k be x(w). Suppose -59*m = 4*m - 2*m - 3416. Which is greater: k or m?
m
Let l be (600/1350)/(1/9). Let q = 20 - -2. Supp