= 69 + -78. Which is smaller: -31/4 or a?
a
Suppose 21 = 3*g - 3. Let f(s) = 3*s - 19. Let i be f(g). Which is bigger: 11/2 or i?
11/2
Suppose -2*o - 2*a = -4, 4*a - 4 = -3*o - 0*o. Let r = 8 - 8.2. Is o at least as big as r?
True
Let m(b) = -b**2 + 8*b - 8. Let t be m(7). Let d be t - 1/(14/(-18)). Is 1 equal to d?
False
Suppose 0 = -4*j + 8*j - 164. Do j and 42 have different values?
True
Suppose 2*d - 5*d + 18 = -3*b, 0 = 4*d + 5*b - 42. Suppose -v + 5*v + d = 0. Is -1 > v?
True
Let c = -687/119 - -40/7. Which is bigger: c or 0?
0
Let g = 0 - 0.2. Let i = -51 + 50.9. Let v = i - g. Is -0.2 less than or equal to v?
True
Let m = -5 + 7. Suppose 1 = 3*r + 2*b, -3*b = -3*r + 8*r. Is r smaller than m?
True
Let j(p) = p**2 + p - 6. Let u be j(-3). Is u > 3?
False
Suppose 0 = 4*k + 2*o + 32, -5*o + 21 = -3*k - 16. Is -8 >= k?
True
Let v = 0.18 + -1.38. Let z = v - -15.2. Which is bigger: z or -0.1?
z
Let l = 377/282 + -8/47. Which is greater: l or 2?
2
Let s be (-1 + -4)*(5 + -2). Let o = s - -15. Let h be (1 + 1)*2/(-4). Which is smaller: h or o?
h
Let j be 51*4/861 - (-4)/(-14). Which is bigger: j or 1?
1
Let g be -1*(-44)/(-4) + -1. Let a be (-2)/g + (-102)/72. Is a >= -1?
False
Let i be 2/(-24) - 2/8. Let c(r) = r**2 + 6*r - 1. Let v be 34/(-6) - 2/6. Let l be c(v). Is l at least i?
False
Let t be 12/(-8)*(-40)/(-6). Let g be (2/8 + -2)*-4. Let f = g + t. Is -3 less than f?
False
Let m be 2 - (12/(-15))/(3/(-5)). Which is smaller: 7 or m?
m
Suppose -4*i = 6 - 14. Let a(u) = -u**2 - 6*u - 1. Let o be a(-6). Let p be (2 - i)/(-2 - o). Do p and 2 have different values?
True
Let b be (4 + 6 + 4)/(-2). Does b = -19/3?
False
Suppose 0*q - 3*w = -q, 5*w = 3*q. Is q > -1?
True
Let h be 7 + (-2)/((-4)/(-6)). Is 2 greater than h?
False
Let v(x) = -3*x + 25. Let c be v(12). Are -14 and c unequal?
True
Let o be (15/(-18))/(7/(-42)). Is o at most 6?
True
Let l be 3 - (-555)/(-20) - 3/(-4). Which is greater: -23 or l?
-23
Let r be ((-2)/22)/(8/32). Which is greater: r or 0?
0
Let b(r) = -10*r**2 + 10*r - 3. Let v(y) = -3*y**2 + 3*y - 1. Let w(t) = 2*b(t) - 7*v(t). Let x be w(0). Let d(f) = -f**2 + 6*f - 9. Let l be d(4). Is x > l?
True
Let s = -44 + 44.079. Is 0 less than s?
True
Let n be (2 + -5)/((-42)/7 + -1). Let d = -4 + 3. Which is bigger: n or d?
n
Let v(i) = i - 4. Let r be v(4). Which is greater: 1 or r?
1
Let u = -0.09 - -0.01. Let i = u - 0.32. Which is bigger: i or -2?
i
Let x = -1747/228 + -5/57. Which is smaller: -9 or x?
-9
Suppose -11*u + 45 = -6*u. Let p = u - 8. Is p <= 2?
True
Let i(g) = -g**2 - 10*g - 3. Let q be i(-9). Let d = q + -1. Which is smaller: 3 or d?
3
Let p be (-11)/3 - (-3)/(-9). Let q be (2/6)/(p/24). Let t = 2 - 2. Is t equal to q?
False
Let y be 154/(-11)*15/6. Which is bigger: -37 or y?
y
Let s be (-206)/(-1) - (4 + -6). Let f be (-84)/s - (-2)/8. Let x(v) = -v - 2. Let c be x(-3). Is c at least as big as f?
True
Let l = 9 + -9. Let d = -84 + 333/4. Is d greater than or equal to l?
False
Let u be 3 - (-13)/5*(-10)/6. Let o be 5*(2 - 36/15). Which is greater: o or u?
u
Let g = -55/3 + 269/15. Which is smaller: 2.9 or g?
g
Let w = 1 - 1. Let q be 2 - 12/(-9) - (7 + -4). Which is greater: w or q?
q
Let b = 67/18 + -34/9. Are 0.05 and b non-equal?
True
Let u be ((-28)/10)/(10/25). Let l be 7 - 0/(0 - -1). Let p = l + u. Is p less than -4/5?
False
Let k(x) = x**3 - 7*x**2 + 7*x - 6. Let r be k(6). Suppose r = -3*s + 1 + 2. Which is bigger: 2 or s?
2
Suppose 0 = -5*b + b - 60. Let f be b/(-10)*(-529)/(-24). Let l = f - 33. Which is smaller: l or 0?
0
Suppose 4*u + 4*h = -0*u - 20, 5*u - h = 5. Suppose 0 = -2*o + 6 - u. Suppose 0 = -0*c - o*c. Which is bigger: 1 or c?
1
Suppose 5*b - 4 = 1. Let k = 2/67 - 144/335. Which is smaller: k or b?
k
Let x(y) = -y**3 - 4*y**2 + 9*y - 9. Let a be x(-6). Let o = -10 + 18. Which is smaller: a or o?
o
Suppose q + 4*v - 5*v = -2, -4*v - 10 = 2*q. Which is smaller: q or 6?
q
Suppose -4*v + v = 3. Let q be 23/(-5) + 15/3. Which is bigger: v or q?
q
Let s be (1 - -1) + 26/(-14). Suppose 0 = -5*a + 3*a. Suppose a*t + 4*t = 0. Which is greater: s or t?
s
Let z be -1*(-8)/(-10)*15. Let o = z - -23/2. Which is smaller: o or 1?
o
Let m be (1/(-4))/(35/(-84)). Suppose v - 3 = 1. Let c = 4 - v. Which is bigger: m or c?
m
Let u be (17/(-2091))/(2/(-12)). Which is smaller: 1/3 or u?
u
Let b be (-7)/(-7) - (-320)/6. Let d = b - 55. Which is greater: d or -2?
d
Let i = -0.103 - -0.303. Is i <= 2/43?
False
Let o be (-238)/(-99) + 2/(-11). Which is bigger: o or -0.2?
o
Let r be 2/(-2) - (3 - 3). Let i(x) = 1. Let o(f) = -3*f - 4. Let z(j) = r*o(j) - 5*i(j). Let k be z(1). Which is smaller: k or 3?
k
Let d = 0.3 - -0.1. Let r = 1 - d. Which is smaller: 0 or r?
0
Let r = 87 + -86.9. Is r bigger than 2.6?
False
Let u = 6.9 + 0.1. Let n = 8 - u. Is n at most as big as -2?
False
Let z = 118 - 120. Is 0.2 greater than or equal to z?
True
Let s(b) = b**3 - 6*b**2 - 6. Let i be s(6). Let a = 10 + i. Suppose a*y - 3*q = -8, 9*q - 4*q = 4*y + 16. Which is smaller: 0 or y?
0
Suppose -r - 3 = -0, k - r + 6 = 0. Let h = k + 11. Which is bigger: 4/3 or h?
h
Let f = -19 + 14. Which is smaller: -35/8 or f?
f
Let f(w) = -w - 4. Suppose -h - 4*h + 8 = 3*t, -12 = -t - 4*h. Let u be f(t). Let s be (-26)/42 - 4/(-14). Is u not equal to s?
True
Let h(m) = -m**2 - 5*m + 5. Let y be h(-5). Suppose 0 = y*t - 0*t. Is 2/5 != t?
True
Suppose 5*d = 3*d. Suppose 0 = -d*m - 4*m. Which is smaller: m or 1?
m
Let t = 0.3 - 0.4. Let z be (-1397)/55 + 1/1. Let y = z + 24. Which is smaller: y or t?
y
Suppose -7*v + 10*v = -45. Is v less than or equal to -0.2?
True
Let z(s) = -2*s + 15. Let p be z(10). Are -7 and p equal?
False
Let q be ((-2)/4)/(4/8). Let z be 9/(-15) - q - 0. Which is bigger: 4 or z?
4
Let d(p) = p**3 + 5*p**2 - 6*p + 2. Let h be d(-6). Suppose -3*f - 8 = -5*f. Suppose -f*c + 6 - 14 = -4*w, 1 = -5*c + h*w. Which is bigger: 1/5 or c?
c
Let w(r) = r**3 - 5*r**2 - r + 5. Let p be w(5). Suppose p = -10*t + 13*t. Is 0 >= t?
True
Suppose 2*i - 234 = 15*i. Are -135/7 and i equal?
False
Let v = -2/15 + -37/60. Which is smaller: v or -1?
-1
Let y(w) = w**2 - 4*w - 4. Suppose -x = 3*j - 1 - 13, 5*j = -x + 24. Let t be y(j). Let v be (-4)/1 + t + 4. Which is bigger: 4/7 or v?
v
Let l be (-32)/(5/2 - -4). Let x = -1190/247 - l. Do 0 and x have the same value?
False
Let y = 22 + -23.6. Let f be (2/6)/(3 - 2). Which is bigger: y or f?
f
Let q = -1 + 2. Let g be (-2)/3*5/30. Is g smaller than q?
True
Let h = 9 - 13. Let w = 3.9 + h. Is w smaller than -2/5?
False
Let d(n) = 11*n - 4. Let l(r) = -7*r + 3. Let c(i) = -5*d(i) - 8*l(i). Let m be c(3). Is -1 less than or equal to m?
True
Let m be 105/30*(-12 - (0 - 0)). Is m > -42?
False
Suppose -c + 5*k - 14 = 2*c, 0 = 4*c + k - 12. Which is greater: 4/7 or c?
c
Let d = 10 + -8. Suppose 0*b = d*b - 10. Suppose 0 = b*o - 2 - 3. Which is greater: o or 3?
3
Let s = -0.01 - -0.05. Let k = -0.01 - s. Let u = 0.05 + k. Is 2/7 not equal to u?
True
Let r be 8/(-16) - (-6)/20. Which is greater: 2 or r?
2
Suppose 4*a = -20, -2*p + 5*a + 15 = -7*p. Suppose 0 = 4*h - 3*b + 11, -p - 10 = 5*h - 2*b. Suppose 9 = -c + 6. Is h < c?
False
Let n be (2/(-6))/(57/(-23787)). Let k = 139 - n. Which is greater: k or -1?
k
Let y = 7 - 6.7. Let v = 0.1 - y. Let r = 0.3 - 0.1. Is r != v?
True
Let c(h) = h**3 - 6*h**2 + 5*h. Suppose -r + 15 = -3*i + 8*i, -3*r - 4*i + 23 = 0. Let g be c(r). Is -3 equal to g?
False
Let r(a) = -a**2 - 8*a - 7. Let d be r(-7). Let w be -2 + d + (1 - 0). Is w <= 1/7?
True
Let m = 236/5 + -47. Is 1 < m?
False
Let l(z) = z**3 + 7*z**2 + z + 5. Let c be l(-7). Is 1 greater than c?
True
Let n = -0.02 + -0.08. Which is bigger: n or -2?
n
Suppose 3 + 5 = 4*c. Let g = 10 - 3. Suppose 5*o - g + 2 = 0. Is c greater than o?
True
Let r be 12/(-9)*-3 + -1. Is r > -2/5?
True
Suppose x + 0*x - 2 = 0. Let f = 41 - 43. Is x greater than f?
True
Let l = 4 - 6. Let m = l - -6. Let o be ((-4)/3)/(5/(-15)). Is o less than m?
False
Let i be 3/(5 - 2) + -1. Let g(d) = d**2 + 6. Let u be g(i). Let f = -4 + u. Is f < 4/5?
False
Suppose 5*m - 14 = -4. Suppose -3*d - 5 = -m. Are d and -8/5 equal?
False
Let o = -5.3 - -6. Are 2/7 and o equal?
False
Let l be (17 - (-2 - -4)) + -3. Let b be (6/(-18))/(38/l). Do 1 and 