
Let j = 0 - 1. Let o = -0.4 - 1.3. Which is smaller: o or j?
o
Suppose 4*z + 13 = b, 3*b + 2*z = 3*z + 6. Suppose 4 = 3*c + b. Suppose -c + 5 = 2*k. Which is smaller: k or 0.07?
0.07
Let y be 3162516/3848 - (-8)/52. Let t = y - 822. Is 0 >= t?
False
Let l = 444 - 296. Which is bigger: l or 147?
l
Let d = -4 - -2. Let j = -2/397 + 6753/794. Let n = j + -9. Are d and n equal?
False
Let l = 0.2 + -0.3. Suppose 2*f + 104 = 116. Is f at most as big as l?
False
Suppose 109*f = 22*f + 9831. Suppose a - 4*a + 5*s = -354, 3*a + 2*s = 333. Is a not equal to f?
False
Suppose -4*a - 29 = -6*a - 3*g, 0 = 5*a + 5*g - 80. Let j(c) = c**3 - 6*c**2 - 3*c - 9. Let r be j(7). Is r > a?
False
Let i = 7227/3416 - -4/427. Is 0 at most as big as i?
True
Let s be 2/(-12)*-6 + 219/(-21). Which is bigger: -9 or s?
-9
Let o(d) = d**3 + 6*d**2 + d + 2. Let i be o(-3). Let t = 28 - i. Let h = 1 + 0. Which is smaller: t or h?
h
Let c = -24 - -40. Let o(l) = 2*l**2 + l - 4. Let t be o(-2). Let v be t/(-8) - 61/(-4). Is c at least v?
True
Suppose -4*l + 0 = -3*t + 16, 0 = 3*l - 4*t + 19. Let q be 0/(l/3*-6). Is q greater than -4/5?
True
Let h = 0.23 + -0.133. Let j = -0.003 - h. Is -2/7 > j?
False
Let j = -66526/63 + 1056. Let a be 24/8 - (-4 + 1 + 5). Are a and j equal?
False
Suppose 10 = 4*a - 5*b, -1 - 3 = a + 2*b. Let v = 17.9684 + 0.0316. Which is smaller: a or v?
a
Let w = -2 - -5. Suppose -w = -3*z + 3. Suppose 4*c - z*c = -2. Are 1/5 and c non-equal?
True
Let f = 5.1 - 0.3. Let n = 0.2 + f. Let d = 1.2 + -1.3. Does n = d?
False
Suppose 2*f = r - 22, 3*f + 24 = 8*r - 7*r. Which is smaller: r or 20?
r
Let z = 3045 + -3153. Does z = 0.1?
False
Let g = 364 + -365. Is g less than 3/589?
True
Let w = 133.05 + -0.05. Let s = w - 134.7. Is s >= -1/3?
False
Let g = -9 - -5. Let m(v) = 2*v**3 + 4*v**2 - 6*v - 7. Let y be m(g). Is y less than or equal to -47?
True
Let k = -13101 + 2731. Let w = k - -51522/5. Let c = w + 66. Which is greater: 1 or c?
1
Let o = -36 + 112/3. Let v be (-2)/7 - (-65)/7. Let g be 6/v - (-4)/(-6). Is g less than or equal to o?
True
Let c = -5/199 - -1249/2189. Suppose 14 - 4 = 5*y. Which is bigger: y or c?
y
Let q be (-3)/(-15) + 56/20 + -38. Which is smaller: -67/2 or q?
q
Let n be (7/(-2))/((28/8)/7). Is -1 bigger than n?
True
Let p be -28*7/(-21)*6/(-26). Let s = -304/117 - p. Does s = 0?
False
Let h = -1721 - -1716. Are -33 and h unequal?
True
Let k = -140 - -139. Is k at least 1/26?
False
Let h = 29 + -29. Suppose 2*g = -2*b - 2*g + 26, 3*b - 24 = -3*g. Suppose h = z + 2*z + b. Which is greater: 1/19 or z?
1/19
Let d = 3.14 - 11.14. Which is smaller: d or 0?
d
Let g be 60/(-75)*(12 - (1 - 2)). Which is smaller: g or -11?
-11
Let p = 93 - 93.93. Let t = p + 0.03. Let i = -0.1 + t. Which is greater: i or -0.3?
-0.3
Suppose d - 3*p + 2 - 4 = 0, -2*d = -3*p - 13. Suppose 2*a = -3*n + d, -5*n + 3*n = -3*a - 3. Which is greater: a or 1/4?
a
Let i = -191 + 191. Let m be 18/7*(-2)/(-6). Is i equal to m?
False
Let j = -0.341 + 78.341. Which is smaller: -0.2 or j?
-0.2
Let i be 124/48 + -1 + (11 - 13). Which is smaller: -4 or i?
-4
Suppose -10 = 2*c - 42. Suppose -5*p - 21 = -c. Are -6/29 and p non-equal?
True
Let g be (2/6)/(13/3). Let v(n) = n**3 - 11*n**2 + 15*n + 26. Suppose r + 4 - 17 = 2*o, -3*o = 3*r - 21. Let c be v(r). Which is smaller: g or c?
c
Let a = -41875/81 + 517. Which is smaller: 0 or a?
0
Suppose 30 = -5*i - 30. Suppose 0 = 3*k + 4*u + 47, 4*k + 314*u + 50 = 315*u. Is i > k?
True
Let f = -911 + 1105. Is 193 at least as big as f?
False
Let g = -1660 - -1660.2. Which is bigger: g or 53?
53
Let f be (124/(-4))/((-2)/(-6)). Which is bigger: f or -1/5?
-1/5
Suppose 0 = -4*w - 20, 2*n + 2 = -2*w - 8. Suppose -2*s - 488 = -n*s. Let i = -503/2 - s. Which is smaller: i or -9?
-9
Let l be (-9)/(-3) - (4 - 6). Suppose z + l - 2 = 0. Let t be z - 2/(-1 + 11). Is t at least -3?
False
Let v(l) = 27*l + 1. Let p be v(1). Let q(d) = -d**2 + 38*d + 68. Let t be q(39). Are t and p non-equal?
True
Let j = -77 + 172. Let q = 102 - j. Is q equal to -0.1?
False
Suppose -13 = -3*s - w, 0*s - 3*s - 5*w = -17. Suppose 4*x = 4*n + 3*x + 2, -4*x + 8 = 0. Let h be -2 - (2 + n + -10). Do h and s have different values?
True
Let z be ((37 - -1) + 0)*7278. Let d be z/(-46700) + 3 + 3. Let t = d + 1/467. Which is bigger: t or 0?
t
Let w be ((-96)/(-21))/8 + (-272)/84. Which is smaller: -4 or w?
-4
Let u(m) = -2*m + 16. Let k be u(11). Let t be 6/(-4) + (-3)/k. Let v = 5 - t. Do v and 1 have different values?
True
Let j(g) = g + 18. Suppose 2*m + 9 + 19 = 0. Let s be j(m). Suppose p = s*p. Is 1/2 less than p?
False
Suppose 4*d = 16, 37 - 29 = 2*p + 2*d. Which is smaller: 2/987 or p?
p
Suppose 0 = t - 3*t + 4. Suppose 6*m - 4*m - t = 0. Suppose 8*l + 2 = 9*l. Which is bigger: l or m?
l
Let i be (331 - 4)/(-3)*-1. Which is smaller: 108 or i?
108
Let m be 3 + 2 + -1 + 8. Let w = -1 + m. Which is smaller: 2 or w?
2
Let f = 8 - -111. Suppose -10*g = -3*g - f. Is g smaller than 49/3?
False
Let q = 1917 - 208951/109. Is q at least as big as 0?
True
Let j = -34 + 22. Suppose z = -2*z - 12, -3*z = -5*k + 42. Suppose k*m + 33 = 3*m. Which is smaller: j or m?
j
Let v = -7686/31 - -248. Let j(g) be the second derivative of g**4/12 - 5*g**3/2 + 13*g**2 + 90*g. Let c be j(13). Is v >= c?
True
Let k = -124.0587 - -0.0587. Do -1/5 and k have different values?
True
Let n = -7960273/545 + 14606. Let q = 2671/287215 + n. Let w = 2623/3162 + q. Which is smaller: 1 or w?
w
Let c(w) = -3*w**2 - 63*w - 61. Let j be c(-20). Let x = -284 - -14485/51. Is x less than or equal to j?
False
Let f be ((-19)/(-2))/((-3)/(90/(-5))). Let q be 0 + (f - (-3 + 3)). Is 58 not equal to q?
True
Let v be (-136)/10 + 120/(-300). Is -35 > v?
False
Let g = -74 + 52. Let l = -293 - -294. Which is bigger: g or l?
l
Let n be (-32)/(-18)*3/4. Let i be -1*(-8 + 6/3). Let m be 28/20 - i/15*1. Is n smaller than m?
False
Let b = 18 - 13. Suppose 0 = i - 5*i - 8. Let r be i - (-3 + -7 + 3). Is r > b?
False
Suppose 4*u = 4*p - 272, -5*p - 4*u = u - 350. Is p smaller than 69?
False
Let t = 10019/13 + -770. Let n = 294/481 - t. Are 1 and n unequal?
True
Let h(n) = n**3 - 13*n**2 - 15*n + 15. Let z = 17 - 14. Suppose 4*s = 2*c + 56, -s - 3*c + 11 + z = 0. Let u be h(s). Which is smaller: -2/65 or u?
-2/65
Let p(a) be the first derivative of -a**4/4 - 2*a**3 + a**2/2 + 5*a + 11. Let x be p(-6). Is 3 at most x?
False
Let l = 30 - 36. Is -5 smaller than l?
False
Let r be (-47)/((-1)/1) + (80 - 88). Suppose 3*s - 5*s = -80. Is s smaller than r?
False
Suppose -v + 3 = 2*a - 0, -a + 5 = -3*v. Let q = 0.9 - 6.9. Is q less than or equal to v?
True
Let x = 461 + -41957/91. Is x bigger than 0?
False
Suppose 437 = 5*j + 3*k, 2*j + 4*k = -2*j + 356. Suppose -87*o = -j*o - 14. Is o at least 7?
True
Let v be (20/(-12))/(3/18). Let x be 27/15 - 2/v. Suppose -3*n - 1 = x. Which is greater: -5/7 or n?
-5/7
Let y = -161.329 - -0.329. Which is greater: 0 or y?
0
Suppose 5*n = -0*n. Let r be (-676)/(-36) - (-4)/18. Suppose r*y - 7 = 18*y. Is n bigger than y?
False
Let u be (-18)/8*(-11 + 10/6). Which is smaller: 22 or u?
u
Let n be (-110)/(-140) - (-1)/(-2). Is n smaller than 61?
True
Let f = -18 - -44. Let n = -42547/2 + 21298. Is f > n?
True
Let z be (2 - -1) + (-6 - 7). Is z equal to -35/4?
False
Let v = -73.5 + 69. Let s = v + -19.5. Let z = 0 + 1. Do z and s have different values?
True
Suppose -3407 + 215 = -19*z. Is z >= 168?
True
Let b = 1.5 - -0.5. Let h be (6*(-58)/(-1624))/((9/2)/(-3)). Which is greater: b or h?
b
Let w be 0*4/(-16)*4. Are 9/149 and w non-equal?
True
Let m = -28.4 + 5.4. Let w = m + 23. Let q = 0.1 + 0.9. Is w < q?
True
Let i = 12354/17 + -727. Let x = 106/187 + i. Which is smaller: x or 0?
0
Let s = -15 - -21. Let o be s/(-2) + -4 + 0. Let q = o - -48/7. Is 2 != q?
True
Let z = 154.7 - 155. Which is smaller: z or -12?
-12
Let m = 130 + -115. Suppose -5*b - 5*d - m = 0, 2*d + 4 = -3*b - 3. Which is bigger: -4/35 or b?
-4/35
Let w = -92819/140 - -663. Is w at most 0?
False
Let y(u) = -u**3 + 3*u**2 + 5*u - 4. Let t = -20 - -23. Let g = 7 - t. Let i be y(g). Do i and 1/21 have different values?
True
Let t = -9411/574 - -476/41. Is -6 bigger than t?
False
Let b = 13 - 15. Let q(v) = v**2 - 6*v - 3. Let r be q(6). Let