 0.3 + 0.7. Which is bigger: b or q?
b
Let u be (-27)/(-4) + 1/4. Which is smaller: 0.1 or u?
0.1
Let t = 88 - 88. Which is smaller: t or -45?
-45
Let i(x) = 11*x**3. Let b be i(1). Is b less than 10?
False
Let d = -5 + 3. Let x be (d - 0)*5/(-10). Is -1/10 at most x?
True
Let s(o) = o**2 + o + 1. Let j be s(-2). Let p = 4 - j. Is 2/5 >= p?
False
Let l = 1662/475 + -68/19. Let x = 66151/300 + -877/4. Let k = l - x. Are -2 and k unequal?
True
Let i be 198/(-385) + 4/5. Let s be (1 - -1)/(3 + -1). Do s and i have the same value?
False
Suppose 2*d = -0*d - 8. Suppose 2*j - 4*y = -7 - 5, 3*j + 16 = 4*y. Is d greater than j?
False
Suppose -8*x + 29 - 85 = 0. Is x != -5?
True
Suppose i - 1602 = -2*q - 378, -5*i + 2448 = 4*q. Let y = q - 14074/23. Suppose 4*t + 0*t = -4. Which is smaller: y or t?
t
Let h = -3 - -5. Suppose -2*w + 8 = -2*a, -a - h*a + 2*w = 14. Is -7 less than a?
True
Let v(f) = 2*f - 1. Let l be v(6). Suppose 3 = -c + l. Which is bigger: c or 9?
9
Let d = -5.8 - -6. Let z be 3/2*4/(-3). Is d at least as big as z?
True
Let g = 2 - 0.8. Is 1/4 <= g?
True
Suppose -4*i = 5*k + 13 - 53, i - 10 = k. Suppose -5*z + 2*t + 25 = -8, -5*z = -5*t - 45. Suppose z*u = i + 5. Are u and 3 non-equal?
False
Let w = 0 - -0.05. Let o = -0.25 + w. Which is bigger: o or 2?
2
Let g = -0.12 + -7.88. Let c = 8.8 + g. Let w = 0.2 + c. Is w at least 0.1?
True
Let p = -16 - 64. Let q = p - -134. Let y be -2 + 1 + 66/q. Which is smaller: y or -1?
-1
Suppose -4*q + 4*l - 41 - 11 = 0, 4*l = 3*q + 41. Let t = -10 - q. Which is bigger: t or 1/4?
t
Let m = 49 + -50. Let d be (-2)/(-4)*-2 + 23. Let v = d - 45/2. Is v less than m?
False
Let f(a) = a**2 - 2*a + 2. Let x be f(2). Let o be x - ((-11)/1 - 0). Suppose 0 = -5*u - 5*s - 5, 3 = -4*u + 2*s - o. Is u equal to -4?
False
Let q = -0.17 - -1.47. Let w = -1.3 + q. Which is greater: w or 12?
12
Let j be 2/5 - 16/(-10). Let r be 2/5 - 16/(-10). Let t = j - r. Is -2/11 greater than t?
False
Let p(m) = -2*m + 40. Let t be p(16). Which is smaller: t or 102/13?
102/13
Let k(o) = -o**2 - 1. Let u(r) = r**2 + r + 1. Let z be u(-1). Let d be k(z). Let g = -1 - -0.9. Is d greater than or equal to g?
False
Let a = 25 + -46. Let i = 21.7 + a. Which is smaller: 1/4 or i?
1/4
Let k(z) = -z + 6. Let g be k(4). Let i be (g/6)/((-1)/(-3)). Let y = 0.7 + -1. Which is greater: i or y?
i
Let q be (0/((-4)/(-2)))/2. Suppose -b - s = -q*b - 3, 2*b - 16 = -4*s. Which is smaller: -4/7 or b?
b
Let j = 7011194807/285978 + -1029703/42. Let y = 2/619 + j. Which is greater: y or -1?
y
Let r = -5 - -2. Suppose -3*w = -w + 2*z - 12, 2*z - 14 = -3*w. Let o = w + r. Which is bigger: 0 or o?
0
Let q be (-1)/(-4) + 4/(-12). Is -1 equal to q?
False
Let g = 4.27 + -4.6. Let w = g - 3.57. Let v = w - -4. Is v <= 2/7?
True
Let m = 32 + -32.17. Let u = -0.1 - m. Is u smaller than 1/2?
True
Let g be (-170)/(-45) + (-6)/(-27). Suppose -4*b = -3*n + b - 7, -5*n = -5*b + 15. Let x be n/(-5) - g/10. Is 2/15 at most x?
True
Let n be (-3)/36*1/267. Let b = n + 116413/3204. Let k = b + -37. Is k not equal to -2?
True
Suppose -q - 10 + 42 = 0. Is 0 > q?
False
Suppose 5*m = 4*m - 26. Let v = 25 + m. Which is smaller: 3 or v?
v
Let c be 4/158*(0 + 1). Let n = c + 136/869. Suppose 4*f + 0*f = 4. Which is smaller: n or f?
n
Let i(l) = -l**3 - 8*l**2 + 8*l - 5. Let n be i(-9). Suppose -n*y = -5 - 11. Suppose 0 = -3*m - y*d - 6, 4 = -m - 2*d - 0. Which is smaller: 1 or m?
1
Suppose -2*x + 1 + 5 = 0. Suppose -2*u + 32 = 4*d, 0 = -3*u - d + 34 - 6. Let b be (u/(-10))/(2/(-5)). Does x = b?
False
Let s be -1 + (1 - (-1)/(-1)). Suppose 0*g - 2*g = -10. Suppose -g*k + 5*a = 30, -4*k - 14 = -2*a + 2. Is s <= k?
False
Let i(b) = -3*b + 1. Let y be i(1). Let h = y - -5. Suppose 0 = 2*l + l - h. Is -2 greater than or equal to l?
False
Suppose 2*b - 12 = -10. Let i(g) = g**2 + g - 4. Let v be i(-3). Let j = v + b. Which is smaller: 2 or j?
2
Let c be (-1)/(-2) - 9/(-6). Suppose -5*o = s + 3 - 18, 3*s + 6 = 2*o. Suppose c*j + o*z = -z + 14, 0 = 3*j + 3*z - 6. Are -2 and j non-equal?
True
Let l be 1 + (-8)/4*1. Is -1 greater than l?
False
Suppose -6*d + 4*d = 0. Is d at most -1/2?
False
Let v(y) be the second derivative of y**3/6 + y**2 + 2*y. Let m be v(-1). Which is bigger: 0 or m?
m
Suppose m + 0*m = 4*b + 215, -4*m - 2*b + 860 = 0. Let p = -2363/11 + m. Which is smaller: p or -2?
-2
Let w = 5.3 - 2.1. Let a = -6 - -3. Let v = w + a. Is v smaller than -1/5?
False
Suppose 5*t + 11 + 4 = 5*x, -x + 1 = 0. Let d be (2/1)/(-1 + 0). Let g = t - d. Is g less than 0?
False
Let t(i) = -i**3 + 6*i**2 - 6*i + 4. Let z be t(5). Let c be 1/(-1)*(z + -1). Suppose -10 = 3*h - g + 1, 0 = c*h - g + 9. Is -3/5 greater than h?
True
Let h = 12 + -11.6. Do h and -0.1 have different values?
True
Suppose 0 = -2*g + 4*g - 5*g. Is 2/257 at least g?
True
Let q = 43 - 214/5. Which is greater: q or -1?
q
Let h = -3 - -7. Which is smaller: h or 2/9?
2/9
Let s = -9 - -6. Let z = 1.1 - 2.1. Let t = z - s. Which is smaller: 0 or t?
0
Suppose 4*v + 14 + 6 = -4*w, 3*v = -4*w - 16. Which is smaller: 0 or w?
w
Let i = -3 + 3.2. Let z = -32.7 - -35. Let w = z - 2.2. Is w equal to i?
False
Let i = 249 - 2493/10. Which is bigger: i or 1?
1
Suppose w = 6*w - 95. Suppose -p + g = 5, 2*p + p + w = 4*g. Let x = 405/161 + -17/7. Which is bigger: p or x?
x
Let b = -53/3 - -271/15. Which is greater: b or -102?
b
Let m = -30.1 - -30. Is m >= 14?
False
Let r = 4/331 + 10245/1324. Let b = r - 317/44. Are 1 and b equal?
False
Suppose o - 6 = 3*o. Which is smaller: -4 or o?
-4
Let j be 0 + (1 + -6)*-1. Suppose -j*h - 45 - 80 = 0. Let i = -127/5 - h. Which is smaller: -1 or i?
-1
Suppose -2*z + 2*f + 6 = -f, -2*f - 4 = 2*z. Suppose z = 4*c - 8*c. Let v = c + 0. Are 0 and v unequal?
False
Let r = 11 - 8. Suppose h = r*h. Which is bigger: -1/9 or h?
h
Let k = 11 + -21. Let j = k - -6. Let w = -3 - j. Is 2 at least as big as w?
True
Suppose 4*z = 3*z - 2*n - 15, -8 = 2*n. Which is greater: -4 or z?
-4
Let c(b) = 8*b + 4. Let n be c(2). Suppose 3*k + n = 7*k. Is k greater than or equal to 4?
True
Let s = 7.08 + -7. Which is greater: -0.2 or s?
s
Let t be (-2 + 10/4)*1. Is 1 > t?
True
Suppose -3*l - l + 11 = j, 0 = -3*l + 6. Let m = 2 - j. Which is smaller: 0 or m?
m
Suppose 23*j = 24*j - 39. Is 38 at most as big as j?
True
Let k(n) = n**3 + 3*n**2 + 3*n + 2. Let a be k(-2). Suppose -4*i + a*i = 0. Which is bigger: i or -1?
i
Let q be ((-137)/(-24))/(3/(-63)). Let b = 120 + q. Let n(j) = j**3 - 2*j**2 + 2*j - 3. Let i be n(2). Which is bigger: b or i?
i
Suppose -p + 8 = p. Is p at least as big as 4?
True
Let h(i) be the first derivative of i**4/4 + 7*i**3/3 - 4*i**2 + 5*i + 3. Let q be h(-8). Are q and 5 equal?
True
Let r be ((-2)/18)/((-1)/(-3)). Are r and -0.7 non-equal?
True
Let j = -0.14 - -0.04. Which is bigger: j or 7/5?
7/5
Let j be 4/(-15)*(-6)/(-3 - -4). Which is bigger: j or 3?
3
Let x be -2 + 1 + 7 + -3. Suppose -2*y = x*y - 25. Suppose 20 = 4*q - y*m, -5*q - 5*m + 2*m = 12. Which is bigger: q or 1?
1
Let p(g) = -g - 5. Let k be p(0). Suppose -3*s = -15, -4*s = -3*f + 5 - 40. Is f at most k?
True
Let v be (-2)/(-14)*(-6)/3. Which is greater: v or 1?
1
Let i = -8 - -9. Which is smaller: i or -85?
-85
Let j = 5 - 70. Let c be (3 - j)*(-6)/4. Let p = 920/9 + c. Is p greater than -2?
True
Let k(p) = -p**2 - 7*p - 3. Suppose m = 3*z - 2*m + 33, 8 = 4*m. Let r be (-2)/9 - (-61)/z. Let s be k(r). Is s <= 0.1?
True
Let l(o) = o**2 + 10*o + 10. Let p be l(-9). Which is greater: 2/9 or p?
p
Let i = 7 + 3. Let m = i - 51/5. Is -1 at most as big as m?
True
Let a(v) = v - 10. Let t be a(8). Is -4 less than or equal to t?
True
Let p = 146 + -228. Which is smaller: -83 or p?
-83
Let w = 0.01 - 8.01. Let j = 8 + w. Let n = 26 + -76/3. Which is bigger: n or j?
n
Let n = -10.18 + 10. Let v = n + 0.38. Is v less than -5?
False
Let q(y) = 9*y - 1. Let u be q(-1). Let g be ((-18)/(-8))/(u/(-8)). Is 3 bigger than g?
True
Let m be -4 - -82*(-116)/(-40). Let s = 233 - m. Which is smaller: s or 4?
s
Let t be -556*(1 - (-23)/(-28)). Suppose 495 = 4*y - 9*y. Let u = y - t. Which is bigger: u or -1?
u
Suppose 4*j - 7 - 9 = 0. Suppose j*p + 4*y = -32, 0 = 4*y + 17 + 3. Let w be -3 + (0 - p) - -2. Which is greater: 3 or w?
3
Suppose -3*z - 37 + 4 = 0