= 0.1128 - -1.2872. Which is smaller: 48 or f?
f
Suppose 56*d = 54*d - 20. Let k be 2*2*(0 + -1). Let b = d - k. Is -9 > b?
False
Let s be 9/(-11) - (-3 + 280/88). Let n be 7/(-5) - (0 - 0). Is s less than or equal to n?
False
Suppose -3*z + 1 = 5*g - 5, -5*g - z = -12. Let c be (-160)/(-30)*-1*g. Is -16 greater than or equal to c?
True
Let q be 254/12*(-24 + 28). Does 85 = q?
False
Let n be (-2)/3 + (-130)/(-6). Suppose h - 19*c = -15*c + 21, 2*c = 3*h - 63. Do n and h have different values?
False
Let o be 2/1*(-5)/(-430). Suppose 5*r - 10 = 5*w, -4*r - 1 + 4 = w. Is r > o?
True
Let h be (-36)/(-45) + 396/(-470). Suppose 4*p + g - 20 = 0, -3*p - 2*g + 15 = 2*g. Suppose -q - 4 = 2*u + 3*u, -3 = 2*q + p*u. Which is bigger: h or q?
q
Let h = -97417/21 - -4635. Are -3 and h non-equal?
True
Let j = 76.874 - -0.126. Let z = j - 77.2. Is -1/11 less than or equal to z?
False
Let x = 1773 - 1706. Is x less than -1/3?
False
Suppose -13*q - 406 = -11*q. Which is smaller: q or -200?
q
Let h be (-2)/(-2) + -157 + 2. Let x be (h/(-6))/7 + 3/(-1). Which is smaller: 12 or x?
x
Let d be 2/(-5) - ((-1840)/(-25))/16. Let l be (5/4)/(1/(-4)). Is d smaller than l?
False
Let h = -200 + 2566/13. Which is bigger: -4 or h?
h
Let r = 68.9 + -69. Let j = r + 6.1. Is j at least 4?
True
Let d be 6 + -3 + -3 - (59 + 1). Let r be ((-41)/(-15) - 3)/(9/d). Is 1 greater than or equal to r?
False
Let z = 692.11 - 688. Are -1 and z non-equal?
True
Let c = 249 - 846. Which is smaller: c or -598?
-598
Suppose -74 = -2*z + 2*r, -12*z + 8*z - 2*r = -130. Is 211/6 equal to z?
False
Suppose 54*x = 60*x - 24. Which is smaller: x or -5/6?
-5/6
Let p = 0.008 + 1.392. Let i = -1.2 + p. Is 14 > i?
True
Let j(f) be the third derivative of f**5/60 - 7*f**4/24 + f**3/2 + 4*f**2. Let n be j(7). Suppose 0 = -5*r + 4*t - n, 2*r - 5 - 3 = -3*t. Is r != -1?
True
Let j = 1/1859 - 2000/262119. Which is bigger: 0 or j?
0
Let l = 17 - 15. Suppose -l = g - 2*g. Suppose -g*y - 4 = -16. Which is smaller: y or -0.1?
-0.1
Let r(j) = -2*j**3 - 45*j**2 + 23*j + 55. Let z be r(-22). Is z >= -935?
True
Let m = -10.07 + 6.24. Let c = m + -0.07. Is -1 at most as big as c?
False
Let h(p) = p + 4. Let y be h(-5). Let n be (y*1)/(-3 - -2). Suppose -10 = 2*q - 7*q. Is n not equal to q?
True
Let t = -500 + 573. Is 70 not equal to t?
True
Let o(j) = j**2 - 7*j + 18. Let x be o(5). Let q = 14 - 7. Which is greater: x or q?
x
Let i = -14.93 + 15. Let q = i - 0.04. Let a = -0.97 - q. Which is smaller: a or -5?
-5
Let i(y) = y**2 - 29*y + 83. Let b be i(21). Which is bigger: -89 or b?
b
Let t = 19 + -14. Suppose t*j = j - 8. Let y be 9 + 5/1 + j. Which is smaller: y or 13?
y
Let q(f) = -47*f - 2. Let v be q(-3). Let s = v + -233/2. Let j = s + -23. Which is smaller: -2 or j?
-2
Let o = 13 + -19. Let l = 3 + o. Let s = 0.07 + -1.07. Which is bigger: s or l?
s
Let i be 99/252 - (-1)/(-4). Let j = i + 5/14. Let p = -6 + 4. Do j and p have the same value?
False
Let c be 35/14*(-656)/50. Is -33 equal to c?
False
Let i = -9429.579 - -9435. Let f = i + -0.021. Which is bigger: 0 or f?
f
Let d(h) = -1 - 2*h**2 - 2*h**2 + 3*h**2 + 4*h. Let x be d(3). Suppose 4*i = -69 + 57. Is x bigger than i?
True
Let n be ((-1012)/55)/((-2)/5). Let i be 23/n + 74/4. Let d = -18 + i. Which is smaller: d or 2?
d
Let y = 707 - 501. Which is greater: y or 204?
y
Let v = 27 + -23. Let o be 130/35 + v/14. Is o bigger than 1?
True
Let y = 3.5 + -8.7. Let q = y + 4.8. Which is smaller: 3/4 or q?
q
Let u(k) = k - 17. Let r be u(15). Let v be (8/(-6)*3)/r. Suppose -c + v - 3 = 0. Which is bigger: -7 or c?
c
Let s = 2/5543 + 853604/49887. Does s = 17?
False
Let s be (2 - 3) + 124/(-4708)*-38. Let i = 857/1177 - s. Is i > 0?
True
Let l = 231 - 402. Is l <= 0?
True
Suppose 5*x - 4*c = -1, 0 = -4*x - 4*c + 174 - 146. Suppose -45 = -3*a + 2*g, a + 3*g - 2*g = 15. Let n be ((-6)/15)/((-4)/a). Is n > x?
False
Let t = -3460 - -3459.9. Let i be ((-9)/(-26))/3*-2. Is i less than t?
True
Let h be (8 - 4) + 193*(-2)/10. Do -34 and h have the same value?
False
Let k(z) = 2*z - 20. Let b be k(5). Let m be (90/(-375))/((-9)/b). Is 1 at least m?
True
Suppose 80 = b + 88. Let k be -7 + 1/(9 - 4). Which is smaller: b or k?
b
Let r be (-4)/5 + (-3 + 1)*-1. Suppose 3*q + 86 = 92. Is q at least r?
True
Let i be 74/(-9) - 10/(-45). Suppose 0 = 5*q - 3*q - 8. Suppose 2*f + 13 = b, -4*b + 12 = -q*f - 4. Which is smaller: i or f?
f
Let c(x) = 3*x - 29. Let s be c(9). Let a be (15/9 + -2)/(s/24). Is -9 at least a?
False
Let r(n) = n**3 - 7*n**2 + 5*n + 7. Let s be r(4). Let j = s + 18. Let x(v) = v**2 + 3*v. Let d be x(-3). Which is bigger: j or d?
d
Let p = -566.81 - -567. Which is greater: 1/7 or p?
p
Let t = 149/50 + -29/10. Suppose -4*s + 4 + 12 = 0. Suppose 0 = -s*b - 0*b. Is t greater than or equal to b?
True
Let v(j) = 11*j - 40. Let n be v(3). Let t be (16/(-10))/((-3)/(-15)). Which is smaller: t or n?
t
Let b = 11/37 - -35191/111. Which is smaller: b or 318?
b
Suppose -j - 3*x - 12 = -0*x, -3*j = 5*x + 20. Suppose -o - 13 = 3*s, 3*o - 2*s - 5 = -j*o. Which is bigger: -2 or o?
o
Let k(g) = 2*g - 10. Let h be k(0). Let i be h/35 + (-351)/21 + -2. Is -19 smaller than i?
False
Let t be (-422)/8 + (-2)/8 + 3. Does -57 = t?
False
Let c be 8/1*(15/(-6) - -3). Suppose 2*v - 4 = -2*k, -3*v - 2*k + c = 3. Is -40/13 <= v?
True
Let d be (-45)/18 + -6*(-2)/8. Is -2/1541 < d?
False
Let x(i) = i**2 - 35*i + 56. Let j be x(9). Is j <= -177?
True
Let g be ((-16)/10)/(4/810). Let s be (3/(-2))/(g/(-1680)). Which is smaller: s or -8?
-8
Suppose -8 = -5*y + y. Let x be (1 - 2/1) + 64/48. Which is greater: x or y?
y
Let z(d) = 71*d - 1. Let v be z(1). Let m = v + -97. Is -26 < m?
False
Let x(r) = -r**3 - 9*r**2 - 8*r. Let g be x(-8). Let h be (g/4)/4 - 2. Let v be (-1 - -3) + 9/(-5). Which is smaller: v or h?
h
Let a = -181/240 - -7/80. Do a and 201 have different values?
True
Let l = 3.2 + -18.2. Let u = l - -3. Let x = 11.8 + u. Which is smaller: 3 or x?
x
Suppose i + 4*i + 10 = 0. Let k = 10 + -13. Let q = k + 1. Is q greater than i?
False
Let o(i) = 11*i - 14 + 2*i**2 - i**2 + 7*i - 8*i. Let z = -53 + 42. Let s be o(z). Which is smaller: s or -5?
-5
Let b = -187 - -193. Which is greater: b or 0.4?
b
Let w be (-2024)/5000 + (-4)/(-10). Let s = 469/32500 - w. Which is smaller: s or 1?
s
Let s be 8/2*6/4. Let t be ((-6)/(-57) + (-160)/(-285))*9*1. Is s not equal to t?
False
Let f be (60/(-50))/((-9)/(-210)). Which is greater: f or -15?
-15
Let f be 0/(-1) + (3 - 6) + 4. Suppose f = -6*t - 29. Let d = -6 + 1. Do t and d have the same value?
True
Let r be (-204 - -201) + (-1 - -4). Let c = 503 + -36215/72. Which is smaller: r or c?
r
Suppose -4*v + 148 = 132. Suppose -4*u - 3*o + 134 = -v*o, -4*o = u - 42. Is u at least as big as 34?
True
Let r be 6*(-1)/((-8)/12). Let u = 4 + -2. Suppose 3*p + a - 18 = 0, -p - p - 4*a + u = 0. Which is greater: r or p?
r
Let v(h) = 3*h + 16. Let i be v(-7). Let m be ((-9)/6)/((-18)/(-24)). Is i bigger than m?
False
Let b = -1286679/353 + 3645. Which is smaller: -1 or b?
-1
Suppose 4*l - 12*s + 67 = -11*s, -2*l - 5*s = 39. Are l and -53/3 unequal?
True
Suppose 17*t = 12*t - 4*j + 6223, -3*t - 3*j = -3735. Is 1243 != t?
False
Let x = 15 - 15. Let b be (0 - -2)/8 - (-2 - -1). Is b less than x?
False
Suppose 4*w - w + 79 = 2*t, -3*t = -2*w - 111. Let d = 31 - t. Let q = -4 - d. Is q >= -4/7?
True
Let s = -1.4 + 0.4. Let t = -13 + 13. Suppose 0 = g - 2 - t. Are g and s unequal?
True
Let x = -13.202 - -0.302. Let j = 13 + x. Let z = 9 + -5. Is z <= j?
False
Let z = 4.79 - 4.99. Let v = -9.2 - -0.2. Which is greater: v or z?
z
Let a = -2322/5 + 99926/215. Is -1 greater than or equal to a?
False
Let x = 60 - 60.03. Let g = x - -1.03. Which is smaller: g or -0.45?
-0.45
Suppose -6*b - 9*b - 915 = 0. Which is smaller: b or -422/7?
b
Let f be 2/6*(-36)/(-20). Is -1.04 <= f?
True
Suppose 66*q = 54*q. Is q < -3/31?
False
Let j = 31 + -12. Suppose 5*k - 25 = -5*i, -4*i - 5*k + j = -0*i. Let z be ((-2)/i)/(77/(-63)). Which is greater: 1 or z?
1
Let y be 1172/5355 + (264/(-108))/11. Which is smaller: 1 or y?
y
Let q = -40 + 43. Suppose p - 4*v = 4*p - 19, q*v = 5*p + 7. Is 18/11 != p?
True
Suppose -2450 = -71*w + 76*w. Let a be (-924)/w - 4/14. Which is greater: 2 or a