maller: 0.1 or i?
i
Suppose 5*s - 2*s = -4*t - 10, 4*s + 9 = -t. Which is smaller: s or -4?
-4
Let n = -6.9 - -7. Which is smaller: -60 or n?
-60
Suppose -2*b = 2*g + 2, -3*g + 3*b + 11 = 2*g. Let p = 247325/167 - 1481. Let t = p + -304/2505. Is t not equal to g?
True
Let t = 167/30 + -65/12. Do t and 1 have different values?
True
Let r = 2.27 + 0.63. Which is bigger: 2/13 or r?
r
Let t be 4/(-18) + -2 + 2. Suppose -8 = -2*u + 6*u. Let v be -1 - (u - (-1 + 0)). Which is smaller: v or t?
t
Let x be 2/8 - 9/36. Which is greater: x or -1/52?
x
Let l = 48311 + -337518/7. Let m = l + -94. Let s be 8/6 - 1/3. Is s equal to m?
False
Suppose 0*a + 4*a + 64 = -2*f, 4*a + 76 = f. Is -18 smaller than a?
False
Let l = -3 + 3.2. Let t = 0.1 - l. Let x = t - -1.1. Is 0 < x?
True
Suppose -l - 3*x - 1 = 0, -x - x - 31 = 3*l. Let h = 12 + l. Which is greater: 2 or h?
2
Suppose 8 = -0*n - 2*n. Let r(z) = -z**3 - 4*z**2 - 3*z - 6. Let c be r(n). Suppose -3*h + q = -c, 2*h + 4 = 4*h + q. Is h less than or equal to 1?
False
Let k be (-1 + 0)*(0 - -2). Which is smaller: k or -7?
-7
Let d be (4/6)/(2/9). Suppose -d*k + 5*u - 2*u = -3, 5*k + u + 1 = 0. Suppose 3*h = -5 + 11. Which is smaller: h or k?
k
Let t be (0 + -9)/(7 - 8). Which is smaller: t or 10?
t
Let k = -92/315 - -2/315. Let v = -3 - -6. Suppose -2*f = -5*f - v. Is f less than or equal to k?
True
Let s be (-8)/20 + (-6)/(-5). Is s greater than or equal to 2?
False
Let u(t) = t - 5. Let p be u(6). Are p and 3 equal?
False
Let f = 4 + -3. Let o be 4*((-8)/4)/4. Is o bigger than f?
False
Suppose 144 = 10*w - 4*w. Is w less than 26?
True
Let t be -2*((-4)/8 - -1). Suppose -149 = 3*k - 5*d, -5*k - 238 = 4*d - 2*d. Let i = -1102/23 - k. Is i less than t?
False
Suppose -4 + 1 = 3*x + 4*c, -2*c = 2*x + 4. Let d be (-4)/x - (-6)/30. Let b = -2 - d. Is b at most -3?
True
Let z be (-6)/(-21) - 23/7. Let w(c) = c**2 + 9*c - 4. Let l be w(-9). Let v = l - z. Which is bigger: v or -3?
v
Suppose r + 3*y = -3*r + 24, -3*r = -2*y - 1. Let c = 50 - 352/7. Is c at most as big as r?
True
Suppose 5*y + p - 2 = 3*y, 3*p - 6 = 4*y. Let c be (-92)/28 + 3 + (-116)/(-14). Are c and y equal?
False
Let n = 6 - 14. Does -9 = n?
False
Suppose -3*o - 2*y = -17 - 8, 2*o - y - 12 = 0. Suppose -4*s - r = -o, 0 = s - 5*s + r + 9. Let w be 1/s - (-4)/8. Which is bigger: w or -1/5?
w
Let b be (-2)/(-7) + (-2)/7. Let t be 2/(-1*(1 - b)). Let k be 3/((-1)/((-2)/t)). Which is bigger: k or 0?
0
Let t = 19 + -17. Suppose -o + 3*k = 5, -10 = 2*o - 2*k - 2*k. Let g be 5*((-2)/o)/(-1). Which is smaller: g or t?
g
Suppose 4*p + 12 = 4*q, -2*p - 3*p - 2*q = 1. Let b = 20.2 + 2.8. Let t = 20 - b. Do p and t have different values?
True
Suppose 0 = -5*a - 2 + 17. Suppose 3*h - 15 = -a*x, -5*x = -2*h - 3 + 13. Let p be 5/30*(-2 - x). Is 1/3 bigger than p?
True
Suppose -3*v - 3 = 3*r, 5*r + 20 = -5*v + 3*v. Let i be 3*(-1 + r/(-9)). Is 0 less than or equal to i?
False
Suppose -2*p + 14 = 3*j, 4 = -2*j - 0*j. Is p greater than or equal to 9?
True
Let q = 0.12 + -0.04. Let p = -5.08 + q. Let d = p + 4. Which is smaller: 0.1 or d?
d
Suppose -5*w - 24 = 2*q, 4*w - 8*w + 3*q = 10. Are -3 and w equal?
False
Let q = 32937892/189 + -174275. Let t = q + 8/27. Is t >= 1?
False
Suppose 0 = 3*x - 20 + 5. Let v = -3 + x. Are v and 1 equal?
False
Let d(c) = c**3 + 7*c**2 - 9*c - 8. Let i be d(-9). Let w be i/(3/3)*-1. Let g = 625/7 - w. Is -3 less than g?
True
Suppose 0 = -17*d + 12*d - 50. Which is bigger: -9 or d?
-9
Let f be (-1 - (-1 - 1))/(-1). Is -2/33 at most as big as f?
False
Suppose 3*g + 24 = 3*w, g + 2 = -g - 5*w. Let s be (-10)/(140/(-21))*10/(-3). Which is smaller: g or s?
g
Let h(x) = -x**2 + 4*x - 1. Let n be h(3). Suppose 2*y + 4 = -2. Let q be (4 + y)*n - 3. Which is greater: -2 or q?
q
Suppose -4*i - 4 = 8, i = 4*l - 7. Let y = -1/143 + -412/2431. Which is smaller: l or y?
y
Suppose -2*w + 69 + 1 = 0. Suppose -3*g + 8*g = 5*a + w, 0 = -3*a + 5*g - 19. Let r(x) = x**2 + 7*x - 8. Let f be r(a). Which is bigger: 1 or f?
1
Let a(t) = -t**2 + 9*t + 1. Let o be a(9). Suppose 0 = -2*q + 3 + o. Which is bigger: 1 or q?
q
Suppose -2*d = d. Suppose 3*u - 7 - 11 = d. Is -1 <= u?
True
Let q be 7/(-5) + 2/5. Let n be ((-23)/(-299))/(2/4). Is q greater than or equal to n?
False
Let y be 2/(-2)*-7 + 0. Let u = y + -12. Is -5 not equal to u?
False
Let t be -22*2 - (0 - 2). Let y be (-16)/t + 4/(-6). Let c(z) = 2*z + 3. Let o be c(-3). Do y and o have different values?
True
Let o be (-9)/(-15)*176/(-12). Let g = 376/45 + o. Are 0 and g non-equal?
True
Let g = 0.6 + -0.63. Does g = -1?
False
Let u = -7 + -1. Let p = -1 - u. Which is smaller: p or 6?
6
Let j(u) = -u**3 + 6*u**2 + 6*u + 9. Let k be j(7). Let g be k/(-8) + 30/24. Let o be (-7)/(-9) - 4/(-18). Is g > o?
False
Suppose -s = 5, -43 = -4*k - 5*s + 4*s. Let t = 12 - k. Which is smaller: -1 or t?
-1
Suppose -a + 5 + 12 = 4*l, 4*a = 4. Suppose -2*q + 10 = 2*n, -l*q - n = -0*n - 11. Which is smaller: 4 or q?
q
Let j(t) = 4 - 21*t + 20*t - t**3 + 7*t**2 + 3. Suppose -w - 14 = -3*w. Let u be j(w). Which is bigger: -1/13 or u?
u
Let i be 59/20 - 30/10. Does i = -1?
False
Let o = -246.95 - -255. Let s = -8 + o. Which is bigger: -1 or s?
s
Suppose 16*a - 17*a = 1. Let q be (-4)/(-35) + 2/7. Is q > a?
True
Suppose 0 = s + 2*t - 5*t + 6, 6 = -3*s - 3*t. Let u be (2/6)/(1/s). Suppose -o = 2 - 1. Is o less than u?
False
Let x = 133/3 - 44. Which is smaller: x or 10?
x
Let q be (-3)/4*(-3 - 1). Suppose -2*b = -q*k + 20, 2*k + b = 5*k - 19. Let t be 0*(3/k)/1. Is 1 at least t?
True
Suppose -2*g + 3*c = 3, -2 = g - 2*c + 1. Suppose 15 = 5*o - 3*u, 2*o + 0*u - g*u = 15. Let i = 2 + -2. Is i at least o?
True
Suppose -9 + 3 = 3*g, 0 = 2*b + g - 4. Let f be 2/10 - b/40. Is f <= 1?
True
Let l = -16 + 16. Suppose 4*o = 3 + 1. Are l and o non-equal?
True
Suppose -3*i = -i + 160. Let k be i/(-25) - (-1)/(-5). Is 3 smaller than k?
False
Suppose 5*b = b - 3*o + 16, 5*b = o + 20. Suppose 2*k = -b*m + 8, -m + k + 1 = 5. Which is smaller: m or -1?
-1
Let f = 1900 - 210898/111. Let x = f + 200/1221. Is x != 1?
True
Let t = 2/7035 - 53749/5628. Let v = -44/5 - t. Let b(o) = -o**2 - 4*o + 6. Let u be b(-5). Is v greater than u?
False
Suppose -6*w = -3*w + 15. Which is bigger: w or -6?
w
Let w = 377 + -3403/9. Let s = -149 + 149. Which is bigger: w or s?
s
Let a be 1 + -1 + 70/(-84). Are -1 and a unequal?
True
Suppose 3*y - 1 - 2 = 0, -3*y = 3*q + 222. Let t be (2/q)/(3/(-40)). Let a = -2/15 + t. Which is smaller: a or 1?
a
Suppose 0*j + j = 9. Let p = j - 3. Let l be (3/p)/((-5)/2). Which is greater: l or 1?
1
Suppose 15 = 3*l, 0*a + 4*l = 4*a + 28. Suppose -3*z - 8 + 5 = 0. Is z less than a?
False
Let g(h) = h**3 - 7*h**2 + 5*h + 6. Let m = -12 - -18. Let v be (m/7)/((-2)/(-14)). Let y be g(v). Do y and -1/5 have the same value?
False
Suppose -8 = -2*h - 14. Are -16/9 and h unequal?
True
Let y be (20/8)/((-10)/(-6)). Suppose -2*o = -0*o - 4. Is y smaller than o?
True
Let j be 30/7 + (-4)/14. Suppose 16 = 2*o + 5*w, 6 = 3*o - w + j*w. Let g = o - 0. Is -2 > g?
False
Let r(o) = 0*o - 2*o + 2 + 3*o. Let p be r(-4). Which is smaller: p or 2?
p
Suppose 0 = 4*f - 201 + 21. Let y be (-12)/f*6/(-4). Let i = 13/60 + 9/20. Which is smaller: i or y?
y
Let c = 5 + 1. Let l = 6 - c. Suppose 4*m + 3 + 5 = 0. Is m greater than l?
False
Let n(m) = -2*m**3 - 3*m**2 - 4*m - 8. Let u be n(-2). Is u not equal to 21/5?
True
Let h(d) = -d**3 + d - 2. Let y be h(-2). Suppose -2*z = -y*z - 96. Let a be 1/4 - (-6)/z. Is a less than -1?
False
Let q(b) = 2*b**2 + 2*b - 1. Let j be q(-3). Let h(s) = s**3 - 12*s**2 + 9*s + 1. Let v be h(j). Which is greater: v or -22?
v
Let b(j) = j**2 + j - 1. Let l be b(-2). Suppose i = 5*v - 5, 0 = -3*v - 3*i - l + 4. Let f be (-2)/4*v*-2. Which is greater: 2 or f?
2
Suppose -m - 7 = -0*m. Which is bigger: m or -22/3?
m
Let u(v) = v**3 - v**2 + 2*v - 2. Let o be u(1). Which is smaller: -3/19 or o?
-3/19
Suppose -2 = -3*m + 2*m. Let h be m/(-11) + (-5)/(-88). Are h and 1 equal?
False
Let f(q) = q**2 + 4*q + 5. Let j be f(-4). Suppose -1 = 4*a + 3*d - 47, j*a = d + 48. Is a at least as big as 10?
True
Suppose 0*w = 3*w - 12. Which is smaller: 5 or w?
w
Suppose 4*v - v - 3 = 2*n, -2*n + 2*v = 0. Let p = -0.5 - -0.43. Let d = p + -