 0.2 at least as big as j?
True
Let t = -13/140 + -1/20. Which is bigger: t or 1?
1
Let w be (-935)/612 - (-2)/(-8). Which is greater: w or -2?
w
Let u = -47.9 + 48. Is -65 greater than u?
False
Let m be 6/12*(-3)/39*2. Suppose f + y + 2 = 0, 3*f + 4 + 3 = -4*y. Do m and f have different values?
True
Let m be (-4)/(-10) + 28/(-45). Let u(l) = -l**3 + 9*l**2 - 7*l - 11. Let q be u(8). Let d = q + 2. Which is smaller: d or m?
d
Let q be 4 + 6 + -3 + -1. Let i be (-1)/(-6) - 91/q. Does -15 = i?
True
Let s = 295 + -2657/9. Let n be 2/(-4) + (-1)/(-2). Which is smaller: n or s?
s
Let a be ((-3)/6)/(3/2). Is 5 greater than or equal to a?
True
Let g = 11.1 - 11. Which is bigger: -0.06 or g?
g
Let y = -28.06 + 28. Let d = -29.94 - -32. Let s = d + y. Is -2 equal to s?
False
Let z be 4/(2/(-1) - 0). Let b be 1 + z + 2*1. Let q be 2/(-4) - b/(-4). Do -5 and q have the same value?
False
Let r be 2/8*-2*-6. Let h = 2 + r. Suppose -h = 2*d + 3*d. Is d >= -2?
True
Let p(z) = -z**2 + 6. Let k = -15 + 21. Let v(x) = -x**2 + 7. Let h(m) = k*p(m) - 5*v(m). Let b be h(-2). Is -3 bigger than b?
False
Let t(k) = 13*k**2. Let o be t(-1). Let r be o/(-3) - -2 - -2. Let a(z) = z**2 + 8*z + 7. Let d be a(-7). Do r and d have different values?
True
Let i = -61 + 309/5. Suppose 3*y = -3 - 0. Let v(p) = p**2 + p + 1. Let z be v(y). Is i > z?
False
Suppose 12 = -2*n + 2*o, -2*n - 25 = 2*n - 5*o. Suppose -4*j + 2*j + 8 = -2*m, 5*m + j = -38. Which is smaller: m or n?
m
Let d = 0.24 + -0.97. Is 2 at most as big as d?
False
Let i(o) = -o + 6. Let l be i(5). Which is greater: 2/123 or l?
l
Let p = -7948/29 + 274. Let d = -35 - -34. Is p at most as big as d?
False
Let d be (-6)/(-10)*((-44)/(-6) - 7). Let j = 0.1 - 0.2. Is j smaller than d?
True
Let x = 7 - 16. Let q be (-20)/(-8)*18/(-5). Is q at most x?
True
Let b = -6 - -28. Suppose -2*i + b = -0*i. Let s = i - 21/2. Are s and 0 non-equal?
True
Let p be -5 + 2 - 1*2. Suppose -c + 4*c - 21 = 0. Let b = c + p. Which is smaller: b or 1?
1
Let a = 0.03 + -0.03. Is a > 2/7?
False
Suppose -o = -y - 2, -5*y + 0 - 10 = 3*o. Is o > 5/23?
False
Let t(l) = -l - 12. Let r be t(-13). Is r not equal to -3/22?
True
Let s = -276/5 + 58. Is s bigger than 4?
False
Suppose 0 = -5*x - 5*b + 25, 3*x - 5 = 5*b - 14. Suppose -60 = -5*n - 5*w - 0*w, 32 = 2*n + 4*w. Let r be 1/x + (-6)/n. Are 1 and r equal?
False
Let n(g) = -g**3 - 4*g**2 - 5*g - 3. Let q be n(-3). Let d be (4/6)/((-1)/q). Let p = -12 - -11.8. Is d >= p?
False
Let l = 7 + -4. Let g be (-4)/(-6) - 48/(-9). Let z be (-2)/6 - (-20)/g. Is l not equal to z?
False
Let k = -116 - -814/7. Do k and 1 have the same value?
False
Let l = -7 - -8. Let g = l + 1. Is g bigger than 3?
False
Let w(p) = -p**2 + 7*p - 3. Let l be w(6). Suppose 0 = -2*n - 4*x + 22, l*n - 2*x = 2*n - 5. Let f be (3/(-7))/(n/2). Is f less than or equal to 0.2?
True
Let t = 0.04 + -0.34. Let a = t - -0.4. Let k = 0.5 - a. Which is bigger: k or 0?
k
Let g(y) = y - 2. Let f be g(2). Suppose -z - d + 7 = 0, -d - 3 = -3*z + 2*d. Suppose -z*u - 2 = -6. Which is bigger: f or u?
u
Suppose -r + 9 = -3*r + 5*o, -3*r + 39 = 3*o. Let j be 36/r*2/7. Which is greater: j or 0?
j
Let s = -3.05 + 0.05. Let z = -2.8 - s. Let w be 2/4*(0 + 1). Which is smaller: w or z?
z
Let v = -4 - -15/4. Which is greater: v or -0.17?
-0.17
Suppose w + 4*j - 9 = 0, -18 = 2*w - j - 0*j. Is -5 greater than w?
True
Suppose 8 = -i + 2*c - 0*c, 15 = -3*i - 3*c. Let m be (-1)/(-2)*(-4)/i. Which is greater: 9 or m?
9
Let q be 3 - 0*2/6. Suppose q*r + 14 = f + f, 2*f = 5*r + 18. Suppose -f*i = -4*c + 16, -8 = -3*i + 5*i + c. Are i and -3 non-equal?
True
Let m be 1/(-6) - -115*(-1)/(-6). Is m greater than or equal to 20?
False
Let t = 0.31 + -0.01. Which is smaller: t or 1?
t
Let b(y) = -y**2 + 5*y. Let m be b(5). Is -1 at most as big as m?
True
Let c be 3 + 1*(-4 - -3). Is 3 greater than c?
True
Let g(j) = j - 11. Let k be (2 + -1)*10/2. Let h be g(k). Let p = h - -10. Which is smaller: p or 3?
3
Let u = 15 + -11. Let f be 0 + 5 - (-1 + u). Suppose -g - 2 = -f*g. Is 2 < g?
False
Let f = -12/29 + 151/435. Let y = f + 47/30. Which is bigger: 2 or y?
2
Suppose 0 = -2*q + 5*q - 6. Is q greater than or equal to 20/7?
False
Suppose -y - 4*n = 4*y - 35, 5*y + 3*n = 30. Are y and 2 equal?
False
Suppose -16 = 2*p + 2*p. Let a be p/(-10) - 57/105. Let r = a - 1/42. Are r and -1 equal?
False
Let d = -4 - -4.3. Let t = -3.7 - d. Which is greater: -0.1 or t?
-0.1
Let g(x) = -5*x**2 + 4*x - 3. Let p(y) = 6*y**2 - 5*y + 4. Let t(k) = 5*g(k) + 4*p(k). Let j be t(0). Is 1 smaller than j?
False
Suppose 9*u = 6*u + 30. Do 10 and u have the same value?
True
Suppose -4*f - 5*l + 81 = 0, 3*f + 2*l - 22 = 6*l. Let s = f - 9. Which is bigger: s or 9/2?
s
Let l = 2 + 4. Do 6 and l have the same value?
True
Suppose 0 = -3*s + l - 3*l + 9, -5*l = 4*s - 19. Which is bigger: -1 or s?
s
Let s be (0 - 2)*(-35)/14. Let t(p) = -p**2 + 4*p + 10. Let o be t(s). Which is bigger: 3 or o?
o
Let p be (3/5)/(6/1395). Let i = p + -129. Let x = i + -11. Which is smaller: 1 or x?
x
Suppose -5*y + 0 = 10. Let x be 0*(y/(-4) - 1). Let n be 10/15 + (-1)/(-3). Is x at least as big as n?
False
Suppose 3*v = -15, -5*k + 3*k = -3*v - 19. Suppose n + k*w = -3*w - 9, 2*n - 2*w = -6. Is -6 at least as big as n?
False
Let n = -198 - -2771/14. Which is smaller: n or 0?
n
Let l = 10 - 5. Let a = 0 + l. Is 1 not equal to a?
True
Let f = -55/3 + 18. Let u be 2/132*16*9/12. Which is smaller: u or f?
f
Let g be (0 - -2)/(-4)*-30. Let f = 241/16 - g. Are f and -1 unequal?
True
Let i = 0 + -1. Let a = -347 - -348. Is a at least i?
True
Let c = -10 - -9.4. Let t = -0.75 - c. Is t != 0?
True
Let b be (9/(-6))/(-4 - -181). Which is bigger: b or 1?
1
Let y be (-160)/(-25) - 6/15. Suppose 24 = 5*f - 6. Is y equal to f?
True
Let h = 1.23 + 3.67. Let r = h - 5. Let d = -0.06 - -1.06. Is r less than d?
True
Suppose -16 = -4*s, 3*r + s + 4 = 20. Is 3 smaller than r?
True
Let h = 59 + -78. Do h and -21 have the same value?
False
Let x be 2 + -3 + 4/2. Let v be (-48)/9 + 2/(-3). Let a = v + 17/3. Which is greater: a or x?
x
Let y be (1 + 41)*1/3. Suppose -1 - y = -5*k. Is 1 less than k?
True
Suppose 0*u - 13*u + 65 = 0. Let l be -1 - (-2 - 0 - -2). Do u and l have the same value?
False
Let y = 788/1173 - 2/391. Is y greater than 44?
False
Let d(o) = 2*o**2 - 2*o + 3. Let q be d(1). Let z(g) = -g**2 + 7*g + 2. Let f be z(7). Which is bigger: f or q?
q
Suppose 6*j + 43 = 7. Let v = 2 + -5. Is v >= j?
True
Let c(s) = s**2 + 13*s - 15. Let g be c(-14). Which is smaller: 2/47 or g?
g
Let z be 2/(-4) - (-4)/8. Is 2/31 greater than z?
True
Suppose 2*p = 3*p - 10. Suppose q - n = -2 - 3, -2*n = 4*q - p. Which is smaller: q or -1/3?
-1/3
Let y be (2/20)/((-6)/(-45)). Is y at most as big as 0?
False
Let d = -5 + 7. Suppose 7 = j - d*b, -j + b = 3*j - 28. Is j > 7?
False
Let l = 3062/5 + -615. Which is smaller: -3 or l?
-3
Suppose -5*c = 9 + 1. Let z be (3 - (-3 + 1)) + c. Suppose -1 - z = -4*s. Is s at most 1?
True
Let a be (-12)/10*10/(-2). Suppose -a*q = -2*q + 4. Let c = 182 - 1640/9. Which is bigger: q or c?
c
Let h be (-1)/(4/8*2). Let z be (10 + -12)*h/(-2). Is -0.9 at least z?
True
Suppose 4*d = w + 199, 2*w + 0*w = 4*d - 202. Are d and 49 equal?
True
Suppose 3*i - 71 = 5*o, -3*i - 7 = 2. Let w = o + 20. Which is smaller: 5 or w?
w
Let w = 14 - 8. Let a be (w/(-3))/(2/1). Which is greater: a or 2/3?
2/3
Let s be (10 + -10 - (0 - -1))*0. Which is smaller: s or 12/17?
s
Let o = 3 - 22. Which is bigger: o or -18?
-18
Let l = 39 - 23. Let n = l - 20. Which is smaller: -2 or n?
n
Let a = -16 - 2. Let h = a - -17. Which is smaller: h or -2?
-2
Let m(y) = -y**3 - 5*y**2 + 5*y - 2. Let u be m(-6). Which is smaller: -2 or u?
-2
Let t = 2 + 0. Let c(j) = j - 2. Let o be c(t). Which is smaller: -2/13 or o?
-2/13
Let s(g) = -g**2 + 2*g. Let i be s(2). Let x = -0.19 + 0.09. Which is bigger: x or i?
i
Let o be (-5)/((-15)/6) + -25. Let b be ((-326)/7)/(-2 - 0). Let i = o + b. Which is greater: 1 or i?
1
Let q = 0.051 - -2.249. Let v = -5.7 - q. Is -1 not equal to v?
True
Let v be (-1 + -1)*2/9. Which is smaller: 0 or v?
v
Let q = -247 - -5185/21. Which is smaller: 1 or q?
q
Let f be 3/(-9) + (-345)/99. Let s = -263/66 - f. Which is smaller: -1 