2)/(-3) - 1993/(-3). Let x = t + -23273/35. Is 1 at most x?
False
Let u(j) = -4*j**2 + 5*j**2 + j**2 - 1 - 2*j. Let d be u(2). Suppose 5 - 20 = d*w. Is w > -4?
False
Suppose -2*j + 3*c = -0*j, 3*c = 0. Suppose -4*a + m = -10 - 7, 0 = 5*a - m - 21. Suppose -16 = -0*r + a*r, -2*k - 6 = r. Is k != j?
True
Let u = 0.08 + 0.02. Which is smaller: 12 or u?
u
Let k be (-3)/3*(1 + 1). Let b be (-2)/(k + 16/10). Is b at least as big as 5?
True
Suppose -z - z = -5*a + 22, -2*a = 2*z + 8. Let l = -12 - z. Let o be (4/l)/((-10)/(-15)). Is o equal to 0.2?
False
Let c be 5/(2/(-4) + 0). Let t be c/(-21) + (-4)/12. Let d = -1.2 + 1.2. Is d != t?
True
Suppose -39 = 3*t + 33. Let m be t/(-35) - (-2)/(-5). Which is smaller: m or -1?
-1
Suppose -4*x + 18 = -x. Suppose 0*d = d + x. Is d greater than -5?
False
Suppose -p + 46 = -3*p. Are -14 and p nonequal?
True
Let z = -2 - -3. Let y = -1 + z. Does 2 = y?
False
Suppose 0 = 5*i - 3*i. Let n be (-39)/14 + (7 - 4). Let b = -1/126 - n. Is i less than b?
False
Let v be 2/(1*(2 + -1)). Suppose 2*o + 6 = -v. Let q(h) = h**2 - 4. Let w be q(0). Are o and w non-equal?
False
Suppose 5*k - 53 = -4*i, -3*k + 5*i = -0*k - 17. Let w be (2/(-4))/(2/8). Let z be 0 + 3*4 + w. Which is smaller: k or z?
k
Suppose 8 = -4*f - 12. Let g be (-18)/f - 6/(-15). Suppose g*r = 5*j + 6, 2*r - 1 = 3*j + 1. Which is smaller: j or 3?
j
Let z(u) = u**3 - 2*u**2 - 2*u - 1. Let o be z(-1). Let w = 33 + -67/2. Is w less than o?
False
Suppose 16 = -n + 5*g - 5, n = -3*g + 11. Suppose i - 3*w = -21, 3*i + 4*w - 26 = 4*i. Let y be 1 + 1/(i/4). Which is smaller: n or y?
n
Let k = -66 - -35. Do k and -31 have different values?
False
Let p be (-6)/(-15) + 2/(-5). Let v = 7/17 - 1/85. Is v at least as big as p?
True
Let h(b) = 4*b + 50. Let p be h(-16). Is -17 at most as big as p?
True
Suppose 0*f + f - 2 = 0. Is 3/2 less than f?
True
Suppose 0*r = 5*r. Suppose -5*q - 5 = -5*a, r = q - 2*q - 3*a - 9. Is 2 less than or equal to q?
False
Suppose -10 = f - 5*z, 4*z + 6 = 5*f - 7. Let t(h) = -h + 5. Let j be t(-9). Suppose 3*s = 1 + j. Is f at most as big as s?
True
Let j = -10016/9 - -1114. Which is smaller: 1 or j?
1
Let c be 4 - 5 - 13/(-7). Let r = -333 - -997/3. Which is smaller: r or c?
r
Suppose -1 = i - 22. Let o be (-8)/i - (-2)/(-7). Is -1/4 equal to o?
False
Let s = -0.02 + 5.02. Let a = 9 - s. Is a < 1/2?
False
Let p(y) = -56547*y + 4. Let j be p(-4). Let l = j - 148834409/658. Let z = -3/94 + l. Are 0 and z nonequal?
True
Let s be ((-1)/4)/((-2)/8). Which is smaller: -2 or s?
-2
Let x = 84 + -95. Is 0.1 at least x?
True
Let x(u) = u + 3. Let s be x(-5). Let o = 1 + s. Let l be (1 - 1 - o)/(-1). Is l not equal to -2/7?
True
Let y = 282 + -89. Let z = y - 1348/7. Which is smaller: z or 0?
0
Suppose 2*h + 20 = -2*h. Suppose -j - 5 = -b, b + 0*b + j = 3. Let p be (-2)/b - (-36)/(-8). Is h > p?
False
Let n be ((-6)/(-6))/(25/(-4) - -1). Which is greater: -1 or n?
n
Suppose 3*k - 6 = 2*k. Suppose -g + 50 = -k*g. Which is smaller: g or -11?
-11
Suppose 0 = 11*c - 13*c + 14. Which is greater: c or 10?
10
Suppose -3*g = -g - 8. Suppose -4*s - 1 - 23 = -g*m, 5*m - 2*s = 36. Do 7 and m have the same value?
False
Let z = 105 + -106. Let a be (-82)/(-282) - (-1)/(-3). Which is bigger: z or a?
a
Let t = -0.01 + -0.09. Let g = t + 0. Which is bigger: g or -3?
g
Suppose -13 + 1 = -6*o. Is 2/5 greater than o?
False
Let f be 5/15 - 38/6. Is f >= -5?
False
Suppose 0 = 2*g - 4*g. Is 6/5 bigger than g?
True
Let s be 18/48*-4*2/3. Is s bigger than -2/45?
False
Let l = -308 - -2762/9. Which is greater: 0 or l?
0
Let b = 21 - 23. Which is bigger: -0.02 or b?
-0.02
Suppose 1 = 4*y - 7. Suppose 0 = y*o - 3*o - 28. Let m = -113/4 - o. Which is greater: m or 0?
0
Suppose m = 4*i + 3*m + 2, 15 = 5*i - m. Let j be 324/300 + (1 - i). Which is greater: 0 or j?
j
Suppose l - 4*u + 14 = u, 5*l = -u + 34. Suppose 0 = -w + 2*w - 5. Is l greater than or equal to w?
True
Let x = 1.59 + -0.29. Let u = x + -0.3. Which is smaller: u or -1?
-1
Let y be 10/(-60) - ((-38)/12 + -1). Is y > 2?
True
Let k = -0.16 - 0.54. Let p = -9 + 10.3. Let d = k - p. Is d not equal to 0?
True
Let q be (9/4)/((-2)/(-8)). Suppose 16 = -5*d + 61. Does q = d?
True
Let m = 0.256 + -0.156. Let f be (-2)/(0 + 2 + -15). Which is bigger: f or m?
f
Suppose 2*n = 4*n. Which is bigger: -1 or n?
n
Let z(q) = q**2 - 3*q + 2. Let a = 5 - 3. Let v be z(a). Suppose -r + 1 = -3*p, 2*p + 5*r - 25 = -3*p. Do p and v have the same value?
False
Let p be ((-2)/(-6))/(6/(-162)). Let f be 3/p*-13 - 1. Which is greater: f or 3?
f
Suppose -5*s + 10 = -10. Suppose 0 = -3*j - s*m - 20 - 20, 3*j - m = -20. Is -6 smaller than j?
False
Let x(o) = o**2 + 5*o. Let w be x(-5). Let a be (38/20 - 2)*6. Do w and a have different values?
True
Let s = 110 + -65. Do s and 46 have the same value?
False
Suppose 5 = w + 2*w - 5*i, 0 = 3*w + 5*i + 5. Let v = -98/3 - -32. Is w greater than or equal to v?
True
Suppose 93*n - 89*n = -28. Is n smaller than -7?
False
Let b = 13 + -5. Suppose i - 3 = n, -7 = -4*i + n + b. Suppose 7 = 3*x - 8*x + 3*c, c - i = 0. Is -2/9 not equal to x?
True
Let f be (-3)/2 + 1 - 7/14. Let c = 221/3 + -2201/30. Is f at least as big as c?
False
Let k be (-9)/(((-52)/24)/13). Which is greater: k or 53?
k
Let j be (0 + (-20)/85)/(-4). Is -1/2 bigger than j?
False
Let r(a) = a + 6. Let o be r(-6). Let c be ((-2)/(-4) + 0)*(-322)/138. Is o less than or equal to c?
False
Suppose -58 = -5*l + 3*l. Let w = 40 - l. Is w less than or equal to 12?
True
Suppose -4*b + 2 + 10 = 0. Suppose 0 = -3*d - b*k - 6, 5*k + 0 + 10 = 3*d. Is -1/3 at least as big as d?
False
Suppose -5*m = o - 0*o - 7, -2*m - o + 1 = 0. Let c be m/42 + 10/(-30). Which is smaller: 0 or c?
c
Let n = -13 + 12. Is -8/13 less than or equal to n?
False
Let u be 4 - -18*(-4)/28. Is u not equal to 1?
True
Let t(o) = 2*o**2 - 11*o + 2. Let p be t(5). Let i = 5 + -8. Do i and p have different values?
False
Let m = 2 - -1. Let a be 3 - (120/22 - m). Is 1 smaller than a?
False
Suppose -4*s + s - 15 = 0. Let l be (-5 - s)/(0 - -1). Let y be (16/10)/(-2 + 0). Which is greater: y or l?
l
Let s = 135 + -135. Which is bigger: s or -3/28?
s
Suppose 0 = -0*f - 4*f + 4*c - 2476, 0 = -5*f - 5*c - 3045. Let q be 1 - 3/(-1380)*f. Let t = q + -3/46. Which is bigger: -1 or t?
t
Suppose -2*y + 3*y - 3*p - 25 = 0, -3*y + 51 = -p. Suppose 3*f + 5*n + 1 = -y, f + 2*n + 7 = 0. Is f at least 2?
False
Let r = 4/11 - 41/22. Suppose -5 + 6 = -f. Which is bigger: f or r?
f
Suppose 3*d = 6*d + 36. Let k be (-2)/9 - d/54. Suppose -1 = -k*n - n. Is n != 2/23?
True
Suppose 2*u = 3*u + 14. Let c be (-10)/u + (1 - 2). Let p = -37 - -35. Which is smaller: c or p?
p
Let f(o) = -2*o - 27. Let g be f(-13). Is g at least -1/10?
False
Let u(d) = -d**3 + 8*d**2 - 7*d + 3. Let i be u(7). Let t be 16/i + 1/(-3). Suppose 5*a - t*v - 8 = a, -a + 2 = 5*v. Is 1 smaller than a?
True
Suppose -5*j - 11 = -u + 1, -5*u + 5*j + 20 = 0. Suppose -191 = u*c - c. Let f = c - -1339/7. Which is bigger: 0 or f?
f
Let t(p) = -p - 4. Let l be t(-9). Suppose -l = f - 0. Let b = -1 + f. Is b smaller than -6?
False
Suppose 4*h + 5*i - 2*i - 2 = 0, 0 = 4*i - 8. Which is smaller: -2/23 or h?
h
Suppose 4*g - n + 0 = 1, g + 3*n + 16 = 0. Is -1 not equal to g?
False
Let g be (3/(-18))/((-12)/(-54)). Which is greater: 0.1 or g?
0.1
Let c(q) = q**2 + 5*q - 6. Let r be (-4)/2 - -1*3. Suppose -4*m = o + r + 13, -3*m = 5*o + 36. Let l be c(o). Which is smaller: l or 2/7?
l
Let i be 1 + 3 + (-11466)/2863. Which is greater: 1 or i?
1
Suppose -3*z - 57 = f - 3*f, 3*z + 2*f + 45 = 0. Is -16 <= z?
False
Let o = 0.04 + 1.96. Let h = 1.7 - o. Let b = -0.3 - h. Are b and -2 equal?
False
Let x be ((-1)/(-8))/((-1)/(-6)). Suppose 7*h + 7 = 21. Which is greater: h or x?
h
Let n = -280 - -282. Let l = 0.2 - 0.1. Which is smaller: n or l?
l
Let q(a) = a**2 + 4*a + 5. Let u be q(-2). Suppose -6*y - 4*n = -3*y - 7, -u = y - 2*n. Do y and 0 have the same value?
False
Let o = 8548/37 + -194149/370. Let z = o + 294. Is -1 less than z?
True
Let r = -16/25 - 163/50. Let d be (-2)/((15/(-11))/3). Let v = d + r. Is v smaller than 0?
False
Let k(l) = -2*l - 10. Let q be k(-11). Let w be (0 - 1) + (-6)/(-2). Suppose -w*x = 2*x + q. Is x at most as big as -1?
True
