 0.74 - 0.44. Which is bigger: j or 10?
10
Let t = -1.2 + 0.2. Let m = -5 + t. Which is bigger: m or 1?
1
Let w be ((-10)/4 + 2)*0. Are w and 0 non-equal?
False
Let r be (4 + -4 + -1)*(-24)/15. Is r greater than or equal to 2?
False
Let h be (-3)/(-18) + 21/(-18). Which is greater: h or -8/9?
-8/9
Let i = -383/36 + 98/9. Let r = 1/33 + 7/11. Which is smaller: r or i?
i
Let t(s) = 4*s**3 - s**2 + s. Let q be t(1). Suppose -n - n = q. Suppose -2*c + 5*c + 6 = 0. Is c at least n?
True
Let b(x) = -x + 2. Let h = -3 - -1. Let d be b(h). Let m be 1/d - 1/4. Do 2/25 and m have the same value?
False
Let i = -19 + 18. Which is bigger: i or -7?
i
Let h be 4/(-5)*1225/(-10). Which is smaller: 99 or h?
h
Let n = -2.9 - -3. Let g = -0.03 - -0.01. Let i = g + -0.08. Is i >= n?
False
Suppose 3*g - 45 = -0*g. Suppose -b - 2*f = g + 1, -82 = 4*b - f. Let c be -3 - -2*(-26)/b. Which is smaller: -0.3 or c?
c
Let y = 6 - 6. Suppose 0 = -4*t - 3*z - 9, 3 = -z - y*z. Let h be 3*(-10)/(-34) + -1. Which is bigger: t or h?
t
Let v be (9/(-4))/3 - -1. Let z = 0 + 2. Let c = z - 3. Which is greater: v or c?
v
Let g be 24/(-36)*2*3/(-2). Which is greater: -5 or g?
g
Let c = 16 + -25. Let x = c + 9.06. Let s = -5/14 - 1/7. Is x at least s?
True
Let j(y) = -y**3 + y**2 - 3*y + 2. Let q(g) = g**2 + 1. Let b(s) = -j(s) + 4*q(s). Let o be b(-2). Let n(i) = i - 11. Let l be n(12). Are o and l nonequal?
True
Suppose 5 = 3*y - 8*y. Let v be 0 - (y - -1)/1. Suppose v = -2*p + b - 5, b = p - 2*b. Are -3 and p nonequal?
False
Let p(d) = d**3 - 9*d**2 - 1. Let b be p(9). Is b greater than -0.1?
False
Suppose 8*h + 34 = 9*h. Let m = 100/3 - h. Does m = 2/7?
False
Let t be 4/(-10) + 1 + 26/(-10). Let i(p) = -p + 4. Let k be i(7). Is t < k?
False
Let t = -3.3 - -3. Let z = -0.6 - t. Let d = z - -0.4. Which is bigger: 1 or d?
1
Suppose r + 4*v - 20 = 0, 4*v = -4*r - v + 36. Suppose -p = p + r. Let m = -21/4 - -11/2. Which is greater: m or p?
m
Suppose -4*w + w + 24 = -2*n, n = -2*w + 2. Let b be n/4*(-2)/24. Let q(k) = k**2 - 6*k + 9. Let p be q(4). Are p and b non-equal?
True
Let a = -6 + 2. Let j = -5 - a. Is -1 bigger than j?
False
Let s(w) = -w**3 - 3*w**2 - w - 1. Suppose -3*a + 2 + 6 = -4*f, f - 3*a = -2. Let r be s(f). Is r bigger than -2?
False
Let z be 1 + 237/72 - 2. Let f = -17/8 + z. Which is smaller: -1 or f?
-1
Let s(l) = -l + 4. Let o be s(12). Is o less than -8?
False
Let i = 13.9 - 2.9. Let s = 31 - 16. Let t = s - i. Is 0.1 at least as big as t?
False
Let c = 1 - 2. Let z = c + 1. Suppose -u = 7*v - 2*v - 15, -9 = -3*v. Is u greater than z?
False
Let v be 1*3/(16 + -1). Which is smaller: v or -1?
-1
Suppose 4*u = -u - 4*d + 552, 4*u - 435 = -d. Let s be u/80 - (-12)/(-16). Is 2 less than or equal to s?
False
Let l(z) = 3*z**3 + 3*z**3 + 2*z**2 - 5*z**3 + 0*z - 2*z. Let m be l(-3). Is m at least -1/2?
False
Let q = -8242/11 - -750. Let h = -21/44 + q. Which is smaller: -1 or h?
-1
Let a(x) = x - 8. Suppose 0 = -4*p - 2 + 34. Let h be a(p). Which is smaller: h or 0.01?
h
Suppose -2*r + 5 = 4*a - a, 3*r = 4*a - 1. Let f be 0/(1/(a - 0)). Let y = -53/6 + 19/2. Is y greater than f?
True
Let u = 3123 - 84310/27. Let c = u + -2/27. Do c and 1 have different values?
True
Let m be (1 - 0)*(-1 + 1). Which is greater: 2/59 or m?
2/59
Let z = -3.5 + -0.3. Let k = z + 4. Which is smaller: k or 1?
k
Let w = 449 + -448.9. Let q be (-14)/(-4)*6/9. Which is smaller: w or q?
w
Let s = -853/22 - -75/2. Which is smaller: s or -1?
s
Let y be (-1 - (2 - 3))/1. Suppose 2*w - 12 = 2*n - y, n = -w. Let j be (-1)/((2 - w) + 0). Which is smaller: j or 0?
0
Suppose -g + 4*k - 4 = 0, -2*g - g = -k + 1. Suppose 3*m = -5*n + 13, -m - 5*n + n + 9 = g. Let a = 53/392 - 1/98. Which is smaller: a or m?
a
Let f = 71/305 + -2/61. Let x = -7 - -13. Suppose -w - 20 = -x*w, -2*w = o - 7. Which is greater: o or f?
f
Let w(t) = 2*t - 1. Let d be w(-3). Which is smaller: d or 0?
d
Let p be 64/(-30) - 6/(-45). Is p >= -3?
True
Let w = -2.7 + 2.71. Which is smaller: w or 0.6?
w
Let r = -5 + 5. Suppose -5*c - 2*h = r, 0 = h + 6 - 1. Suppose c*x - 10 = -3*x. Which is greater: x or 1/2?
x
Let r(w) = -20*w**3 + 2*w**2 + 2*w + 1. Let i be r(-1). Suppose 4*l + i = -7. Let o(u) = u**2 + 8*u + 4. Let t be o(l). Which is smaller: -1 or t?
t
Let r = 6 + 10. Let u = -17 + r. Which is smaller: 10 or u?
u
Let i be (35/(-14))/((-1)/(-4)). Let o be -8 + 6 + i/(-12). Is -2 greater than o?
False
Let l be -2*(14/(-8) + 2). Is l > -2?
True
Let o = -506/3 + 169. Which is bigger: o or -24/11?
o
Let f = -13 - -15. Let t be 3/(-2)*(-32)/3. Suppose -2*u + 6 = 2*c + 4, -t = -f*u + 5*c. Is 2 at most u?
True
Let x be (1*-2 + 0)*-1. Suppose 4 = x*b - 3*n + 9, -1 = -2*b + n. Let c be b - (5 + -2 + -1). Is 1 equal to c?
False
Let s = 7 - 7. Suppose s = o + 5*l + 9, -5*o = 3*l - 7 - 14. Suppose o - 14 = -4*v. Is 4 > v?
True
Let q = -1.89 + 0.19. Is -0.1 bigger than q?
True
Let f = -1494/7 + 213. Is f >= 0?
False
Let r = 0.3 - 0.4. Let c = -12 + 12. Is c > r?
True
Suppose 0 = 2*w - 0*w + 32. Suppose -5*a = 5*s - a + 57, 4*a - 24 = 4*s. Let r be (s/6)/((-6)/w). Which is smaller: r or -3?
r
Let j(c) = 2*c - 4. Let p be j(6). Let d = p + -12. Let h be (2/d)/((-1)/(-4)). Is h > -1?
False
Let m = -7 + 7. Let t = -2 + m. Let r = 3.3 + -0.3. Are t and r unequal?
True
Suppose 13*l = 118 - 144. Let c(s) = -3*s + 1. Let k be c(1). Is l bigger than k?
False
Suppose -4*a + 3*c + 32 = a, -c = -4*a + 20. Suppose 2*p + 2 = 0, -3*p = -4*b - 0*p - 21. Let i be (-2)/b - (-8)/(-6). Which is smaller: i or a?
i
Suppose f = 2*h + 18, 0*f - f - h = -3. Suppose -f - 24 = -4*r. Let y be r/30*(-10)/(-12). Which is smaller: 1 or y?
y
Let d = 1.4 - 1. Let w = -2 + 2.3. Let q = d - w. Which is bigger: q or 2?
2
Suppose 4*q + 2 = 2*j - 6, 0 = 4*j + q - 16. Suppose 4*t - 2*t = o + 1, -j = 2*t + 4*o. Which is smaller: t or 2/3?
t
Let t = -0.9 - -1. Let r = -0.5 + -0.6. Let p = r + t. Is p at most -2?
False
Suppose -b - 3*b - 16 = 0. Let y be ((-6)/b)/((-3)/4). Let f be 1/1 - (0 - y). Which is bigger: -2 or f?
f
Let y be (-3)/12 + (-13)/(-4). Let g(w) = w - 1. Let n be g(5). Which is smaller: n or y?
y
Let q be 4/16*0 - 0. Let r = 8 - q. Which is greater: -1 or r?
r
Let s(b) = 4*b - 15. Let k(p) = -2*p + 1. Let w be k(-6). Let j be s(w). Let l be j/22 + 6/(-4). Which is greater: l or 2?
2
Let b be (-4)/(-4) - 70/80. Let j(f) = -f**2 + 5*f - 5. Let d be j(4). Do b and d have the same value?
False
Let i be 6/(-4) + 57/6. Is i < 25/3?
True
Suppose -2*t + 31 = 3*z, -2*t - 2*z + 39 = t. Which is greater: 3/4 or t?
t
Let t = 1 + 0. Let q = -0.8 + -0.1. Let s = q + 0.6. Which is smaller: t or s?
s
Let j = 113152/73 - 1550. Which is smaller: 0 or j?
0
Let q(h) = 6*h - 1. Let n be q(1). Let m be 2/4*(n - 5). Which is bigger: 1/3 or m?
1/3
Let k = -63 - -54. Is k not equal to -9?
False
Let z = -6/77 - 2/7. Which is smaller: z or 1?
z
Let m be (1 + 20 + -1)*-2. Let l be 42/m*(-6)/28. Let j = l - 5/8. Which is bigger: j or 0?
0
Let s = 71 + -72. Which is greater: s or -4/39?
-4/39
Let b(r) = 2*r - 4. Let p be b(4). Suppose 8 = -p*q + 8*q. Is q >= 12/5?
False
Let w(o) = o**2 - 9*o + 5. Let b be w(8). Let t be 2/10 + 1/b. Are 0 and t non-equal?
True
Let q be (2/(-3))/(4/(-30)). Suppose -4*s = -q*k - 3*s - 17, -3*k - 19 = -5*s. Are -3 and k non-equal?
False
Let s = 0.03 + -3.03. Let x = -5 - s. Which is bigger: 1 or x?
1
Let h(s) = s**3 + 26*s**2 - 31*s - 90. Let m be h(-27). Is 16 >= m?
False
Let i = 16 - 17. Which is greater: 0.15 or i?
0.15
Let i(z) = -3*z**3 + z**2 - 1. Let p be i(-1). Suppose 2*a + 0 = -5*v - 6, p*a + 9 = 5*v. Suppose v = -b - 2*c - 4, -7 = 5*c + 3. Is 2/11 bigger than b?
True
Suppose 2 = -3*q + q. Let d be 6*(9/(-6) - q). Let o = d - -4. Which is smaller: -2/31 or o?
-2/31
Let r be 2/(-4)*(16 - 30). Is r at most as big as 7?
True
Let a be (-4)/(-22)*(-12)/40. Is a equal to 0?
False
Let q(h) = -19*h + 2. Let i be q(1). Let m = i - -15. Which is smaller: m or 0.2?
m
Let z = 8 + -13. Let m be (12/(-5))/(7/z). Let g = m - 55/28. Is g greater than or equal to -1?
True
Let g(x) = -x - 2. Let o be g(-2). Let w be (-4)/(-8) + (-9)/(-12) + -1. Is o >= w?
False
Let z = 30 + -36. Which is greater: z or 0.1?
0.1
Let g be (2 + 1)*-1 - -2. Let y be (-1)/((-3)/(-3) + 3). Which i