f = t?
False
Let w = -52 - -100. Suppose 0*v - 4*v - 2*f = -w, 5*v - 5*f = 30. Do v and 11 have the same value?
False
Let b be ((-33)/9)/(62/11532*341). Suppose -1 - 3 = -h. Let y be h/(-6)*(-6)/130. Is y > b?
True
Let s be 2/6 + 11/3. Let h be -3*(-36)/81*6/s. Suppose -h*k - 4*z - 74 = 0, -7*k = -9*k + 3*z - 88. Which is greater: k or -42?
k
Let l be (101/(-2) - -2)/(3/(-6)). Suppose -6*a = -49 + l. Which is smaller: a or -55/7?
a
Let p = 10 - 24. Let y be 10845/(-585) - (-66)/(-143). Which is greater: p or y?
p
Let h = 21499 + -21499. Which is smaller: -2619/7 or h?
-2619/7
Suppose -4*c + 53 = -u + 231, -2*u = -4. Which is greater: c or -812/19?
-812/19
Let z be 1/17*(-21 + 20). Which is smaller: 1/18 or z?
z
Let b = -469 + 1427/3. Let w = -46 - -71. Let h = -18 + w. Which is greater: h or b?
h
Let u = -3525 - -3527. Which is greater: -15 or u?
u
Let h be -17 + (-21 - -40) - 224/110. Is h >= 1?
False
Let n be 10/55 - 930002/(-22). Let b = n - 887543/21. Let s = b + -68/7. Which is smaller: 1/7 or s?
s
Suppose -71393*r = -71371*r + 126742. Which is smaller: -5763 or r?
-5763
Let b = 0.08368 - 1.08368. Which is greater: b or 2946?
2946
Let q(l) = -7*l**3 + 345*l**2 - 58*l - 285. Let p be q(49). Is p <= 1678?
True
Let i = -11635.687 - -11629. Is i > -0.1?
False
Suppose -10 + 12 = 2*b. Let h be (234/45)/((-48)/(-55)). Let y = 8867/1464 - h. Which is smaller: y or b?
y
Let u be 250842/(-585102) - (-6)/14. Which is smaller: 2 or u?
u
Suppose -z - 2*d - 3 = 0, 5*d - 10 + 35 = 0. Let g = 0.024 - -3.976. Which is smaller: g or z?
g
Let u = 3102 - 62039/20. Which is bigger: u or 132?
132
Let o = 3.8 - 11.8. Let d = -19 + o. Let l = -26 - d. Which is greater: 12 or l?
12
Suppose -2*i = -95 - 173. Let p be (-4)/(-24) + i/(-12). Let m = 18 - 30. Is m at least p?
False
Let p be (-11 + 39)/(-14)*1174/4. Is p > -584?
False
Let b(a) = -a**3 + a**2 + 2*a - 1. Let t(m) = 7*m**3 + 6*m**2 + 16*m + 3. Let v(d) = -3*b(d) + t(d). Let g be v(-3). Which is smaller: g or -266?
g
Let r = 23 + -22. Let h = -1093.6 + 1093. Which is greater: h or r?
r
Suppose 5*d = 4*x - 2*x - 26, -x - 5*d - 17 = 0. Let z(h) = -h**2 + 4*h - 5. Let n be z(x). Let w be n/3*(-33)/22. Which is smaller: w or 1/34?
1/34
Let y = -9.666 - -5.456. Which is smaller: y or -3?
y
Let g = 3611 - 6080. Is g equal to -2468?
False
Let u = -947 + 946.78. Is 93 greater than u?
True
Let c = 81 + 79. Let y = -159 + c. Which is smaller: 1/53 or y?
1/53
Let p be 29/((-103472)/3680) + (2 - (2 - 1)). Do p and -1 have different values?
True
Suppose 4*n - 3 = 5. Suppose 3*v + 2*k = 9, 7 = 5*v + n*k - 12. Suppose 3*b - v = -s + 25, -4*b - 3*s = -35. Which is smaller: b or 10?
10
Suppose -w = 4*w - 635. Let f be (65/13)/(-20)*-507. Let g = w - f. Which is bigger: 1/3 or g?
1/3
Let w be 2/7*(-15)/12*(-4)/30. Which is bigger: -40 or w?
w
Let d = 1074.9161 - -0.0839. Is -1/4 less than d?
True
Suppose -2*h + 3402 = -2*x, -30*x + 29*x - 1691 = 4*h. Let t = 256/275 + -1414543/825. Let k = x - t. Which is greater: 15 or k?
15
Let h = 0.0568 - 0.1. Let k = h + 1.0432. Is k > -168?
True
Let c = -80 + 57. Let s be ((-200)/(-75))/((-2)/3)*6. Which is greater: s or c?
c
Suppose -6*x + 234522 = 4*x - 53*x. Which is smaller: -5455 or x?
-5455
Let b be 855/(-38)*2/3. Let y be 5/b*(-39)/(-65). Which is smaller: y or 1?
y
Let k = -1346.1 - -1568.1. Is 0 at least as big as k?
False
Let k = -1551.9081 + 1552. Let f = 1.7899 - k. Let u = f + -0.098. Which is greater: u or 5?
5
Suppose 4*v - 2441 = -99*m + 102*m, -3*m + 3*v - 2436 = 0. Which is bigger: m or -806?
-806
Suppose 17 = k - 1. Let v = -12 - -24. Suppose v*b = 17*b - 95. Is b at least k?
True
Let b = 6225 - 6333. Are -32 and b unequal?
True
Suppose 4 = t + 3, 4*b = -3*t - 25. Let c be ((-8)/12)/(18/(-81)). Do c and b have different values?
True
Suppose -76*p - 5283 = -67*p. Let x = -588 - p. Are x and 12/29 non-equal?
True
Suppose -7616 = 4*n - i, 0 = -3*n - 326*i + 322*i - 5693. Which is smaller: -1904 or n?
-1904
Let i(a) = -a**2 + 11*a + 1. Let d be i(-9). Let h be (-2)/7 - d/602. Let w = -45715 + 45715. Which is smaller: w or h?
w
Let u be 112 + -12 + 30 + -11. Is 1.2 greater than u?
False
Suppose -5*g + 10*g - 7978 = 4*m, 4*g - m = 6389. Is g < 0?
False
Suppose -4*j - 5*g = 36, 2*j = -5*g - 41 + 13. Let b be j/(-9) + 1408/72. Which is bigger: 1 or b?
b
Let j be (-2 + 4)/(4 - (-60830)/(-15206)). Let q = j - -5023. Is -46 equal to q?
False
Let n = 469 + -469.7. Is -420 at least n?
False
Let y = -11 - -29. Suppose 2*p + 4*i = y, 12 = -4*i - 0*i. Let b = p - -11. Do 27 and b have the same value?
False
Suppose 0 = 5*n - 4*w - 325, 3*n - 11*w - 202 = -10*w. Suppose -n*v = -87*v. Is -36/31 at most as big as v?
True
Let o(j) = -4*j + 47. Let v be o(11). Suppose -i + v*i + 2296 = 0. Let u = 12619/11 + i. Which is smaller: -2 or u?
-2
Let c = -15.52 - -7.52. Let g(s) = -5*s**3 + 5*s**2 + 6. Let j(f) = 2*f**3 - 2*f**2 - 3. Let p(k) = -3*g(k) - 7*j(k). Let w be p(0). Which is bigger: w or c?
w
Let f = -1 - -4. Let w = -3804.3 - -4037. Let t = w - 232. Which is smaller: f or t?
t
Let d(c) = -8*c**3 - 19*c**2 - 7*c + 6. Let w be d(-2). Which is bigger: w or 848?
848
Suppose -2*z + 383 = 5*t, 2*t - 166 = -5*z + z. Suppose 37*p - 32*p = -t. Which is smaller: p or -13?
p
Let s(z) be the first derivative of 7*z**3/3 + 3*z**2/2 + 3*z + 9. Let w be s(-2). Suppose -14*c + w = -31. Are 21/4 and c non-equal?
True
Let u = 0.5 - 6.5. Let k be (1358/14)/(1*2/(-8)). Let q = k + 387. Is q <= u?
False
Let f = 324 + -210. Let y be 3/(-6) - f/4. Which is smaller: y or -35?
-35
Suppose -53 = -3*t - 2*v, 3*v - 9 = -t + 11. Suppose t*f - 15*f = -334. Is f > -167?
False
Let r(w) = -16*w**2 + 27*w - 15*w - 4*w**3 - 16*w + 3*w**3. Suppose -2*p - 48 = p. Let z be r(p). Do z and 64 have the same value?
True
Let y be (267/(-30) + 8)*6 + 5. Are y and -1749 non-equal?
True
Let q = 12637/649 - 214/11. Let o(b) = b - 16. Let m be o(18). Suppose v = -n, -n + 2*v + 5 = m. Is n greater than q?
True
Suppose 5*z + 4*n = 90, -5*z = -5*n - 10 - 35. Suppose -2*m + 16 - z = 0. Let i(d) = -d + 9. Let k be i(-10). Is m at least k?
False
Suppose -5*t + 6*w + 18 = 4*w, 0 = 3*t + 2*w + 2. Suppose 3*d - l = 4*l, 3*l = -t*d. Let k = -116 + d. Is -116 bigger than k?
False
Let s be 3 + (-7 - (-7 - -4)). Let t be 657/(-292)*2/204. Which is bigger: s or t?
t
Let w = -84 + 99. Let x(y) = -3*y + 47. Let u be x(w). Suppose 5*r = -5*h + 2*r + 12, -3*r + 3 = u*h. Which is smaller: h or -2?
-2
Let r(x) = 47*x + 1. Let d be r(-3). Let c = -109116 + 108977. Which is smaller: d or c?
d
Let o = 1213 + -1212. Let z be 5/(2 - (-84)/(-44)). Is z < o?
False
Suppose -14*v + 20 = -10*v. Suppose -8*s = -4*s - 16, 4*x + v*s = -4. Let k be (-1)/(-2) - 2 - x/12. Which is bigger: k or -3?
k
Suppose 0 = -27*u + 41620 - 21052 + 37320. Which is smaller: 2149 or u?
u
Suppose 8*y - 45 = 3*y. Suppose 13*n = -y*n - 1342. Is n smaller than -60?
True
Let u be ((-4)/(-2))/(-12)*(-14 - (10 + -19)). Which is bigger: -0.09 or u?
u
Let t be -2 + 0 + 0 + -1. Let y be ((-33)/9 + 3)*t. Suppose -22 = y*k - 10. Is k at most -7?
False
Let i = -434 - -949/2. Let j = i - 40. Let t = 253 - 252. Which is smaller: t or j?
j
Let o be 234/(-18) - (-16852)/1296. Which is smaller: o or 0?
0
Suppose -2*s + 4 = 0, c - 5*s = -s - 65. Let n = -47 - c. Let x be (-4)/n + 432/(-20). Is x greater than -1?
False
Let y be (141900/3612)/((-12)/(-7)). Which is smaller: y or 24?
y
Suppose 4*p - 226 = 3*g, 5*g + 396 = -11*p + 8*p. Which is bigger: g or -81?
g
Let a(j) = -113*j**2 - 84*j + 379. Let u be a(5). Is -2868 smaller than u?
True
Suppose -6*l = -3*t - l - 546, 5*t + l = -938. Let f = t - -298. Let c = -79 + f. Is c smaller than 0?
False
Let g(t) = -19*t**2 + 6*t + 3. Let b be g(8). Let x be (2 + -2)/(-2) - b/(-21361). Let z = -3/521 - x. Is z < 0?
False
Let q = -267.82 - -267. Let t = q - -0.72. Let d = -1.9 + 2. Which is smaller: d or t?
t
Suppose -37*u - 22*u + 413 = 0. Let v(n) = 13*n**2 - 122*n - 4. Let m be v(u). Do m and -220 have different values?
True
Let b = 12685.8 + -12697. Which is bigger: b or -28?
b
Let g = -103475/3 + 34919. Let n = -438 + g. Are -3 and n non-equal?
True
Let o(b) = b**3 - 27*b**2 - 3*b + 88. Let m be o(27). Let r(k) = k**3 - 8*k**2 + 8*k - 7. Let q be r(