w + n = -0*w + 4*c, 3*w = -2*c + 25. Is 7 less than or equal to w?
False
Suppose 22 = -2*h + 3*r + 29, -2*h + 13 = -5*r. Do h and -1/94 have different values?
True
Suppose 465 = p + 2*p. Let b = p + -1237/8. Is -1 < b?
True
Let a be (-6)/(((-3)/(-9))/(2/(-12))). Which is smaller: a or -135?
-135
Let w = -229 + 164. Which is bigger: w or -64?
-64
Let v(h) = -10*h**3 + h**2. Let n be v(1). Suppose 0 = -3*o - 12, -3*o + 96 = -5*d + 73. Is n at least d?
False
Let a be 12/(6000/(-1190)) + 18/12. Is a at most 1?
True
Suppose 19 = 4*g - 17. Let x(c) = c - 5. Let r be x(g). Let v(p) = -2*p + 68. Let m be v(33). Is m less than r?
True
Let w = 0.034 - 1.134. Let r = 0.18 - 1.08. Let j = r - w. Which is smaller: j or 4?
j
Let h = -1.5 + 9.5. Let u = h - 8.4. Let l = u + 0.4. Is l at most 3/5?
True
Suppose 2*v + 4*k + 0*k - 188 = 0, 3*k - 187 = -2*v. Which is bigger: -5 or v?
v
Let f be (-605)/(-250) - (-20)/(-8). Let q = 42 - 42. Which is greater: f or q?
q
Let c be 5/6 + 4/24. Let f = 33 - 1. Let m = 32 - f. Which is greater: m or c?
c
Suppose -2*z + 5*z - 6 = 0. Let f = -1829 + 16477/9. Which is smaller: z or f?
f
Let i = -1.1 - -0.1. Which is smaller: i or 3/37?
i
Let f = -29 + 205. Which is greater: 178 or f?
178
Let a be (-2)/(-72) + 1/(-4). Let j = 33 + -54. Let g = j + 22. Which is bigger: g or a?
g
Let m(t) = -t + 6. Let z be m(5). Let o be (4/5)/(z - (-82)/10). Let q be 3/(-2) - (-2)/4. Is q equal to o?
False
Let s = -1 + 4. Suppose 0 = -4*i - i + s*w + 25, -12 = -i + 2*w. Let l be (-4)/8 + i/(-8). Which is smaller: l or -1?
-1
Let m be 3*4/(-684)*(-21)/(-4). Which is greater: m or 1?
1
Let m = 82 + -72. Let r be 0*5/m*-1. Suppose -2*f - 6*l + 5 = -l, -3*f - l = -1. Is f at most as big as r?
True
Suppose -2*z = -10 - 2. Suppose s + 5 = z. Let p be (s/6)/(1/(-2)). Is 0 less than or equal to p?
False
Let n = -2564 + 299996/117. Is 1 smaller than n?
False
Suppose 2*g - 6 - 2 = 0. Suppose 7 = g*m + 39. Let l = -5 - -1. Which is bigger: l or m?
l
Let r(u) = -u**3 + 29*u**2 - 54*u + 4. Let z be r(27). Is 28/11 < z?
True
Let t = -518.7 - -541. Let z = t - 33.58. Let j = z + 0.28. Is j not equal to -0.1?
True
Let z be 1*(9/12 - 1). Let u be 18/15*260/(-6). Let y be 1 + 3 + 216/u. Which is smaller: y or z?
z
Suppose -22*p = -5*p - 85. Do p and 0.002 have different values?
True
Let s = 1.439 + -1.439. Is s != -1/126?
True
Let u(z) = -9*z**2 + 2*z**3 + 3 + 0*z**3 + z**3 - 2*z**3. Let p be u(9). Suppose -a + 26 = -p*s, -4*s - 10 = -2*s + 3*a. Does -8 = s?
True
Let k = -513 + 514. Is k less than -3/119?
False
Let i be -1 + (776/(-120) - -8). Are i and 2 non-equal?
True
Let g be (63 - -5) + 0/(-1 - 1). Let m = g - 273/4. Suppose -6*f - 8 = -4*f. Is m >= f?
True
Let w = 3.4 + -0.2. Let t = w - 3. Let d = 69.8 + -69.8. Do t and d have the same value?
False
Let y be (2/24)/(9/36*-12). Does 2/31 = y?
False
Let m be -9 - (-6 + -6) - 2. Suppose -2*p + 165 = -7*p. Let o be 17/p - 2/(-6). Which is smaller: o or m?
o
Let k be (6 - (1 - 2)) + -2. Suppose k*r = 10 + 45. Let d(h) = h**2 - 12*h + 11. Let z be d(r). Is z greater than or equal to -1?
True
Let y = 14 + -16. Suppose -27 = -3*z - 9. Let v = -5 + z. Which is bigger: y or v?
v
Suppose -14*m + 13569 = 969. Which is smaller: m or 899?
899
Let g be -19 + 0 - (-3)/(-3). Let h(s) = 15*s**2. Let r be h(1). Suppose -r*q = -13*q + 40. Is g at least as big as q?
True
Let q be 129/270*2 - 1. Let k be 3 - (-3 - -4)*-1. Suppose 11 = k*x + 5*h, -h = -3*x + 2*x - 4. Which is smaller: x or q?
x
Suppose -8*y + 16 = -4*y. Let u be (-5)/(-10) - 22/y. Let b be ((-4)/3 - -1)*3. Which is bigger: b or u?
b
Suppose 10*k - k - 54 = 0. Suppose 0*i = 5*i - 60. Let f be (2/4)/(k/i). Do -1/18 and f have different values?
True
Let n = -0.299 + -0.601. Let j = 11 - 8. Let f = j - 3. Does n = f?
False
Let p = -0.31 + 0.11. Let q = 399 + -245. Let m be (-8)/(-10) - q/165. Is p at most m?
True
Let j = 217 + -219. Let c = -1.9 - -1.1. Let a = 1 + c. Do j and a have different values?
True
Let c be (-38)/(-5) + 14/35. Let z = -3 + c. Suppose 0 = z*i - 3*y + 1, -2*y = 4*i - 7*i. Is i > -2?
False
Let f be ((-93)/6)/(0 - 6/(-12)). Is f equal to -27?
False
Let m be 2/9 - (-20)/(-495). Let r be (-1 - 0) + (50/(-5) - -11). Which is smaller: m or r?
r
Let h(z) = z**3 + 5*z**2 + 4*z + 5. Let j be h(-4). Suppose -4*n = -4*b + 3*b + 29, n - j*b + 12 = 0. Suppose -3*x + 12 = -5*x. Which is bigger: x or n?
x
Suppose 7*d = 49*d + 84. Which is greater: d or -65/24?
d
Let n = -15 + 11. Let u be (2/n + -2)*-14. Let x be 14/u + (-3)/20. Which is smaller: x or 3?
x
Let v = -93 - -104. Suppose 11 = v*q - 0. Which is smaller: 3/19 or q?
3/19
Let m = 242 + -973/4. Let j(k) = k**3 + k**2 + k. Let l(o) = -o**3 - 10*o**2 + 11*o - 1. Let v be l(-11). Let p be j(v). Are m and p nonequal?
True
Let i be 0 + -4 + (1 - -1). Suppose 8 - 14 = 6*d. Which is bigger: i or d?
d
Let z be (2 + -2 - -1)*5*1. Suppose -4*g = z + 7. Let o = 14 + -21. Is o at least g?
False
Let b = -24 - -50. Let h = b + -28. Let k(z) = -z**2 - 4*z + 3. Let s be k(-3). Which is bigger: h or s?
s
Let o be (-2*(-2 + 3))/2. Let b = 10497/20 - 525. Which is bigger: o or b?
b
Let g = -478/17 - -468/17. Let y = -121/119 - g. Do y and -1 have different values?
True
Let p = 15 + -21. Let j(m) = -5*m**2 - 6*m. Let u be j(p). Let t = u + 3314/23. Which is bigger: 1 or t?
1
Suppose 139*w - 138*w - 29 = 0. Suppose 0 = -3*i + 2*k + 80, 4*i + k - 125 = -0*k. Is i less than or equal to w?
False
Suppose 0 = -21*v + 20*v - 3. Let o be v/(-6) + 15/50. Is 2 at least as big as o?
True
Let f = -0.0488 - -0.1388. Is -1/82 less than f?
True
Let g = -394.1 + 395. Let v = -0.7 + 1.8. Let j = -1 + v. Is j at least as big as g?
False
Let s be ((-2)/(-20))/(15/(-6)). Suppose 2*o = 4*o - 2. Suppose 0 = -2*x - x + 3, -o = 2*v + x. Which is bigger: v or s?
s
Let z(w) = -9*w - 5. Let i be z(3). Let n = i - -32. Is 5/16 not equal to n?
True
Let a(k) = -2 + k - 2*k + 0*k - 2. Let y be a(-5). Let f be 3/y - 264/56. Which is smaller: -1 or f?
f
Let g = 355/26 - 132/13. Is 3 less than g?
True
Let m = 68 - 44. Let u be (-10 - -9) + (m - 1). Suppose 0 = -5*l + 73 + u. Which is smaller: 20 or l?
l
Let d be 3/15 + 2570/(-12600). Which is smaller: 0 or d?
d
Let q = -2415/19 + 127. Suppose -10 = 2*p, -3*p + 7*p = -4*z - 8. Suppose 5*u - 8 + z = 0. Is q greater than u?
False
Suppose -n + 17 = 2*s, 0 = -5*s + 4*s + 2*n - 4. Suppose 4*c - 18 = s. Does c = 6?
True
Let b = 2521 + -2520.8. Is 0.0724 <= b?
True
Let b(y) = 331*y + 1003. Let u be b(-3). Let x = 15 - 22. Let q = x - -18. Which is smaller: q or u?
u
Let o(v) = 0*v + 2*v + 4*v + 23 + v. Let u be o(-8). Is u at most -33?
True
Let t = -15 + 17. Let d be (4 - t)*5/(-165). Is d at least 0?
False
Suppose -3*w + 4 = 1. Let q = -1.27 + 1.4. Let x = q - 0.13. Which is smaller: x or w?
x
Let r(j) = -2*j + 50. Let b be r(0). Let s be (-1)/(-3) + b/(-15). Let d(v) = v**2 - 5. Let t be d(0). Is s less than t?
False
Let i(v) = -v + 7. Let c be i(6). Suppose 4*h + c = 5*j, -2*j - h = -0*h + 10. Let p be j - (-4 + -2) - -1. Is p equal to 8/3?
False
Let z = -552248/108771 - -2/8367. Which is greater: z or -4?
-4
Suppose -3*o = k + 135, 5*k - 2*o - 40 + 698 = 0. Which is greater: k or -134?
k
Let q = 0.06 - -1.94. Let n = -256.29 - -255. Let d = n - -0.29. Is q <= d?
False
Suppose 3*a = -5*t - 457, -t + 5 = -2*t. Which is smaller: a or -145?
-145
Let y = -536481/1522 - 12/761. Let u = -30327/86 - y. Is 0 less than or equal to u?
False
Let s(j) = j**2 - 20*j + 4. Let m be s(23). Let v = m + -72. Is v at least 0.012?
True
Let a be (-777)/3654 - (-2)/12. Are -1 and a non-equal?
True
Suppose -d = -3 - 13. Let t be 60/d*1/(-3). Let j(g) = g**2 - 8*g + 5. Let c be j(7). Which is bigger: t or c?
t
Let q be (-78)/12 + 3/6. Let i(l) = -l**2 - 8*l - 9. Let t be i(q). Let f = 0.08 + -2.08. Is f greater than or equal to t?
False
Let d = -9.87 - -5.87. Are -81 and d unequal?
True
Suppose a - 2*a + 7 = 0. Suppose 1578 = -a*b + 4*b. Let o = b - -15252/29. Which is smaller: -1 or o?
-1
Suppose -3*a - 4*r + 3*r + 4 = 0, r = -5. Suppose -a = -5*d + 22. Suppose d*z + 6 = 11. Is 9/4 equal to z?
False
Let c be (-4)/6 - (-14)/(-6). Let p = -55.922 + 56. Let s = p - 0.048. Which is smaller: c or s?
c
Let w = -68274688762423/292