
False
Let r be (-1 - 1)/(14/105*-5). Let u be r/12 + -1 + 149/188. Is u greater than or equal to 0?
True
Let z = -43 + 63. Suppose -5*b - z = -3*y, 5*y = b - 0*y + 26. Let d = 25/22 + -193/165. Is b smaller than d?
True
Let u = -0.1 + -101.9. Let n = 101 + u. Which is bigger: n or 4?
4
Let f = -87.5 + 87.3. Which is smaller: f or -2.28?
-2.28
Let x = 131 - 66. Let v = -83 + x. Which is smaller: 1/2 or v?
v
Let z = 40.2 - 40. Do -396 and z have the same value?
False
Let f be ((-7)/(105/(-138)))/(1/(-5)). Let j = f - -46. Are -1/46 and j unequal?
True
Let o(m) = 5*m**2 + 32*m + 12. Let y = 172 + -178. Let d be o(y). Suppose -2*l = 3*c - 1, 2*l + 0 = -8. Is d smaller than c?
True
Let s = 2912 + -2891. Let r = 3 + -2. Is r greater than or equal to s?
False
Let t(r) = -r**3 + 7*r**2 - 7*r + 3. Let f be t(6). Let j = f + 19/6. Suppose -1 = 2*k + 1. Which is smaller: j or k?
k
Let g = 126273/10166 + -423/34. Which is bigger: 0 or g?
0
Let a = -1963 + 1965. Let n = -25.94 + -0.06. Which is smaller: n or a?
n
Suppose 5*y + 6*m - 35 = m, -2*y = 4*m - 6. Let s(a) = a**3 + 25*a**2 + 25*a + 24. Let z be s(-24). Suppose -4*x + z + 40 = 0. Which is smaller: x or y?
x
Let i be -5 + 0 + (282/42 - 2). Do i and 0.051 have the same value?
False
Let a = 183 - 332. Let q = 83 + a. Let s be q/(-4)*(-8)/12. Which is greater: s or -12?
s
Let g be 3847/1870 - 4/2. Let z = g + -1/85. Suppose 4*y + 4 + 2 = -2*n, 6 = 5*y - 2*n. Which is greater: z or y?
z
Suppose 5*q - 50 = -4*g + 43, 0 = -3*q + 4*g + 43. Suppose -q*x - 14 = -16*x. Is -8 at most as big as x?
False
Suppose -4*i = 5*q - 82, -2*i + 20 = q - 3*i. Suppose -3*k - q = 2*n, 7*n - 3*k = 4*n - 12. Let d(j) = j**3 + 5*j**2 - 6*j. Let p be d(n). Is p at most -2/15?
False
Let k = -42874092 + 2701122880/63. Let c = 4421/7 - k. Let t = -243 - c. Which is bigger: t or -0.1?
-0.1
Let a = 1933 - 1866. Is 75 less than a?
False
Suppose -4*u = -12*u. Let a = 62.98 - -1.02. Is u != a?
True
Let a = -8 - -13. Suppose -5*m - 4*r + 0 = 8, 0 = -5*m - 5*r - 10. Suppose m = -0*o - 3*o + 21. Are a and o non-equal?
True
Let t(p) = -137*p - 679. Let v be t(-5). Let q(m) = 6 + 0*m + 2*m - m. Let w be q(0). Is v less than or equal to w?
True
Let q = -0.0617 - 0.0383. Let y = 66 - 39. Which is smaller: q or y?
q
Let s(z) = 2*z**2 + 2*z + 4. Let k be s(3). Let o be 4/k*(-2 + 4). Which is bigger: 6 or o?
6
Let h = -1258.864 - -1259. Is -3/5 at most h?
True
Let h(a) = -26*a - 28. Let w be h(4). Is w greater than or equal to -133?
True
Let t be 10/4*16/(-6636)*15. Let v = -63592/6083 - t. Which is greater: -11 or v?
v
Let h = 1886 + -1885. Is h less than -1/143?
False
Let k be 2/2 + (1 - -3). Let n = 57 + -62. Is n at least as big as k?
False
Suppose q - 4*o = -2*q + 18, 4*q - o - 24 = 0. Suppose f - q*f - 7 = -4*b, -7 = 2*b + f. Let g be (-180)/(-24) + 3/b. Which is bigger: g or 8?
8
Suppose 3*r = 3*f + 54, 3*f - 42 = -4*r + f. Let x be (r/(-3)*-6)/2. Which is smaller: x or 14?
x
Let t(u) = 13*u + 3. Let i be t(4). Suppose -4*w = 3*v + i, w - 22 = 3*w - 4*v. Let m = -0.9 + 1. Is m != w?
True
Let s be (3 - (-90)/(-28))*(-3 - 111). Let t = s + -9070/371. Which is smaller: 0 or t?
t
Let q = 0.2 - 0.11. Let m = 0.17 - q. Let k = -0.2 + m. Which is smaller: 0 or k?
k
Let a be (-2014)/(-57) - (-4)/6. Let g be ((-1)/(10/(-76)))/((-18)/(-90)). Which is greater: a or g?
g
Let w be 4/(-8) + (-11)/(-2) + -3. Is 3 smaller than w?
False
Let f = 1238.1 - 1238. Let h = 119 - 829/7. Do h and f have different values?
True
Let f be (-3)/((-3)/(-7)) + 0. Let n(o) = 36*o - 1. Let a be n(3). Suppose -9 + a = -14*y. Is y >= f?
True
Suppose 3*u + 5 = -f, 9*u - 3 = 8*u + 2*f. Is u equal to -32/35?
False
Let d = 15 + -32. Let i = d - -18. Suppose 0 = -q - j + 1, -6*q + 3*q + i = j. Is 1/17 greater than or equal to q?
True
Let h = 0 + -3. Let i(q) = -5*q - 4. Let c be i(h). Let v = c - 20. Are -9 and v non-equal?
False
Let d = 0.38 + -33.38. Is 5 <= d?
False
Suppose 3*w + 3*u = -2*u - 1, 5*w - 13 = -u. Suppose 2*q = q + w*q. Is 2/35 smaller than q?
False
Let w be -3 - ((-4536)/(-572) + -4). Let p = w + 72/11. Are 1 and p nonequal?
True
Let o = 202.4 + -203. Do -11 and o have the same value?
False
Let o = 171/115 + -2/23. Let l = -61/40 + o. Do 1/3 and l have the same value?
False
Let t = 16 + -15.92. Let s = -0.08 + t. Let p = -0.1 - s. Which is smaller: 2/19 or p?
p
Let d be ((-60)/855)/(2*1/3). Let o be 6/(4/(-2)*-1). Let v = 2 - o. Which is greater: d or v?
d
Let h(w) = 8*w**2 + 5*w - w**3 - 2*w**2 + w**2 - 6. Let u be h(5). Let l be -2 + 4 - u/39. Are l and 1 unequal?
True
Suppose 126 = 3*w + l, 2*w - 2*l = -0*l + 84. Suppose w*m + 5 = 43*m. Which is smaller: 1 or m?
1
Let p = -1842 - -215512/117. Is -9/7 smaller than p?
True
Let h = 7 + 4. Let k = h + -6. Let n = k + -4.94. Do n and -1/4 have different values?
True
Suppose k - 4*d + 10 = 0, -5 = -0*k - k - d. Let j = -41 - -69. Let s be ((-2)/(-8))/(21/j). Which is smaller: s or k?
s
Suppose 0 = -2*d - 2*d. Let s = d - -3. Suppose -3*r + s*v + 3 = 0, 4*r - 3*r + 4*v - 1 = 0. Is 1 != r?
False
Let g(k) = -k**2 - 10*k - 18. Let v be g(-6). Which is smaller: 100/17 or v?
100/17
Suppose 946 = -13*y + 959. Which is greater: y or -3/427?
y
Suppose 3*x - 5*v = -12, -x + 2*x + 24 = -5*v. Let b be x/(-78)*(-20)/(-15). Let h = 5 + -10. Is h not equal to b?
True
Let l be (-4)/(-24)*4 + 2/6. Is -2/263 at least l?
False
Let f be ((-171)/6)/(-19)*1/(-6). Let s = -99.6 - -91. Do s and f have different values?
True
Let g = -898.57 + 898. Which is greater: 3 or g?
3
Suppose 2*d + 17 - 41 = 0. Let r be (-151)/(-4) - (-3)/d. Is r at most as big as 39?
True
Let x = -918/5 + 185. Suppose -2*y + 16 = 4*v, -5*v + 11*v + 5*y = 32. Is v at most as big as x?
False
Let d(u) = 4*u**3 + 2*u**2 + 9*u - 52. Let h be d(4). Which is greater: 1367/5 or h?
1367/5
Let g = -101381/153 - -5125/9. Let w = 93 + g. Which is bigger: 1 or w?
1
Let c = 6 + -6. Suppose -b + 9 = -2*a - 1, -3*a - 12 = c. Let g(d) = d**3 - 8*d**2 - 9*d. Let v be g(9). Is v at most as big as b?
True
Let o = 34 + -73. Let i be ((-26)/o)/((-2)/(-24)). Suppose -i*j = -4*j - 24. Which is greater: j or 5?
j
Suppose 0 = -0*a - 3*a + 18. Let u = -4 + a. Suppose 0 = 5*i + u*i. Is i less than 5?
True
Suppose 3*m + 3 = 0, 5*t - m = -0*m - 9. Let l = 2863 + -11245/4. Let f = l + -53. Which is greater: t or f?
f
Suppose -d - 6 = 2*y, -d + 26 = 3*d - 2*y. Let w be 19 - 33 - (-21 + 0). Which is bigger: w or d?
w
Let j be -3 + (-18)/(-3) - -7. Suppose -6*h = -j*h. Let s = 2/9 + -29/90. Which is bigger: h or s?
h
Let a be 1/(1/21 - 0). Let j be -1 + 1*a/27. Which is bigger: j or 1.9?
1.9
Suppose 24*g = 21*g + 12. Does g = 11?
False
Let d = -93943/572 - -657/4. Which is smaller: 1 or d?
d
Suppose 2*b - 6 + 19 = t, 10 = -2*t. Let s = 11 + b. Which is smaller: -1/6 or s?
-1/6
Let j(h) = -h**3 - 6*h**2 + h - 7. Let q be j(-5). Suppose 0 = -5*o + 2*z - 199, -150 = o + 3*o + 3*z. Which is smaller: q or o?
o
Let r = -590 + 597. Which is smaller: -33 or r?
-33
Suppose 35*c = 17*c. Is 2/497 less than c?
False
Let u be 24*-1*3/6. Let v(h) = -h**2 - 12*h + 3. Let n be v(u). Let j be (-7)/(1 - (n + -3)). Is j equal to -7?
True
Let g = 180 - 1079/6. Let b = -3/2 + 2. Is g != b?
True
Let l = -48 - -48.33. Let j = l - -5.67. Is j less than -0.1?
False
Let h be -4*3/(-12)*6. Suppose 78 = -4*s + h. Let w = -28 - s. Is w > -10?
False
Let u(h) = h**2 + 7*h - 18. Let a be u(-9). Which is bigger: -0.235 or a?
a
Let b = -198553 + 70287709/354. Let y = b + -1/59. Which is greater: 0 or y?
0
Suppose -5*n + 0*n + 4 = -3*u, n = -3*u + 8. Suppose t = 12*t + 11. Let y be (t + -3 - -1) + 4. Is n at most as big as y?
False
Let g = -0.122 - -116.122. Which is greater: g or 2?
g
Let q be ((-2)/(-8))/((-18)/7506). Is q at most as big as -103?
True
Let v be -2 - ((-28)/(-10))/(7/35). Which is bigger: v or -14?
-14
Let g = 20 - -2. Let w = 21 - g. Which is greater: 2/27 or w?
2/27
Suppose -2*w + 4*l - 70 = 0, 2*l - 24 = 5*w + 183. Is -43 at most as big as w?
True
Let p = -0.9131 + -0.0869. Is p < -18.3?
False
Suppose 5*m - 2*v = 19 + 33, -29 = -3*m - v. Let h = -24 + 28. Suppose -a + m = h*a. Is 2 equal to a?
True
Let v = -127.8 - -111. Let y = 42 + -59. Let o = y - v. Is o less than or equal to 0.5?
True
Let z = 49129/462