t b = k + y. Which is smaller: -0.06 or b?
b
Let a be (-4)/(-22) + (-10566639900)/(-2662528). Let d = -122997/31 + a. Let l = d - 39/32. Which is bigger: -1 or l?
l
Let d = -74 - -43. Let t = d - -24. Is -8 >= t?
False
Let p = 182 - 180. Is 1/24 equal to p?
False
Let y = -1/46159 - 92271/2169473. Suppose 3*p - l = 9, 0 = -4*p + 5*p - 3*l - 3. Suppose p*x - 12 = -3*d, -x + 5 = 4*d - 2. Which is bigger: y or d?
d
Suppose 0*t + 6 = 2*t. Suppose y = -t*y - 8. Let r = -2480/3 + 825. Which is bigger: r or y?
r
Let d = 17 - 20. Let w be 2/d*(-12)/8. Let f = 0.33 - -0.47. Are f and w equal?
False
Let z = 284 - 284.154. Are z and -2 nonequal?
True
Let z be (2/6)/((-75)/(-9)). Let c = 1.794 + -0.794. Do c and z have the same value?
False
Let k be ((-24)/315)/(2/5). Let y be (-1 - 0)*(-14)/(-14). Is y != k?
True
Suppose -2*u + 4*g = 2*u - 4, u - 5 = 5*g. Suppose 90 = -5*h - u. Which is bigger: h or -19?
h
Let q = -40 + 61. Let p = 0.169 - -6.731. Let j = -7 + p. Which is smaller: j or q?
j
Let z(g) = 4*g**2 + 7*g + 8. Let x be z(-1). Which is smaller: 7 or x?
x
Suppose 6*n - 5 - 1 = 0. Let b be (-3 - 42)*(-24)/5. Let l = -1723/8 + b. Which is smaller: n or l?
l
Let y = -29 - -31. Suppose -y = -f + 2. Is f at least 4?
True
Let t = -16 + 38. Let p = -20 + t. Which is smaller: p or 11?
p
Let z = 149 + -134. Let b be (-5)/20*(-20)/z. Which is bigger: -11 or b?
b
Let k = -47 + 66. Let l = k + -22.2. Let g = l - 0.8. Is -1 less than or equal to g?
False
Let b = -3/638 + 29375/5742. Is b > 4?
True
Let f be 16/273 - (-6)/(-156)*4. Let s = 4/21 - f. Let v = 9 + -14. Which is smaller: v or s?
v
Let y = 157.9 - 158. Do y and 2/241 have different values?
True
Let c = -18 + 20. Let n = -27 + 51. Are c and n non-equal?
True
Let v be (-9)/(-18)*(-248)/27. Which is bigger: -5 or v?
v
Let f be 8 + 1 + 1 + -5. Suppose 0 = 2*m + 1 - f. Suppose 2*t + 4 = -4*a, -m*a - 2 = 3*t - 0*a. Do 1/21 and t have different values?
True
Suppose -5*i = 4*r - 77, 2*r - 4*i = -2*i + 34. Suppose u + r = 2*h + 3*u, -u + 17 = 3*h. Which is smaller: h or 20?
h
Let x = -0.0797 - 0.0703. Let r = -0.31 - -0.01. Is r equal to x?
False
Let j be (-6)/(-15)*(0 + -5). Let n be j - ((-60)/(-33))/1. Is n less than or equal to -4?
False
Suppose 0 = -2*d - 4*t - 22, -5*d - 2*t - 19 = -t. Let l = -143/2 - -693/10. Which is bigger: l or d?
l
Let l(t) = 3 + 18*t**2 + 2 - t**3 - 8*t**3 + 7*t**3. Let h be l(9). Which is smaller: h or 7?
h
Suppose 2*z + 1 = 3*a + 18, -a + 6 = z. Suppose -5*i + 3*y = -4*i + z, 0 = 4*i - 5*y + 14. Is -3/19 <= i?
False
Let x be (2/(-2))/((-6)/(-384)). Is -62 bigger than x?
True
Let f(w) = -w**3 + 10*w**2 + 10*w + 15. Let n be 4 + 8 - (-2)/(-2). Let c be f(n). Suppose -c*q = -20, q - 6 = -3*j - 2*q. Do j and -4 have different values?
True
Let t = 0.62 + -29.62. Let m = -33 - t. Which is bigger: -5 or m?
m
Let k = 82.29 + -83. Let c = k + 0.61. Which is bigger: c or -0.2?
c
Let h = 25352/7 + -3659. Is -38 not equal to h?
True
Let i = -23 - -21. Is -299 equal to i?
False
Let i(n) = -2*n + 21. Let v be i(-16). Let u = -60 + v. Is u equal to -2?
False
Let l = 3 + -3. Suppose o + 0*y - 2*y - 5 = l, 3*o + 5*y = -29. Let c = -1560 - -1555. Is o at least as big as c?
True
Suppose 4*s + g - 1681 = 0, 3*s + 7*g = 11*g + 1237. Let j be (-74)/(-3)*474/(-28). Let c = s + j. Which is greater: 1 or c?
c
Let w be 4/8*32/(-904). Which is bigger: -1 or w?
w
Let r be (3/(-3))/1*31. Let o = r + 25. Let d be ((-3)/o)/(3/(-6)). Which is bigger: d or -7/8?
-7/8
Let o = 90 - 177. Which is greater: 1 or o?
1
Let f = 1254.2 - 1254. Let b be 2/(-4)*(2 + -8). Suppose -2*t = -l - 9, 23 = -2*t + 7*t - b*l. Is t at least as big as f?
True
Let m = -153.8 + 154. Suppose -3*q + 103 = 4*s, 3*q + q = 4*s - 68. Is m smaller than s?
True
Suppose 2*c - c = 0, -5*f + 130 = 3*c. Let s be (-19)/(-6) + (-39)/f. Is -0.2 greater than s?
False
Let h = -31449/13 - -2419. Let t = 55/12 - 23/6. Is h at most as big as t?
True
Let s = -23.9 - -23.801. Let r = -0.129 - s. Which is smaller: 8 or r?
r
Suppose 5*b = -2*v + 19, -v + 5*b - 17 = -2*v. Suppose -v + 0 = -c. Suppose i - c + 3 = 0. Is -1/2 bigger than i?
True
Let z be (-12)/(-9)*(-8)/((-128)/24). Is z greater than or equal to -0.12?
True
Let u = 18 + 20. Let o be 150/(-675) + 2/(288/u). Which is smaller: 0 or o?
0
Let u be -1*9/6*26. Suppose -727 = 16*g - 119. Are g and u equal?
False
Suppose 6*o - o + 50 = 3*r, 0 = 2*r - o - 31. Suppose 2*m = -2*c + 24, -2*m + 0*c + r = 5*c. Let v = 16 - m. Which is bigger: 2/7 or v?
v
Let u(a) = -a**3 + 8*a**2 - a + 4. Let t be 5 - -3*(-3)/(-9). Let f be u(t). Which is bigger: f or -1?
f
Let z be 2/4*0 + 2. Let o(k) = k**2 - k - 1. Let q be o(4). Suppose -z*u = x - q, 0*x + 3*u + 15 = 3*x. Which is smaller: x or 5?
5
Let s = 0.6 - 0.6. Let c = 1 + 1. Let p = 2.3 - c. Is p greater than s?
True
Let q(d) = -18*d - 404. Let l be q(-21). Which is smaller: -280/11 or l?
l
Let j = -784 + 790. Is j at least 3/184?
True
Suppose 0 = -21*g - 3666 - 2340. Which is greater: g or -285?
-285
Let z = -8 + -37. Let f be (-3)/(-9) + 140/(-15). Let o be 2/f + (-550)/z. Is -1 at most o?
True
Suppose -304 = -v - 89. Suppose -5*m - v = 40. Let g be -1 - -1*m/(-45). Does g = 1?
False
Let v = -595/4 + 149. Which is bigger: -217 or v?
v
Let n = 0.08 + -0.27. Let s be 0 + -1*(2 - 1). Which is bigger: n or s?
n
Let p = -90 - -90. Let d be 2 + 1 - (5 - (p - -2)). Is 6/25 < d?
False
Let p be (-5)/(0 + 3 - 2). Let c(f) = 5*f**3 + 3*f**2 + 2*f + 1. Let y be c(-1). Is p less than y?
True
Let z = -0.1 - -0.1. Let t = 254 + -170. Let x = t - 83.9. Is x < z?
False
Let j = 16 + 23. Suppose 9 - j = 2*b. Let u = 16 + b. Which is smaller: 8 or u?
u
Let w = -1.575 - 0.025. Let y = -1.7 - w. Let d be (-2)/(1*2 - 1). Is y > d?
True
Let f = 5/169 - 603/8957. Suppose 16*n - 20 = -4. Which is bigger: n or f?
n
Suppose 3*h + 5*z - 50 = 0, -6*z + 11*z - 30 = -h. Let i(m) = -m**2 + 11*m - 6. Let j be i(9). Is h at least as big as j?
False
Suppose 2*w + k = -299, 5*w + 577 = -4*k - 163. Let f be (-4)/(-14) - w/56. Suppose f = -2*u + 5. Which is greater: u or -4?
u
Let i be (-68 - 334)*2/3. Is i not equal to 0.1?
True
Let s = 27 + -15. Suppose -2*k = k - s. Suppose 7*p - 3*p - k = 0. Is 2 at most as big as p?
False
Suppose 8 = 2*f + 38. Let l = f - -11. Let q be 4 + (4 - 4) + l. Which is greater: q or 1?
1
Let n = -10.6 + -42.4. Let m = -55 - n. Let j be (1 - (-64)/(-26)) + 1. Is m > j?
False
Let r = -160.59 + 21.59. Which is bigger: 2 or r?
2
Let d = 2 - 5. Let g(p) = 4*p**2 + p. Let u be g(-1). Suppose 4*t = -2*l - 20, 0*t - 5*t - u = -3*l. Is t bigger than d?
False
Suppose -17 = -5*f - 2. Suppose 3 = -2*m + 5*m. Suppose f*o + 2 = -m. Which is smaller: o or -3?
-3
Let w = -10 + 9. Let n(a) = 12*a - 2. Let y be n(-9). Let z be y/(-175) - (-3)/(-7). Which is smaller: w or z?
w
Let c = 2.2 - -1.4. Let b = -37.6 + 37. Let l = c + b. Which is smaller: 0.2 or l?
0.2
Suppose -4*f + 4232382 = -2*c - 2674736, 0 = f + 2*c - 1726772. Let o = f - 67323128/39. Let t = o + -544. Are t and 0 non-equal?
True
Suppose -3*y = 3*n + 12, -12 + 1 = -4*n + 5*y. Which is smaller: 227 or n?
n
Suppose -2*z = -2*x + 18, 4*z = 3*z - 2*x - 9. Let o be 6/z + (-2)/(-3). Which is smaller: o or 2?
o
Let c be (2/(-5))/((-9)/540). Let u(o) = 3*o - 5. Let j be u(10). Which is bigger: j or c?
j
Suppose -2*t + 10 + 10 = 0. Does 16 = t?
False
Let v = -7.3 - -7.2. Is 23/10 greater than or equal to v?
True
Let x be (-33)/22 + (-2)/(-4). Let n be (x/(-3))/(14 - 13). Which is greater: n or 0.53?
0.53
Let p = 525 + -525.1. Is p >= -38/3?
True
Let g = -0.56 - -0.468. Let h = -0.008 + g. Which is bigger: -8/13 or h?
h
Let o be ((-6)/(-5))/((-6)/(-760)). Suppose 0 = 4*i - 764 + o. Let t be i/(-340) - 2/(-10). Which is smaller: -3 or t?
-3
Let b = -19 + 23. Suppose 4*m - 2*u - 6 = 3*m, 0 = -b*m - 4*u + 48. Let x be 4/8 - 5/m. Does -2 = x?
False
Let t(u) = 18*u + 66. Let s be t(-18). Is s less than -258?
False
Let a = 533 + -1169. Is -635 greater than a?
True
Let z be -66*(-2)/((-4)/(-2)). Let s(q) = q**2 - 43*q + 109. Let g be s(42). Is g less than or equal to z?
False
Suppose -5 = i - 12. Let l(t) = t**3 - 6*t**2 - 6*t - 11. Let r be l(i). Is -8 bigger than r?
False
Let s(u) = 4 + 37*u + 1 - 38*u. Let r be s(7). Which is smaller: