((-24)/(-10))/((-4)/(-10)). Let y = p + x. Does y = 0?
False
Let f = 110 - 350/3. Let q = -4909 + 58825/12. Let r = f - q. Which is smaller: r or -1?
-1
Suppose 0 = -x - 4*x - 10. Suppose 2*k + k + 6 = 0. Is x less than k?
False
Let l = -2.4 + 0.4. Let r = 7 - 7.03. Let i = r + -1.97. Is l at most i?
True
Let t(r) = -r - 5. Let i be t(-6). Let f(x) = 2*x**2 + 2*x. Let s be f(2). Let d be 18/s*i/6. Which is smaller: d or 0?
0
Let z = -69 - -68. Let m be 50/(-22) + (-6)/(-3). Is z < m?
True
Let c(g) = g**3 - 3*g**2 - 2*g. Let m be c(4). Is -2 < m?
True
Suppose -v - 3*j - 19 = 0, 6*v = 8*v + 2*j + 18. Is -30/11 smaller than v?
False
Let o = -4 + 7. Suppose 4*y = 3*y + o. Is 5 smaller than y?
False
Let t = -83 + 83. Is -10 bigger than t?
False
Suppose -3 = x - 2. Let h = 2 - 2. Suppose h = 7*v - 3*v. Is v not equal to x?
True
Let t = -0.05 + 0.1. Let a = t + 0. Is a equal to -0.1?
False
Let j be 27/9 - (1 + -1). Are 4 and j equal?
False
Suppose -2*p + p = -1. Let f be 3 - 3 - -1*p. Which is bigger: f or -3/4?
f
Let g = 0.954 + 0.046. Which is smaller: g or 1/2?
1/2
Let q = -55306/45 - -11186/9. Let g = 41/3 - q. Let x = -1 - -2. Which is greater: x or g?
x
Let i be 22/12*2/1. Is i less than 2?
False
Let u = -0.022 + -16.978. Is -1 at least u?
True
Let t(q) be the second derivative of -5/2*q**2 - 3*q + 1/12*q**4 + 0 + 1/2*q**3. Let m be t(-4). Is m >= 0?
False
Let u = -90 - -92. Which is bigger: 9/10 or u?
u
Let k be (-5)/(-30) + 1/(18/15). Let w = 350 - 7348/21. Which is bigger: k or w?
k
Let w = 0.1 + -3.1. Let c = 0.176 - 2.176. Is c > w?
True
Let p = 0 - 0. Let h = 1.5 - 1.7. Let a = 0.1 + h. Is a bigger than p?
False
Let y(g) = g + 1. Let u be y(-2). Suppose 3*p + 0*p = -396. Let a = -658/5 - p. Which is greater: u or a?
a
Let o = 3 + -6. Suppose 7 - 23 = 4*m. Which is bigger: m or o?
o
Let d be (-4 - -3)/(1/(-4)). Suppose -d*a = a. Which is greater: a or -1?
a
Let r = 11 - 10. Let k be r/2 + 25/(-10). Is k at least 1?
False
Suppose -2*c + 27 = -5*s, -3*s - 10 = 4*c + c. Let j(d) = -d**3 - d**2 + d - 5. Let h be j(0). Let q(b) = -b - 3. Let m be q(h). Is c at most as big as m?
True
Let l be 38/(-6 - (-3 + -1)). Let s = l + 21. Does s = 3?
False
Suppose 0*s + 177 = -3*d + 3*s, d - 3*s = -59. Does -58 = d?
False
Suppose 4 = -l, 0 = i - 5*l + 9 - 32. Let a = i - 5. Is a bigger than -1?
False
Let a = 28 - 28. Is a >= -2/327?
True
Suppose -9*z + 3*z - 6 = 0. Suppose 0 = 4*p - 6 - 6, 0 = -2*k + 4*p - 16. Which is bigger: k or z?
z
Let w be (-10)/(-14) + (-2)/(-7). Let j be w/(((-55)/(-4))/5). Suppose -c - 7 = 4*l - 2, 2*l = 4*c + 20. Is l smaller than j?
True
Let t(k) = -k + 6. Let n be t(5). Which is greater: n or -3/8?
n
Let n = 11 - 13. Let m = 0 - 1. Is n at least m?
False
Let d = -19 + 19. Is d <= 1/18?
True
Let h(v) = v**2 - 3*v + 18. Let n be h(0). Are 18 and n unequal?
False
Let f(c) = -c + 6. Let i be f(4). Suppose -i*g = 1 + 1. Which is bigger: g or 3/7?
3/7
Let l = 0.01 - 0.01. Let c = -7/4 - -29/12. Is l > c?
False
Let u(a) = a**3 - 5*a**2 - 5*a - 11. Let h be u(6). Is -13/3 < h?
False
Let l = -8/7 - -17/21. Suppose -5*k + f + 0*f = -8, 2*f = -k - 5. Suppose -k - 3 = 4*a. Are l and a equal?
False
Suppose -3*m = 3*b - m - 11, 0 = -4*b + m. Let i be -1 - (7/9)/(-1). Is b smaller than i?
False
Let q(j) = 19*j**3 + j**2 + j + 1. Let c be q(-1). Let a be 1*-2*c/6. Which is smaller: 14/3 or a?
14/3
Let p be (12/(-16))/(9/(-6)). Which is bigger: p or 1?
1
Suppose 4*g = 4*q + 32, 2*g - q + 14 = -5*q. Let h = g - 4. Let m be h - (-1 + (-2 - 1)). Which is bigger: m or 1?
m
Let k = 0.3 + -0.4. Let t = -0.12 - 3.88. Is t < k?
True
Suppose 5*k - 35 = 4*j - j, -15 = j - 5*k. Let q = 9 - 5. Let g be (-8)/j*q/32. Which is smaller: g or -1?
-1
Let h = 0.1 - 0.1. Let j = 0.1 + -0.2. Let w = j + h. Are -2 and w equal?
False
Let y = -1 + 6. Suppose 5*w + y*m = 40, 0 = 3*w - 0*w - 2*m - 9. Suppose -4*b + 16 = -w*h, -2*b + 7 = h - 1. Which is smaller: h or 1/4?
h
Let y be (8/(-20))/((-21)/(-30)). Which is bigger: 0 or y?
0
Let d = -2 - -16. Suppose -k - 4 = -d. Let l = 6 - k. Is -0.1 greater than l?
True
Let f be (-12)/52 + -3 + 3. Suppose -4*i = -3*k + 1, -3*k - 3*i = -0*i + 6. Which is smaller: k or f?
k
Let y(h) = -h**2 - 16*h - 5. Let k be y(-13). Which is bigger: k or 33?
k
Let i = 0 + 0. Suppose -m + i*m - 1 = 0. Let y = -63 + 123/2. Are y and m unequal?
True
Let s be (-3)/(-12) - (-3 - -3). Are 1 and s equal?
False
Suppose 4*n + 30 = 2*q, 0 = -5*n + 2*q - 6*q - 5. Which is smaller: -6 or n?
-6
Let j = 11 + -9. Which is bigger: j or 0?
j
Let n = -9.6 - -1.6. Let k = n + 10. Let o = -1 + 0. Is o <= k?
True
Suppose -2*r = -6*r - 4. Suppose 0 = -t - t + 5*g - 345, -4*t - 620 = 4*g. Let o = -1118/7 - t. Is o not equal to r?
True
Let m be ((-2)/8)/(-2 + 0). Let c = -10 - -9. Which is smaller: m or c?
c
Let f be (-1 - -1)/(4 + -3). Let h be 2/4*(f + -10). Which is smaller: h or -3?
h
Suppose 3*p = -6 - 0. Which is greater: p or 2?
2
Let g(j) = j**2 + 6*j - 10. Let t = -1 + -7. Let o be g(t). Is 7 >= o?
True
Let b = -3 + 0. Let o = -3 + b. Let f be (o + 2)*3/(-4). Which is bigger: f or 2?
f
Let h(z) = -z + 8. Let f be h(6). Let d = 13 - f. Suppose 3*m - 1 = -5*v - d, 5*m - 2 = v. Is 0 < m?
False
Let l = -83.3 + 87. Let s = 2 + -6. Let h = l + s. Are -0.2 and h nonequal?
True
Let b = -12 - -19. Is 11 at least as big as b?
True
Let f = -7.2 - -1.2. Let p = f - -5.85. Let q = -0.05 - p. Is q greater than -7?
True
Let o = 1 + -1. Suppose -500 = 5*u - x, -2*u - 2*u - 5*x - 371 = o. Let b be 13/u - (-2)/9. Is b at least as big as 1?
False
Suppose -2 = -4*d - 6. Let r be 2 - ((-36)/(-28) - d). Is r greater than -1.4?
True
Let z = 718/1271 + -16/31. Which is smaller: z or -1?
-1
Let j = 0.463 + 20.637. Let u = j + -21. Is u greater than 1?
False
Let s be 12 + (2 - 3/(-3)). Suppose z = -4*z + s. Which is bigger: z or 1?
z
Let g be 0*(1 + 6/(-9)). Which is smaller: g or 1/12?
g
Suppose -13 = -4*y - 3*f - 0*f, -15 = -5*y - 5*f. Suppose 2*s + 3 = s. Let k(i) = i**3 + 2*i**2 - 3*i + 3. Let r be k(s). Which is bigger: r or y?
y
Let c = -140 - -247. Is c greater than 0.2?
True
Let i = 47 + -76. Is i greater than or equal to -30?
True
Suppose 5*d + 3*g + 1 = 0, -4 = -d - d + g. Are 2/19 and d equal?
False
Let h be (-4)/6 - 14/(-3). Let z be 2/4 + (-6)/h. Let p = 5/23 + -33/46. Which is bigger: z or p?
p
Let b = 672 + -676. Let h(d) be the second derivative of -d**4/12 + 5*d**3/6 - 3*d**2/2 + d. Let v be h(5). Are v and b unequal?
True
Let h = -13 - -12.8. Which is bigger: h or 1/11?
1/11
Let s = -29 + 28. Which is greater: s or 3?
3
Let a = -24 - -22.1. Let h = -2 - a. Is -0.1 >= h?
True
Let s = 0.5 + -0.43. Let z = s - 5.07. Is z >= -2?
False
Let o(h) = -h - 8. Let n be o(-8). Does 0 = n?
True
Let x = -87 + 175/2. Which is greater: -4 or x?
x
Suppose -x = 3*j - 11, 0 = 2*x + 2. Suppose w - j*w - 3 = 0. Let g be ((2 - w) + -2)*-7. Is g less than -6?
True
Let v = 30 + -10. Suppose 3*z - a = -2*a - 20, -5*z - v = -a. Suppose 0*c - c - 4*o = 1, -5*o + 5 = 0. Is z at most c?
True
Suppose 5*g = 6*g - 49. Is g at least as big as 0?
True
Let r = 132 - 160. Which is smaller: r or -30?
-30
Let w be (2 - 2) + (2 - -1). Let b = 29/2 + -11. Is w >= b?
False
Let a = 1.4 - -46.6. Which is smaller: -2/7 or a?
-2/7
Suppose 0 = -4*z - 0 - 12. Let g be (-9)/(-63) + z/14. Is 0 bigger than g?
True
Suppose -6*y = 16 - 4. Which is greater: 4 or y?
4
Suppose -5 = a - 2. Let l(o) = o**2 - 2. Let k be l(0). Let g = k - 0. Are a and g equal?
False
Suppose j - 2 = -2*k, -3*k + 8*k = -5*j. Let h be -3 - (-3 + k + -4). Which is smaller: h or 1/3?
1/3
Suppose -1 = -k - 3. Let y = k + 1. Do 0.5 and y have different values?
True
Let b = 24 + -34. Let x be 14/35 - (-74)/b. Is x not equal to -8?
True
Let h = 256360979/715 - 358547. Let m = h - 3/55. Which is bigger: 1 or m?
1
Let q = -12 - -12. Is 1 smaller than q?
False
Let l be (-2)/((120/57)/4). Which is bigger: -4 or l?
l
Let p be 8/(-12)*9/6. Which is greater: p or -1/9?
-1/9
Let x = 146 + -108. Is x smaller than 36?
False
Let b = 0.1 - 0.05. Which is smaller: b or 2/5?
b
Let w = 1.55 + -2.1. Let o = w + 0.6. Let i = o - 0.09. Which is smaller: 0.1 or i?
i
Let w be -1 - 0 - (-22)/26. Suppose s - 16 = -3*s - 4*i, -4*s - i = -4. Is s greater than or e