t f be ((-25)/276675)/((-1)/6). Are f and 0 nonequal?
True
Suppose -2*l + 61 = 2*l + 3*n, 5*n = -5. Let d = 7 - l. Let p = d - -9. Which is bigger: 12 or p?
12
Suppose 17*c - 16*c - d - 473 = 0, 0 = 2*c - 3*d - 943. Which is greater: 0.1 or c?
c
Let d(r) = 7*r**2 + 5*r - 4. Let g be d(4). Let f = g + -899/7. Which is smaller: f or 1?
f
Suppose -16 = -3*t - t. Suppose -8 = c - 3*r - 11, 2*c - 6 = 2*r. Suppose -27 + 7 = -5*z, -4*g - c*z = -t. Which is bigger: g or -4/7?
-4/7
Suppose 3*q - 15 = 0, -w + 4*q + 2 = 4. Let n = 16.21 - 16.7. Let v = n + 0.49. Which is bigger: w or v?
w
Let q = 0 - -10. Suppose -q*z - 4 = -6*z. Let g be (0*z/(-2))/2. Is 0 not equal to g?
False
Let l = 2 + -2. Let n = 0.1 - l. Is 0.1 less than or equal to n?
True
Suppose -4*q - 5 = s, 0 = -3*q - 4*s - 13 - 7. Which is smaller: q or 1/14?
q
Suppose 5*h - 75 + 75 = 0. Are h and -19/16 equal?
False
Let b = 22 + -34. Let p = -23/2 - b. Which is smaller: -4 or p?
-4
Let m = 45 - 45.4. Let c = -12 - -11.3. Let i = -0.6 - c. Which is greater: i or m?
i
Suppose -4*f - n = -2, -5*n + 1 + 9 = -4*f. Suppose -3*g = -f*g + 3, 5*v = 5*g + 75. Is 15 at most v?
False
Suppose -19*b + 478 = -54. Is 31 > b?
True
Suppose -4*t + 4*u - 61 = -u, 4*u = -2*t + 2. Let i be (-2)/t + (-96)/(-27). Do i and 3 have different values?
True
Let k = 230407/98 - 2351. Is k at most as big as 0?
False
Let o be 0 + (-23)/(-1)*1. Suppose -2*g + o + 23 = 0. Suppose -3*f = x + g, 3*f + 19 = -0*f - 5*x. Is f > -8?
False
Suppose -3*j = -c + 2*j + 16, 3*j = c - 10. Let y be 5 - (0/c)/(-3). Suppose -4*f + 10*v - 5*v = -10, -2*v - 21 = -5*f. Is f less than y?
False
Suppose -3*o + 4*j - 11 = 0, 2*j - j = -3*o - 1. Let f be (2 - (1 - o))/2. Let p be 1/(-3)*(-1 + f). Which is smaller: p or -3?
-3
Suppose 5*u - 6*k + k = -40, 18 = -u + 3*k. Let l be u*-2*4/(-8). Which is smaller: -2 or l?
l
Let f be (2/8)/((-247)/(-228)). Let m = f - 35/39. Which is smaller: m or -15?
-15
Suppose -5*v + 4*w + 265 = -w, -4*v + 184 = 3*w. Let s = 41 - v. Which is smaller: -11 or s?
-11
Suppose -4*g - 6 = -22. Let s be 48/78*(1 + -2)/g. Are -1 and s equal?
False
Let h(i) = -i**3 - i**2 + 2*i + 6. Let l be h(0). Let b(f) = -5*f**3 - 2*f**2 + 1. Let y be b(1). Let d be y + 2 + 3 - -6. Is l at most as big as d?
False
Let v = -9220559 - -15186259943/1647. Let j = v + 18/61. Which is smaller: j or 0?
j
Let u(s) = -2*s**2 - 2*s + 1. Let b(o) = -10*o**2 - 10*o + 5. Let c(d) = 2*b(d) - 11*u(d). Let g be c(1). Let h = -0.08 + -0.22. Which is bigger: g or h?
g
Let d(h) = -h**3 + 38*h**2 + 2*h - 77. Let z be d(38). Which is greater: z or 2/319?
2/319
Let s be 21/(-2)*6/9. Let g(l) = -7*l - 3*l**3 + 0*l**3 + 2*l**3 + 1 - 8*l**2. Let i be g(s). Is i at least 1?
True
Let s = -120646/201 + 1801/3. Which is smaller: s or 0?
0
Let x(u) = 6*u - 10. Let a be x(1). Which is bigger: 2/27 or a?
2/27
Suppose -3*v + 571 - 634 = 0. Which is greater: 5 or v?
5
Suppose x - 62 = 5*y - 2*x, 8 = 2*x. Suppose 21 = -g - 4*s, -4*s = 4*g - 0*s + 48. Which is greater: g or y?
g
Let u = -24991/2550370 - -1/8227. Is u <= 0?
True
Let d(h) = -6*h - 55. Let y be d(-12). Suppose 30*p - 26 = y*p. Let a(r) = r - 4. Let j be a(0). Is p at least as big as j?
True
Let m be (-8)/(-10) + (-8)/(-40). Suppose -r + m = 10. Let t be 3/r - (-21)/9. Is t > 2?
False
Let j = 41 - 15. Suppose 4*f - 3*q + q = 36, 0 = 3*f - 2*q - j. Let s be (-1)/f*30/(-12). Which is bigger: s or -0.9?
s
Suppose -2*b = -n + 7, n = 3*b + 3 + 7. Let c be (-30)/(-24) - (-3 - n). Suppose o = 3*l - 15, 0 = 2*l + 5*o - 32 + 5. Which is smaller: l or c?
c
Suppose 3*l - 321 = 5*f, -f - 3*f + 3*l - 258 = 0. Let z = f + 44. Let m = z + 18. Which is bigger: m or -2?
m
Suppose 3*i = -8 - 82. Let c = 26 + i. Let h(m) = -m**2 + m + 2. Let q be h(3). Is c >= q?
True
Suppose -s = -3*z - 0*s + 20, 2*z = -2*s. Suppose 124 = -z*q + q. Is -31 > q?
False
Suppose -4*s + 2*s = 0. Suppose s = w - 0 - 1. Let h(r) = 160*r - 2240. Let t be h(14). Is w <= t?
False
Let l(g) = -g**3 + 53*g**2 - 48*g - 207. Let d be l(52). Which is smaller: d or -3/2?
-3/2
Let u = -6.7 + 3.9. Which is smaller: u or 0?
u
Let u = -54/5 + 3124/255. Is u greater than or equal to 1?
True
Suppose -8*x = -6*x - 6. Suppose -w + 5 = -3*t + x, -2*w - 5 = -3*t. Is -7 greater than w?
False
Let n be (-4)/(-2) - (0 + 1). Let a be ((-180)/(-25))/(4/30). Let x be ((-3)/a*3)/(4/(-40)). Which is greater: x or n?
x
Let r(p) = 18 - 11*p + p**2 - 12 + 0*p**2. Let d be r(10). Let j be 3 + d - 6/(-3). Which is smaller: 3/2 or j?
j
Suppose 3*i + 50 = 11. Let y = -7 - i. Suppose y = -4*g + 2*w, -3*w + 8*w = -3*g - 24. Is g not equal to 0.2?
True
Suppose -2*f + 0*f = -2. Let k = -26517/14 + 1894. Is f > k?
True
Let u = -755 + 8343/11. Is 3 bigger than u?
False
Let c(s) = s**3 + 17*s**2 - 13*s - 66. Let l be c(-18). Which is smaller: -2 or l?
l
Suppose -n - n - 1008 = 0. Let d be (-38315)/76 - (125/(-20) - -6). Let w = n - d. Is w smaller than 1?
True
Let b(o) = o**3 + 2*o**2 + o. Let n be b(-1). Suppose 4*u = -4, n*u = -3*z + u + 352. Let l be ((-6)/8)/(z/24). Which is smaller: 0 or l?
l
Let z = 44 + -14. Let b = 44 - z. Are b and -1/2 nonequal?
True
Let g(z) = -z**2 + 2*z - 2. Let r be g(-6). Let n(w) = -w**2 - 5*w - 14. Let s be n(-7). Let k = s - r. Which is smaller: 23 or k?
k
Let n(g) = 21*g - 20. Let x be n(1). Which is greater: -20/59 or x?
x
Let n = -551/23 - -24. Which is smaller: -4 or n?
-4
Let f = -404 + 402. Let x = -0.3 + 0.31. Does x = f?
False
Suppose -38*i + 33*i + 90 = 0. Which is bigger: i or 13?
i
Suppose t = -44 - 46. Let h = t - -91. Is 3/13 at most h?
True
Let f = 1.62 + -2.02. Is f < -11?
False
Let p = -6 - -5. Let w be (-82)/(-30) + 3*(-4)/4. Are w and p equal?
False
Let u be (-1)/645*6*(1 - 0). Which is greater: -1 or u?
u
Suppose 0 = 3*l + 3 - 27. Let f be -1 + 4 + -8 + l. Let v be f/6*6 + 2. Which is bigger: 13/3 or v?
v
Let v = -21.6 + 51.6. Which is smaller: v or -0.2?
-0.2
Let w = -17 + 8. Let r(f) = -3*f - 3. Let s be r(w). Suppose -9*o = -5*o - s. Is -1 <= o?
True
Suppose 0*o + 3*q - 3 = -3*o, q - 3 = o. Let h be (0 + -1)/(o/(-2)). Which is smaller: h or -3/2?
h
Suppose 5*x - 70 = 5*d, 3*d + 5*x + 7 = x. Let n be 4/16 + d/68. Which is bigger: n or -1?
n
Let c be 7 - 6 - -2*45/6. Let a(d) = -3*d + 2. Let w be a(-4). Which is smaller: w or c?
w
Let m be (-6)/8*10/(-18). Let y(o) = -o**2 - 27*o + 160. Let z be y(5). Which is bigger: z or m?
m
Let f = 11097731/19329 + -50850/379. Let i = 440 - f. Is -1 < i?
True
Let x be 1/2*(-4)/1. Let n be x/(-1) + -1 + -1. Let b(l) = -5*l + 73. Let o be b(15). Do n and o have the same value?
False
Let i be (60/(-40) - 5/2)/2. Which is smaller: -19/9 or i?
-19/9
Let f(v) = 2*v**3 - 95*v**2 - 52*v + 192. Let m be f(48). Which is bigger: m or -4/143?
m
Let x = -1 + 30. Suppose -12*r = 14*r. Does r = x?
False
Let j = 79.85 - 79.3. Is -2 smaller than j?
True
Suppose -n = 3*o, -2*o = 8*n - 3*n - 13. Let j(v) = v**2 - 3*v - 2. Let z be j(o). Suppose z*g - 1 = 15. Which is greater: 9 or g?
9
Let q = -429.32 - -423. Is q >= 0?
False
Suppose 12 = i - 7*i. Suppose -5*w = q + 26, -18 = 4*q - w + 2. Which is bigger: q or i?
i
Let y(l) = -51*l - 125. Let j be y(-31). Are j and 1456 equal?
True
Let q = -262/63 - -40/9. Let k(y) = -y**3 - 7*y**2 - y - 1. Let w be k(-7). Let h be 3/(-7) - w/(-21). Which is greater: q or h?
q
Let h = -55 + 47. Which is bigger: -9 or h?
h
Let b = 88 - -6. Let c = -1221/13 + b. Let j be (-2)/((-1)/1) - 1. Which is smaller: c or j?
c
Let d be 0/((-4)/(-4))*1. Suppose d = -0*y + 4*y + 52. Let s = -14 - y. Is 0 > s?
True
Let r be 1/(1*2/(-8)). Let a be 3 + 1 - (-10)/(-2). Let x be a + 10/(-4) - -1. Which is smaller: x or r?
r
Let v = 5.957 - -0.043. Is -3 != v?
True
Let z be (-19 + 1)/(2/4). Suppose 6 = 40*m - 41*m. Let t be (-14)/12 + m/z. Which is greater: t or -1/8?
-1/8
Suppose -12*d + 18*d = -1260. Which is greater: -211 or d?
d
Suppose 0 = -3*z + 17 + 13. Let g be -4*z/(-15)*(-3)/(-8). Which is smaller: g or 3?
g
Let o = 9.37 - 9.39. Are 1/10 and o nonequal?
True
Suppose -1920*d - 144 = -1918*d. Which is greater: d or -70?
-70
Let u(v) = -2*v**2 - 132*v + 24. Let f be u(-64). Are 280 and f non-equal?
False
Let t(x) = x**2 - 8*x + 14. Let v be t(6). Suppose -2*w - 4*y = -w - 338, v*w - 5*y - 624 = 0. 