e 246 + 90 = 14*c. Which is smaller: c or g?
g
Let j = 1621 - 1611.456. Let d = j + 0.456. Which is smaller: d or -1/2?
-1/2
Let b = -93 + 97. Let g = 10.9455 + 0.0045. Let q = g - 11. Is b greater than q?
True
Suppose -11*k + 8*k - 22758 = 2*c, -2*c + 6 = 0. Which is smaller: k or -7587?
k
Let z be (-267)/273 - 2/(-7). Let c be 6*(3 - (-21)/(-6))*-9. Let y be (5 - 129/c)*9 - 4. Which is smaller: y or z?
y
Let c = 39.741 + 0.259. Let u = -11 - -11.1. Is u >= c?
False
Let b(k) = 36*k - 12. Let l be b(5). Let i = l - 110. Are 58 and i non-equal?
False
Let k be (-8)/28 + 0 + (-1550)/(-35). Suppose -215*q + 226*q - k = 0. Which is smaller: q or 9?
q
Let o = 80.4 - 80.2. Which is greater: 0.1851 or o?
o
Let w be 7*5*1*-1. Let p be (-8 - 12)*18/10. Is p < w?
True
Let r = -31029/4 + 7778. Suppose -4*c + 60 = -c. Which is greater: c or r?
r
Suppose 56 = 19*j + 20 + 17. Is j <= -4/13553?
False
Let n be (-601)/5 + (-20)/(-100). Let u = 121 + n. Which is smaller: 5 or u?
u
Let n = 160 - 159.966. Let t = n + -0.234. Are t and 0.006 equal?
False
Let c = 77407/82 - 944. Let m = c - -87/410. Which is bigger: m or 8?
8
Let h = 43 + 50. Let d = 97 - h. Which is greater: d or 2/19?
d
Let w = -398403/11 - -36053. Which is greater: w or -166?
w
Let u be (2 - 4) + (-1736)/14. Let q = -122 - u. Is -1 at most q?
True
Let z be (-3377309)/(-4302) + (-6)/4. Is z > 784?
False
Let m be (-1 + 25/(-20))*(-30)/711. Which is smaller: m or -1?
-1
Let c = 35 + 72. Suppose -640 = -5*d - n, -d + c = -0*d - 4*n. Suppose 5*o - 3*y - 253 + 101 = 0, d = 4*o + 3*y. Is 0 <= o?
True
Let m(f) = -f**3 + 20*f**2 - 90*f - 13. Let a be m(7). Let z(u) = -u**3 - 10*u**2 - 23*u - 38. Let g be z(a). Which is smaller: -298/7 or g?
g
Suppose -1452 = -11*f + 2376. Is 348 > f?
False
Let r = -2287 + 2288.53. Which is smaller: r or 5?
r
Let c = 3420 + -3416. Suppose u + 2 = 3. Let p be u/(-2)*-3*2. Which is greater: p or c?
c
Let l = -3919 - -1449. Is -2470 greater than l?
False
Let r be ((-1)/(-66))/((-23)/46)*(-4)/134. Is 1 at least r?
True
Suppose -9 - 9 = 2*n - 4*q, 17 = -3*n + 4*q. Which is greater: n or -9/2764?
n
Let i = 76 - 71. Suppose -x - x - 14 = j, -86 = 3*j - i*x. Let w(n) = -2*n**3 + 22*n**2 - n - 14. Let p be w(11). Is p greater than or equal to j?
False
Suppose -3*z - 5*m + 0*m - 9 = 0, z = -m - 1. Suppose -z*u - 2*l + 1 = 3*l, 11 = 2*u - 5*l. Let h = -1 + 6. Which is smaller: u or h?
u
Let j = 724/27 + -22471/837. Suppose -4*c + 3*t = 17, 2*c + 30 = -3*c + 2*t. Let u be 4*-1*2/c. Which is bigger: j or u?
u
Let f = 1858 - 1479. Is f equal to 381?
False
Let d = -0.6453 + -24.5547. Which is smaller: 3/7 or d?
d
Let o = 5279 + -26392/5. Does -522 = o?
False
Let d be (2/(-23))/((-12)/4). Is d >= 3.2?
False
Let x = 15 + -4. Let u = x + -7. Suppose 0*f - 3 = g - f, 5*g = -u*f + 21. Which is bigger: g or 1/27?
g
Let g(t) = -679*t + 589. Let k be g(1). Is k at least 0.103?
False
Let c(n) = 2*n - 62. Let q be c(32). Let w be ((-1463)/(-165) - 9)/(q/(-3)). Which is smaller: 44 or w?
w
Let d = 102 + -42. Let p be 196/490 + 18/5. Suppose p*n - 218 = 30. Is n equal to d?
False
Suppose k = -k - 3*j - 1, 0 = 5*k + 4*j - 15. Suppose -2*s + 26 = -4*x, 9 + k = 4*s + 4*x. Suppose 0*q - 77 = s*q. Is -11 > q?
False
Let u be -5244*5/15*-2. Let j be 2/12*u/138. Which is smaller: 0.1 or j?
0.1
Let n(t) = t**3 - 10*t**2 + 8*t + 9. Suppose -11*b + 8*b + 252 = 0. Let r be 12*(b/(-16))/(-7). Let k be n(r). Is k equal to 2/57?
False
Let s = -0.03325 + -5.96675. Let b = -3 + 1. Which is smaller: s or b?
s
Let q(u) = 3*u**2 + 3*u. Let j be q(5). Let f(l) = -48*l**2 + 1776*l + 30. Let x be f(37). Let y be (-32)/j - (-10)/x. Is y at least 0?
False
Let r = 8784 - 12402. Which is smaller: -3616 or r?
r
Let j be 3822/7 + -8 + -7. Is j != 528?
True
Let t = -196 + 243. Is t at most 50?
True
Let m(u) = -5*u - 25. Let w be m(-9). Suppose -t + g = -2, 4*g + w + 6 = -2*t. Does t = -4?
False
Let o = 261 + -56. Let q be o/10 + 6/(-12). Which is smaller: 23 or q?
q
Let n(a) = 32*a + 23. Let x be n(-9). Let h = x - -268. Is h at most as big as 16?
True
Let j(i) = i**3 - 48*i**2 - 41*i - 666. Let f be j(54). Is 14616 at least f?
True
Suppose -4*v + 2*j + 1040 = v, -1060 = -5*v - 2*j. Let d = 182 - v. Are d and -32 non-equal?
True
Let p = -1824 + 1827. Which is smaller: 239 or p?
p
Let c(m) = -m**3 + 23*m**2 + 118*m + 78. Let d be c(29). Which is bigger: d or -3091/2?
-3091/2
Suppose 5*m + 4*f = 94, 17 = m - 8*f + 7*f. Suppose -3*v - m*v + 63 = 0. Is 0 smaller than v?
True
Let y = -791 - -790. Are y and -3/443 equal?
False
Let n(y) = -2*y**2 + 33*y - 16. Let u be n(16). Let r = -6101/31 - -17107012/86955. Let b = -2/33 - r. Are b and u non-equal?
True
Suppose 135 = -16*w + 70 + 49. Which is greater: -5/1512 or w?
-5/1512
Let n = 373 - 131. Let o = n + -95. Suppose 0 = 3*p + 2*b - 151, -4*p + o = 5*b - 52. Is 51 greater than or equal to p?
True
Suppose 27*y = -676 - 1572 - 479. Which is smaller: y or -1314/13?
-1314/13
Let y(w) be the first derivative of -2*w**3 + 4*w**2 + 4*w + 16. Let z be y(4). Let o be (252/z)/(1/5). Is -21 > o?
False
Suppose 87*q = 21*q. Which is greater: q or 9/2239?
9/2239
Let g = 69 - 60. Let p be 5/g*20/50. Let i(b) = 3*b**2 - 8*b - 3. Let o be i(3). Is o greater than or equal to p?
False
Let f(a) = -a**2 - 26*a - 1. Let d be f(-26). Let r be 8/(-28) - 1/((-14)/(-136)). Let p be -1*2/r + (-4)/220. Is p less than or equal to d?
False
Let k be (-30)/((-6)/3) + 0. Let g be ((-6)/k)/((-6)/(-10))*-72. Let j = g + -48. Which is greater: j or -2/21?
j
Let b be ((-63)/(-168))/(-9 + (-47370)/20). Which is greater: 0 or b?
0
Let s = 6748 + -9088. Which is smaller: s or -2/11?
s
Let p be (-4346)/714 + (88/(-11))/40. Let m = 2/1785 + p. Is m greater than -6?
False
Suppose 13 = 2*c - 5*a, 3*a = -3*c + 6*a + 15. Let i be (-8)/(-14) - c/7. Let m = i + -1/13. Is m at least 1?
False
Let q = 821 + -901. Let f be (-360)/q*8/7146. Which is smaller: f or -1?
-1
Let f(s) = -s + 20. Let z be f(17). Suppose -4 = -5*w + 11, 40 = -u + z*w. Suppose -4*t + m - 114 = -m, 0 = -t + 4*m - 18. Do u and t have different values?
True
Let a = 113447/6 + -18907. Let b = 18.92 + -28.8. Let v = -0.12 + b. Is v at most a?
True
Let r = 367 + -253. Suppose 3*p + 3*p = r. Let d(b) = b**3 - 18*b**2 - 18*b - 18. Let w be d(p). Do w and 2/11 have the same value?
False
Let p = 206 - 207. Let a(c) = -11*c + 12. Let x be a(p). Which is smaller: x or 27?
x
Let w be (5 + -3 + -3)*-5. Suppose -4*s - 4*g + 3*g + 45 = 0, -w*s - 5*g + 60 = 0. Let i = -341 + 341. Is i at least s?
False
Let f(r) = -3*r + 42. Let c be 3 + -4 - (-8)/((-16)/(-30)). Let q be f(c). Let y = 499 + -6477/13. Which is bigger: y or q?
y
Let h = -1337 + 1444. Does h = 106?
False
Suppose -3*z - c - 3*c + 49 = 0, -3*z + 5*c + 40 = 0. Suppose 6*f = -f - 28. Let q be (-4)/1*14/f. Is z at least q?
True
Suppose -167 - 205 = 4*t. Let j = t + 106. Let r be (-2)/2*(6 - j - -2). Which is bigger: 1/4 or r?
r
Suppose 5*q - 5*l - 5 = 0, 17404*q = 17406*q + l + 4. Let z be 1 - (-1 + 149/70). Which is smaller: q or z?
q
Suppose 18 = 2*g + 28. Let i = g + 23/4. Do i and 8 have the same value?
False
Let p = 17569.172 - 17576. Which is bigger: p or 2/7?
2/7
Let l = 510.319 + -512. Let f = 5.149 - l. Let v = -0.17 - f. Which is greater: 3 or v?
3
Let c(k) = 7*k - 97. Let p be c(14). Which is bigger: 8/71 or p?
p
Let u be ((-222)/18 + 9)/(48/9). Which is greater: u or -1?
u
Let z be 76 - 8/12*(-18)/(-4). Let j = 17 - z. Let q = 56 + j. Which is bigger: q or -3/49?
q
Let w be 2/1*24/(-42)*-7. Let g(c) = c**3 + c**2 + 19. Let y be g(0). Is w less than or equal to y?
True
Suppose 6*g - 50 = -4*b + 8*g, -b - 4*g + 8 = 0. Let z be b/((-2)/(24/9)). Is z bigger than 0.1?
False
Let v = 191.107 + -12.107. Is 12 equal to v?
False
Let a be 3 - (7 - 9919/(-35) - 6). Is -281 at most a?
False
Let i(l) = l**2 - 7*l + 9. Let j be i(4). Let v be j/(-501)*-338 - (0 + -2). Which is smaller: v or 0?
v
Let o = 2006 + -2035. Which is greater: o or -30?
o
Let l = 116 + -115.91. Let a = 23.4 + -16.4. Does l = a?
False
Let m be 2/(-17) + (-954)/(-306). Suppose 3*k + m*g = 12, -g - g + 4 = -2*k. Do k and -1/200 have the same value?
False
Let k = 4493 + -5975. Which is smaller: -4 or k?
k
Let p = 793 + -716.8. Let v = p - 34.9. Le