
False
Suppose g + 40 = -3*g. Let y be 392/(-16) - (-2)/4. Let n be (-2)/5 + y/g. Is n < 4?
True
Suppose 2*j = 0, -3*j = i + 2*i. Let k be -1*3/24 - i. Is -1 >= k?
False
Let n be 8/16 - (-1861)/14. Let c = n - 133. Are c and -1 non-equal?
True
Let w = 4373/19 + -229. Is 0 <= w?
True
Let f be 1/(2 - (3 + -2)). Which is smaller: f or 3/7?
3/7
Let l(u) = 2*u - 6. Let n be l(10). Let m be (-21)/n + (-6)/4. Let k = 5 - 8. Does k = m?
True
Let c be (-3)/9*(-1 + 4). Let k = 350/9 + -39. Which is greater: c or k?
k
Suppose -4*l - 3 = 5*k, -5*l - 4 - 3 = 3*k. Which is smaller: 0 or l?
l
Let s = 0.17 - 0.09. Which is bigger: s or -2?
s
Let l = -26.02 + 0.02. Is l at least as big as 0?
False
Suppose 0 = d + 4*u + 5 + 15, 0 = 5*d + 2*u + 10. Let c be (8/(-12))/(204/(-410)). Let y = c + -19/17. Which is smaller: y or d?
d
Let y = -8 + 20. Suppose c = 3*b + 6*c - 12, 0 = -3*b + 4*c + y. Suppose i = -3*i + b. Which is smaller: 2/9 or i?
2/9
Let d = 0.5 - 0.5. Let m = 1.3 - d. Let g = m + 0.7. Is g equal to 0.1?
False
Suppose b + 5*y = 9, 9 = -6*y + 3*y. Which is bigger: 26 or b?
26
Let l be (-4)/48*-5 + -1. Let t = l - -71/60. Which is smaller: t or -0.3?
-0.3
Let m = -0.69 + -2.37. Let l = m + 0.06. Which is bigger: 0 or l?
0
Let v(o) = o**3 + 5*o**2 + 3*o - 7. Let w be v(-4). Which is smaller: w or -8/3?
w
Let w = -7.3 + 7. Let n = -0.248 - -0.148. Which is bigger: n or w?
n
Let f = 40 - 38. Let d be (-8)/(-21) - 2/(-7). Which is greater: d or f?
f
Let l be -2*(66/(-18) + 3). Which is smaller: 0 or l?
0
Let l = 11 - 99. Is -87 <= l?
False
Suppose -5*f + 14 + 21 = 0. Suppose -3*z - f = y, 0 = 2*z + 4. Let u be (y + -2)*(-5 + 4). Is u bigger than 2?
True
Suppose 4*p - 2*p - 216 = 2*h, 332 = -3*h + p. Is h greater than -112?
False
Let u(s) = -s**2 - s + 2. Let x(c) = -c**2 - 9*c - 8. Let g be x(-8). Let o be u(g). Suppose 7*f - 2*f - 17 = -2*l, -4*f + 13 = l. Is o greater than l?
True
Let q(w) = -w - 2. Let n be q(-10). Let m be (-12)/(2 - 4/n). Is m less than or equal to -8?
True
Let h be (-15541 + 0)*(-35)/495. Let g = -1098 + h. Let b = g - 7/11. Is b smaller than -1?
False
Suppose 0 = -8*o + 5 + 43. Which is smaller: o or 5?
5
Suppose 5 = -2*s + 7*s. Is s bigger than 4/7?
True
Let w be ((-2)/60)/((-15)/2120). Let x = w + -46/9. Which is smaller: x or 3?
x
Suppose -4*t + 32 = w + 2*w, w + 6 = 2*t. Let j be (24/t + -2)/2. Which is bigger: 1 or j?
j
Let f be 0 + (4 - 3)*4. Let v be 3/f - 1/(-4). Is v less than 1?
False
Let q = 470/3 + -159. Which is smaller: -1 or q?
q
Let v(j) = 4*j**2 + 4*j + 7. Let c be v(-2). Which is smaller: c or 11?
11
Let h be (-2)/20 - (-4)/(-10). Suppose 5*b + 1 = -0*j + 2*j, -3*j + 3*b = -6. Suppose -23 = j*m - 5*n + 5, 0 = m - 3*n + 16. Do h and m have different values?
True
Let q = -5114/9 + 567. Is -2 greater than q?
False
Let u(r) = r**2 - 12*r - 3. Let d be u(12). Let l = -7 - d. Let s(v) = v**3 + 5*v**2 + 4*v + 2. Let w be s(l). Do w and 2 have the same value?
True
Let w = 0 + 0.5. Let f = -0.8 + w. Is f greater than 0?
False
Let d be (-6 - 0)/2 + 5. Suppose 3*q = -d*k - 2, -q = -0*q + 5*k + 5. Is q < 2/35?
True
Suppose 2*b = 3*b - 1. Let j = -282 - -3100/11. Is b <= j?
False
Let n = -7 + 12. Let g = 5 - n. Let b = -0.7 + 0.4. Do g and b have different values?
True
Let m(w) = w**3 + 6*w**2 + 6*w + 4. Let f be m(-5). Let v(i) = -i. Let h be v(f). Which is smaller: h or -1/4?
-1/4
Let y(w) = w**3 + 3*w**2 - 5*w - 5. Let m be y(-4). Which is bigger: m or 1?
1
Let f(g) = 5*g + 100. Let t be f(-19). Let a(v) = v**3 - v**2 - 4*v - 1. Let r be a(3). Is r at least t?
True
Let i be ((-16)/44)/(16/12 + -2). Which is bigger: 2 or i?
2
Let w = 64 + -513/8. Suppose 2*v = -2*v - 4. Are v and w equal?
False
Let p = 6 + -8. Let v = p - -2. Is -1/5 > v?
False
Let g be ((-24)/(-110))/(4/(-10)). Suppose -3*o - 10 + 4 = 0. Is g at most as big as o?
False
Suppose 61 = -3*a + 76. Which is smaller: a or 12?
a
Let a(u) = -u + 5. Let v be a(3). Let w be (2/v)/(0 + 1). Is w equal to 2?
False
Let v = 79 - 78. Which is smaller: v or 17?
v
Let j = -206/5 - -41. Let k be ((-3)/(-2) + -1)*0. Which is bigger: k or j?
k
Let f = -215360/9 - -23898. Let p = f + 31. Suppose 5 = -b + 4. Does p = b?
False
Suppose 14 = 13*b - 12. Which is smaller: b or 7/10?
7/10
Let r be 4/(-26) + 210/13. Suppose x + x - r = 0. Let n be 1 + 1 + x/(-3). Is n equal to -1?
False
Suppose 0 = -2*f - 2*f - 100. Is -25 greater than f?
False
Let h = -281.77 - -283. Let f = 1.3 - h. Which is greater: f or 0.2?
0.2
Let m be 1*(4 + (-4)/2). Let u be 4 - (-1)/(-1) - -1. Do m and u have the same value?
False
Let h(r) = r**3 + 5*r**2 + 4*r. Suppose -2*a - 7 - 1 = 0. Let x be h(a). Which is smaller: x or -4/11?
-4/11
Suppose -a - 3*g - 11 = 0, 4*a + 5*g = g - 4. Suppose -l = -q - 0*q, 3*q - a*l = 4. Is q smaller than -4?
False
Let j = -13 - -32. Let o = j - 115/6. Suppose 0*h + h = 1. Is h >= o?
True
Let u be 2/(-9) + 74/(-72). Suppose -2*c = -4 + 2. Let v be (-3 - 0) + c - -1. Is v > u?
True
Suppose 5*f + p = -1 - 1, -f = -p + 4. Which is greater: f or 3/7?
3/7
Let h be (4 - 2) + 0 + 0. Suppose -z = 2*j - 5*j + 12, 5*j - 20 = 4*z. Let k = h - j. Which is greater: k or -5/4?
-5/4
Suppose 96 = -12*o + 16*o. Is 24 < o?
False
Let g(q) = -q**2 + 2. Suppose -3*t = -2 + 11. Let o be g(t). Let b(h) = -h**2 - 6*h + 8. Let c be b(o). Which is greater: c or 2/7?
c
Let j(z) = -8*z**2 + z + 1. Let y = -8 + 7. Let q be j(y). Let d(k) = -2*k - 12. Let w be d(q). Which is greater: 1 or w?
w
Let u = 17 + -11. Let d = 6.8 - u. Is d > 1?
False
Let l = 17 - 16.74. Let p = l + -0.06. Is -1 less than p?
True
Suppose 0*s - 3*w = 5*s - 12, 2*s - 8 = 2*w. Let a be (-3 + 1 + -2)/(-2). Which is smaller: a or s?
a
Suppose -276 - 225 = 3*m. Let l = -23 - m. Let b be l/210 + 2/(-5). Are -1 and b non-equal?
True
Let m = 0.6 - 1. Let d = m + -0.2. Let u = d + 0.4. Is 1/3 at most u?
False
Let w(s) = -s**2 - 4*s + 4. Let l(x) = -x + 1. Let q(d) = 6*l(d) - w(d). Let c(p) = p + 7. Let t be c(-5). Let r be q(t). Which is smaller: 1 or r?
1
Let y = -106 + 99. Which is greater: y or -25/3?
y
Let o(u) = u + 13. Let z = -14 - -2. Let g be o(z). Which is greater: g or -1/2?
g
Suppose 8*v - 234 = -98. Is v bigger than 17?
False
Let w = 9 + -9. Is w at most 3?
True
Let g = -0.09 + 1.09. Is g >= 25?
False
Let h be (1*8)/(-6 + 5). Which is greater: -9 or h?
h
Let t = -26/125 - -1/125. Does 30 = t?
False
Suppose 2*w - 15 = -5*m - 0*w, 0 = -2*m - 2*w. Let c be m/3 - (0 + 1). Let k = -0.07 + 0.07. Which is greater: c or k?
c
Let i be 4/(7740/(-295)) + (-2)/(-9). Which is smaller: 0 or i?
0
Let t = -235/2 - -2147/18. Is 2 <= t?
False
Let c = -3.7 - 8.3. Is -2 greater than c?
True
Let n = -181 - -178.02. Let o = n + -0.02. Which is smaller: 1/2 or o?
o
Suppose m - 10 = -5*c + 4*c, -60 = -3*c + 3*m. Is 14 != c?
True
Let g be 9/(-12)*(3/(-3) - -2). Do -0.1 and g have different values?
True
Suppose 0 = -4*s + 4*j + 7 + 1, 2*j = -5*s - 18. Are -4 and s nonequal?
True
Let w = 0.26 - 0.46. Let y = 0.31 + -0.01. Let z = y + w. Is z at most -2/3?
False
Let b = -11 + 19. Let n = -5 + b. Let o be 4/2*1/(-2). Which is smaller: o or n?
o
Let t = 7 + -6.3. Let f = 1.93 + -2. Let o = f + -0.93. Which is smaller: o or t?
o
Let x(b) = -b**3 - 6*b**2 - 4*b. Let w be x(-6). Let o be (-3)/w*2*2. Is o < -0.1?
True
Let i = 967/14 + -69. Which is smaller: 1 or i?
i
Suppose 4*r = 5*l - 22, l = -0*r - r - 1. Suppose -3*q - 10 = l*q. Let x be (q/6)/((-5)/(-15)). Is x at most as big as 0?
True
Suppose -v - 4*g - 10 - 5 = 0, 0 = 4*v + 2*g + 18. Let i be -3*(-2 - v) - -4. Are 3/11 and i equal?
False
Let o = 5 - 5.16. Let a = -6.16 - o. Which is greater: -2/7 or a?
-2/7
Let k = 4.91 - -0.09. Let c = -5 + k. Let t be (-1)/2 - 18/(-4). Which is greater: t or c?
t
Let w = -1.94 - 0.06. Suppose -2 = 3*v - 2*v. Let s be ((-9)/6)/(v/(-4)). Is w > s?
True
Let f(u) = u**3 - 4*u**2 + 4*u + 4. Let b be f(4). Suppose 0 = 2*c - 2*v - b, 26 = -0*c + 5*c + 3*v. Suppose -c = -4*y + 1. Which is greater: y or 3?
3
Let s = 429/4 + -108. Let h = 22 + -2. Let k be (-10)/4*h/25. Is s smaller than k?
False
Let n be (2/(-36))/((-32)/96). Which is greater: n or -0.15?
n
Suppose -2*v = -4*v + 3*t + 32, 2*t + 58 = 5*v. Suppose -5*b + b = -36. Is v equal to b?
False
Let i = -120 - -97. Which 