Let t = -4 - -1. Let i = t + 4. Is m less than i?
True
Suppose -t + 4 = 2. Let l be (-1 - 0)/(t - (2 - -1)). Which is greater: l or 1/16?
l
Let t = -311 + 481. Are 170 and t unequal?
False
Let j be (-7680)/(-144)*(-1)/(-4). Which is bigger: 12 or j?
j
Let l = 6 + -6.1. Let g = l - -0.01. Let q = 0.04 + -0.14. Is g greater than q?
True
Let u be -12 - 5088/(-10 + -2). Which is smaller: 410 or u?
410
Let f = -2.15 + -0.05. Let d = 2.01 + -0.21. Let j = d - f. Is j at most 0.1?
False
Let o = -73.04 - -63. Let i = o - -10. Let k = -5/7 - -3/14. Is k bigger than i?
False
Suppose -6 = 3*t, -3*t = -2*m - 2*t - 80. Does -40 = m?
False
Suppose -50 = -270*m + 265*m. Let d be (2/(-3))/(32/(-444)). Do d and m have the same value?
False
Suppose -25 = -16*g - 9. Is g smaller than 89?
True
Let j(f) = -f**2 + 9*f - 3. Let c be j(8). Suppose v + 15 = 4*v. Suppose v*h + 2*y = -c, 5*h = 2*h - y - 2. Which is greater: 2/11 or h?
h
Let s(m) = 5*m**3 + 12*m**2 - m - 3. Let g(q) = 19*q - 20*q - 2 + 6*q**3 + 4*q**2 + 9*q**2. Let y(f) = -4*g(f) + 5*s(f). Let d be y(-8). Is d not equal to 5/4?
True
Let o(h) be the second derivative of -h**4/12 + 2*h**3 + h**2 + h. Let y be o(11). Suppose 5*m - y = -18. Is -2 smaller than m?
True
Let r be 2/(-5) + (-693)/(-45). Suppose 6*h - 3*h = r, 0 = -3*m + 4*h - 29. Let i be (0 + 4/3)*-3. Which is smaller: i or m?
i
Suppose 4*k + 3*v = -4, 3*k + 1 = 2*k - 2*v. Is 1/245 greater than or equal to k?
True
Let w(d) = d**3 - 3*d**2 + 3*d - 3. Let k be w(3). Suppose -k*o + 4*o = 16. Which is smaller: -7 or o?
o
Let r be (-1 - (-101246)/(-50622)) + 3. Let b = -25462859/177177 + r. Let g = b + 144. Is -0.2 at least g?
False
Suppose -15*l - 200 = -1040. Let i = -63 + l. Is i > 0?
False
Let w = 0.919 + 5.081. Is 91 <= w?
False
Suppose -4*u + 12 = -4. Suppose -6 + u = 2*d. Let y be (-56)/(-66) + (-4)/6. Is y at most as big as d?
False
Let n = 550.9 - 551. Which is greater: 12/5 or n?
12/5
Let l(f) = -19*f**2 - 2*f - 1. Let b be l(-1). Let k be b/(-6) - (3 - 1). Suppose -k = -2*z - 13. Which is greater: z or -5?
-5
Let r(f) = -f**2 - 7*f - 6. Let x be r(-5). Let p be ((-2156)/78)/7 + x. Let c = 2 + -1. Do p and c have the same value?
False
Let g = -54 - -53. Which is bigger: g or -7/11?
-7/11
Suppose -4*t + 0 = 2*h - 50, 2*h - 35 = -t. Suppose h*j = 11*j - 200. Is -49 bigger than j?
True
Let m be (-10)/(1*1/7). Let g = -73 - m. Is g < -4?
False
Let s = 352/7 - 50. Let o be 2/4*(1 - -11). Suppose 4*z = 4*q + 4, 0*q - 4*q - z = -o. Which is smaller: q or s?
s
Suppose c + 157 = 5*k, -2*k + 5*c = -38 - 11. Suppose -m = -1 + 5, k = -2*b - 5*m. Is -43/6 smaller than b?
True
Let i be 1/(-5)*68/34. Do 1.45 and i have the same value?
False
Suppose -3*b = -4*b. Let z be -14 - (-9696)/612 - (-10)/(-6). Which is smaller: b or z?
b
Let m = 6.566 - 2.566. Let g = -1 - -1.2. Let f = g - 0.7. Is m not equal to f?
True
Suppose -10 = 3*h - 2*h. Let n(p) = -5 - 7*p + 1 - 8 + 6*p. Let w be n(h). Which is smaller: -3/5 or w?
w
Suppose 7*q + 1974 = 7777. Is 829 less than q?
False
Suppose 507 + 789 = -16*h. Which is greater: h or -82?
h
Let t = 19421/508 + 5/254. Let a = t + -38. Which is smaller: 1/24 or a?
1/24
Let j = 10 - -2. Suppose f - 4*h - 28 + 1 = 0, f + h - j = 0. Let i be ((-4)/25)/(6/f). Which is greater: i or -1?
i
Let c(u) = 6*u + 21. Let x be c(-5). Suppose 52 = 3*o - 4*m, -5*o + 2*m = -m - 94. Suppose 3*b = b - o. Is x at most as big as b?
False
Let m be 2/2 - (-165)/(-5). Let f = -34 - m. Is f > -11/5?
True
Let d be ((-12)/(-15))/(6/15). Suppose -7 = -5*n - d. Is n at least as big as 17?
False
Suppose 0 = 2*y - 5*m + m + 32, -5*y - 102 = m. Let c(a) = 3*a**2 - 78*a + 17. Let v be c(26). Let f = v + y. Which is greater: -1 or f?
-1
Let f be ((-1)/(-2))/(106/12). Let q = -6826 - -6827. Which is greater: q or f?
q
Suppose 5 = 2*m + l + 3, 0 = -3*l. Suppose 4*t - 102 = -5*o, -5*o + 71 = -3*t - 45. Let h be 6/o*4/(-3). Is m greater than h?
True
Let y = -426095 - -2119659/5. Let z = y + 2153. Let a = -10 - z. Which is greater: a or 1?
1
Let c be (770/10)/(0 + 1). Let x = 87 - c. Is x > 12?
False
Let l = -37.011 + 0.011. Let a = l + 37.02. Are 1 and a equal?
False
Let y = -9549 + 2855148/299. Is 0 at least y?
True
Let m(g) = -98*g + 554. Let a be m(5). Is a not equal to 69?
True
Let n be 10/(74 + -4) - (-81)/21. Are n and 100 unequal?
True
Suppose 0*i - i - 2*g - 2 = 0, -3*i + 4 = g. Let w be ((-528)/(-130))/i - 2. Suppose -43*c = -5*c + 10*c - 48. Is c greater than w?
True
Let a be (-36)/(-342) - (-7580)/(-73454). Let u = a + 119818/13531. Are 10 and u non-equal?
True
Let x be -1389*4/(-1788) + (6 - 9). Which is smaller: -1 or x?
-1
Let f(y) = -y**2 + 16*y - 47. Let r be f(4). Which is greater: 6/169 or r?
r
Suppose -y = y - 4. Suppose 4*n = 4*j + 116, j - n + 37 = y*n. Which is greater: j or -23?
-23
Let k be (8/(-5))/(2/(-5)). Let r = 0 + k. Suppose -3*u = -h + 13, 5*u = -h + r*h - 19. Is h != -2?
False
Let l = 2/1541 + -84/2439403. Which is bigger: -1 or l?
l
Let m be (2 - (0 + 3))*3. Let j be m*3/(126/4). Let c = -17843.4 - -17843. Is c at least j?
False
Let l = -0.721 + 21.721. Let t = -24.5 - -1.5. Let o = t + l. Do o and -0.2 have the same value?
False
Suppose -4*q - 4 = -k, -3*k + 7*k - 16 = 4*q. Let w = -84/19 - -921/247. Are q and w unequal?
True
Suppose -4*i - s = -136, 0 = -4*i + 3*s + 4 + 132. Is 34 greater than i?
False
Let r(k) = -14*k + 112. Let p be r(8). Suppose 50 = 2*g - 0*g. Let f be (6/40)/((-30)/g). Is p >= f?
True
Let q = -31607/246 + 257/2. Is -1 smaller than q?
True
Suppose 4*h = 16, 0*i + 2*i + 3*h - 6 = 0. Let j be 4/(-15) + i*4/30. Let f = -15.5 - 1.5. Is j at most f?
False
Suppose -4*n - 51 = -1251. Let b be (-40)/n*(1 - 4). Let c = -35/627 + -2/57. Which is smaller: c or b?
c
Let s = -28 - -598. Which is bigger: s or 2?
s
Let j be (-2)/(-6) - (-6 + (-36770)/(-5820)). Is 0 != j?
True
Let l be 90/(-60) + 3/2*12/6. Let r = 1 + 1. Let i = r - 1. Is i at least l?
False
Let u be 181/4 - (14 + -10). Which is bigger: u or 42?
42
Let q be -1 + 90/40 + (-183)/108. Is q at most -1?
False
Let m(v) = v**2 + 9*v + 9. Let i be m(-7). Do 86 and i have the same value?
False
Suppose -4*x + 4*g - 52 = 0, -5*g - 12 = -g. Let p = 20 + x. Suppose -p*o + 12 = -o, 0 = h - 5*o + 16. Which is greater: h or 7?
7
Let h be 94/(-5) - 4/20. Suppose r + 4*l - 4 + 3 = 0, 5*r = -3*l - 80. Is h < r?
False
Let z = -26 - -19. Suppose -10 = -q - q + 5*o, 2*o + 3 = q. Is q > z?
True
Let i = 4301 - 107553/25. Is -2 at most as big as i?
True
Let j(l) = -l + 6. Let h be j(5). Let o be ((-40)/(-45))/2*16/416. Is o greater than h?
False
Let g = 0 - -3. Let q(f) = 4*f. Let z be q(-3). Let i = 14 + z. Is i less than g?
True
Let m be (3/1)/((-4)/(-24)). Suppose 0 = -2*l - m - 14. Is -16 at least l?
True
Let f be (-46)/188*(0 - 8990/15). Let l = -440/3 + f. Do 0 and l have different values?
True
Suppose -3*i = -3*s + 15, 2*s - 3 = -4*i - 17. Let y be ((-10)/i + -3)*-10. Suppose c = -c + 12. Which is greater: y or c?
c
Suppose 4*q + 2 = -3*v + 2*v, 5*v = -10. Let y be 4/14 + (-2)/7. Is y at least as big as q?
True
Let i(p) = -p**2 - 15*p - 15. Let l be i(-10). Let s = 247/7 - l. Let f = 34/21 - s. Which is smaller: 0 or f?
0
Suppose 12*o - 7*o + 8*o = 0. Suppose -5*p - 10 + 342 = -3*z, -3*p = -z - 196. Let d = -446/7 + p. Which is smaller: d or o?
o
Suppose 4*r + 5*p + 775 = -0*r, 2*r = 3*p - 415. Which is greater: r or -202?
r
Suppose 15 = 13*q - 8*q. Suppose 2*t - 78 = -5*h, 0*t - q*t = -2*h + 16. Is 12 less than h?
True
Let w be ((-2)/(-6))/(74/(-3)). Let i = 133 + -133. Which is smaller: w or i?
w
Suppose 6 = -3*r + 3*b, -4 = -3*r - b - 2. Let v = -632 + 649. Is v greater than or equal to r?
True
Let d = 22 - 13. Let f be (-10)/15 - 3/d. Is f equal to -7?
False
Let o be 9*(4/6 - 1). Let g be ((-2)/o)/((-184)/12). Which is smaller: g or -1?
-1
Let t be (-1 + (2 - 4))*(-1)/3. Does -1/62 = t?
False
Let r = 17895/29 - 617. Which is greater: r or -0.07?
r
Let l(o) = -3*o**2 - 64*o - 16. Let b be l(-19). Is 117 < b?
False
Let v = -461378 + 5071805/11. Let x = v - -305. Suppose 4*n = 5*n. Which is greater: x or n?
x
Let p(s) = -s**3 - 6*s**2 + s + 2. Let k be p(-6). Let t(v) = -v**3 + 38*v**2 + 39*v + 2. Let l be t(39). Let m = k + l. Is -3 bigger than m?
False
Let c(q) = 