ter: b or -1?
b
Let j be 215/(-470) + (-2)/(-4). Which is greater: j or 2?
2
Let h = 436/2043 - -2/227. Which is greater: -16 or h?
h
Let g be (-153)/108 + (-4)/(-6). Is g < -1/4?
True
Let z(q) = q + 6. Let d be z(-5). Suppose 3*k = 17 + 10. Let u be 3/k + 16/15. Is d smaller than u?
True
Let u(r) = r**2 - 7*r - 11. Let m be u(7). Let i = m + 12. Which is smaller: i or 0.8?
0.8
Suppose 10 + 20 = 5*c. Is -1 < c?
True
Suppose -5*i = -3*g - 5, -5*g - 15 = -2*i - 3*i. Does i = -2?
True
Let h = -122 + 120. Let w = -0.34 + 0.3. Which is smaller: w or h?
h
Let h = 16 + 8. Is h smaller than 24?
False
Let r = -4 + 3.4. Let k = 0.4 + r. Is 1/2 < k?
False
Suppose -5*l + 4*g - 1 = 0, 3*l + 5*g = -2*l - 10. Let y be (-9)/(-2) - (-1)/2. Suppose 0 = y*k + 3 + 2. Is k >= l?
True
Let f be 0 + -12*1/1. Let l be f/2*(-2)/4. Which is greater: 0.3 or l?
l
Let q = 0.2 - -0.8. Are -16 and q non-equal?
True
Suppose 3*f - o + 10 = -2*f, -2 = -3*f - o. Let t be (-3 - (-38)/14)*-1. Is f greater than or equal to t?
False
Let k = 18 - 17. Is 1/3 at least k?
False
Let g = 0 - -5. Let t = g + -4.9. Which is greater: 4 or t?
4
Let z = -55 + 54.8. Do 5 and z have different values?
True
Suppose -2*w = -3 - 5. Suppose -h + w = 2*s, -4*h + 12 = 2*s + 2*s. Let y = -621/2 - -311. Which is greater: s or y?
s
Suppose 2*f + 57 = 5*b, -2*b + 7*b - f = 56. Is 12 greater than or equal to b?
True
Let f be ((-10)/15)/((-1)/54). Let q = f - 109/3. Suppose -2*t + 10 = -2*m - 0*t, 5*t = 25. Which is smaller: m or q?
q
Suppose 0 = -3*b - 4*j - 57, -j = 4*b - 6*j + 107. Which is bigger: -22 or b?
-22
Let t = -10 + -7. Is t greater than -17?
False
Let k be (3 - (-28)/(-12)) + (-128)/3. Which is greater: -41 or k?
-41
Let n = 24 - 25. Which is smaller: n or -8/9?
n
Let i = 19/11 + 23/44. Is 1 at least as big as i?
False
Let z be ((-6)/(-16))/(3/2). Let l = -11 - -10. Which is bigger: z or l?
z
Let u be (-4)/6 - 24/(-9). Suppose -7*s + 5 = -u*s. Let n = s - 5. Which is greater: n or -5?
n
Suppose 0 = 5*z + 1 - 6. Does -1/17 = z?
False
Suppose -6 = f + 4*q + q, -5*f - 2*q = 7. Are f and -1/4 equal?
False
Let n be (-2802)/(-14) - 4/(-14). Let k = n + -200. Let b = 1/19 - -33/95. Is b != k?
True
Let b be 2/(2/31) - 0. Suppose -3*q = 9 + 6, -3*o - b = 2*q. Is -8 <= o?
True
Let v be 328/(-1246) + (-18)/(-63). Which is smaller: 0 or v?
0
Let h(f) = -13*f**2 - 9*f - 11. Let u(r) = -13*r**2 - 8*r - 10. Let g(b) = 4*h(b) - 5*u(b). Let q be g(-6). Let y be 5/(q/(-4))*-5. Which is smaller: y or 1?
y
Let q = -0.77 + 0.67. Let k = 2.3 + 0.7. Let o = k - 2.6. Which is bigger: q or o?
o
Suppose -2*m = -m. Let r = -177/5 + 36. Is m smaller than r?
True
Let x = -12.5 - -11.5. Which is smaller: 11 or x?
x
Suppose -18 = -5*b + 2. Suppose q = b*n + 4 - 2, 3*n + 12 = 0. Let k = -57/4 - q. Is -0.1 bigger than k?
True
Let m = 9/91 - 313/5005. Is -1 greater than m?
False
Let k be 4/18 - (-32)/18. Suppose -6 = -f + 2*b - 0*b, -5*b = 25. Let z = k + f. Does -3/5 = z?
False
Suppose z = -2 + 4. Let c = 3.93 - 4. Let m = 0.93 - c. Is z at least as big as m?
True
Suppose -22*b + 10 = -17*b. Suppose -c = -2 - 0. Is b at least c?
True
Let o = 3 + -3. Suppose -z - 2*z = o. Do 1/2 and z have the same value?
False
Let k = 3.5 - 1.5. Which is greater: -3 or k?
k
Suppose -5*k + 10 = -5*z, 3*z = 2*k + 3*k - 12. Let v(j) = j**2 - 4*j + 4. Let h be v(4). Let f = h - k. Which is smaller: 3 or f?
f
Let f be ((-2)/(-2) - 2)*-3. Suppose 0 = -3*d - 0*d - f. Let z be ((-4)/12)/(6/18). Is z at least as big as d?
True
Let x be (8/(-4) - 16)*(-4)/(-6). Is 2 smaller than x?
False
Let r be ((-1)/(-13))/(3/18*6). Which is greater: r or 0?
r
Let j = -0.32 - -3.12. Let d = j + 8.2. Which is greater: 2/7 or d?
d
Let g = -1 + 3. Let v = 16 + -18.1. Let s = g + v. Which is greater: s or -0.03?
-0.03
Let s = -935 - -7497/8. Is s less than or equal to 2?
False
Let g = -20 + 24. Which is smaller: 1 or g?
1
Let n = 0.049 + 0.951. Is -1.4 != n?
True
Let y be ((-308)/875)/11*5/(-2). Which is greater: 1 or y?
1
Let o = 31 - 17. Suppose -c = -5 + 2. Suppose 3 = 5*t - c*m + m, -4*m = -2*t + o. Which is bigger: t or 0?
0
Let m be (-13)/(-2) - 6/(-4). Let p be (7 + 0 - 2) + 1. Let z be (-8)/p*2/m. Which is bigger: -1 or z?
z
Let l = 8.8 - 9. Is l < -4?
False
Let t = -40 + 39. Which is greater: -8 or t?
t
Suppose 5*l = -3*u - 2 + 4, -5*u + 3*l + 26 = 0. Let q be (u/(-25))/(4/(-10)). Is q != 1/4?
True
Let o be -1 + (0/1 - 14). Let l(u) = -2*u**2 - 8*u - 8. Let p be l(-4). Let c = o - p. Is -6 <= c?
False
Let u(i) = 4 - 2*i + 4 - 4 - i**2. Let b be u(-4). Is -4 less than b?
False
Let h = 0.2 + 0.8. Let u = -4 + h. Let f = 87 + -86. Which is smaller: u or f?
u
Let q = 1133/81 - 14. Is q less than 1?
True
Let y(o) = -o**2 - 10*o - 1. Let s be y(-10). Do s and 2/19 have the same value?
False
Suppose 3*o + 4*j - 2 = 8, -2*j + 8 = 0. Is o equal to -16?
False
Let u = 14 + -10. Suppose -5*f - 1 = -u*f. Which is smaller: 2/5 or f?
f
Let t = -2.76 - -3. Let b = t + -0.04. Which is smaller: b or -1?
-1
Let s = 235 + -243. Let o = -19 - -11. Is s > o?
False
Suppose 9*i - 22 = -31. Which is greater: 68 or i?
68
Let q be 1/4 + (-27)/(-12). Suppose -3 = 6*m - 21. Which is smaller: m or q?
q
Let j be (-15)/(-36) - 2/8. Let w = 3 + -3. Suppose w = -3*h + 4*h. Which is greater: h or j?
j
Let u be (5/75)/(-1)*-6. Let y = -2.02 + 0.02. Which is greater: u or y?
u
Let f be (-18)/17 + (0 - -1). Let t = f - 14/51. Which is smaller: t or 4?
t
Suppose v - 4 = -2*q, 2*q - v - 15 + 3 = 0. Is q bigger than 34/11?
True
Let m = 40/3 - 25/2. Is m less than or equal to 1?
True
Let u(a) = -a + 10. Suppose -y + 2*y - 24 = 0. Suppose -4*c = -c - y. Let n be u(c). Which is bigger: -1/3 or n?
n
Let f = 5 + -5. Let n be (-4)/(-14) - (-15)/21. Let m be (11/(-13))/1 + n. Is m <= f?
False
Let m = 18 - 17.9. Which is greater: m or 3?
3
Let q = 0.3 - 0.2. Let l = 13.95 + 0.05. Let k = l + -13.9. Is k smaller than q?
False
Suppose 0 = 2*f - 3*m + 66, 5*m + 31 = -f + 11. Let y be ((-2)/5)/((-22)/f). Is y less than or equal to -1?
False
Let c = -22 - -34. Let a = c - 7. Which is smaller: a or 6?
a
Suppose -n + 3*n = 0. Let p be 49/(-2) - (-4 - -4). Let i = p - -25. Is n greater than i?
False
Let g(d) = d + 12. Let r be g(-8). Let f = r - 6. Let t = -864/5 + 172. Which is smaller: f or t?
f
Let c = 16.1 + -16. Does 0.05 = c?
False
Suppose 3 = 4*y - 9. Suppose y*x - 4*x + 20 = 0. Suppose 5*l = 3*c + x, 0*l - 2*c = l + 9. Which is bigger: l or 0.1?
l
Let w = 896/7327 - 2/431. Which is smaller: 1 or w?
w
Suppose 5*v = g + 7, 10 = g + 5*v - 3. Is g at most 2?
False
Let c be (-22)/(-24) + (-1)/4. Suppose 5*f - 8*f = -9. Let a be (-6)/(-18) + 2/f. Which is smaller: a or c?
c
Let v = -21 + 7. Let h be 1/(-1 - v/12). Let b be ((-1)/3)/(h/(-18)). Is 1 at most b?
True
Let p = 2 + -2. Suppose p = -q - 4*q. Do 0 and q have the same value?
True
Let n = -8 - -5. Let x = -155 - -1553/10. Let i = -4/5 + x. Is n bigger than i?
False
Let y = -3 + -2. Let w = y + 5. Is w at least as big as 0?
True
Let n = 9 + -6. Let j = n - 6. Does j = -2?
False
Let r(u) = u - 10. Let w be r(8). Let t = -0.1 + 0.1. Let s = t + -1. Which is greater: s or w?
s
Let p = 0.18 - -2.62. Let t = p + -3. Let n = -1.5 + 1.5. Is t >= n?
False
Suppose 11*t = 9*t - 8. Let c be (-4)/(-18) + t/(-468). Which is smaller: 1 or c?
c
Let a be ((-6)/(-9))/((-4)/78). Let w = a + 13. Is -6 less than w?
True
Suppose 2*f + n - 5 = 13, -5*f + 45 = -5*n. Let s = f + -6. Which is smaller: 2 or s?
2
Let p be 14 + -1*(2 + 0). Suppose -p = 4*l - 0*l. Is 1 < l?
False
Let n(k) = -2*k - 7. Let h be n(-5). Suppose -5*i - 12 = 2*b - 3*b, i - h = 2*b. Let l = 4 + b. Which is greater: l or 0?
l
Let b be (1*9)/((4 - 2)*5). Is b smaller than 0?
False
Let n = 11 - -1. Let x = -7 - -9. Let s be (-7)/n + x/6. Is s bigger than -1/4?
False
Let g = -0.042 + 5.442. Let d = g + -7.5. Let l = d + 2. Which is bigger: l or 3?
3
Suppose 5*w = -4*u + 111, -w = -2*w + 2*u + 11. Which is bigger: w or 18?
w
Suppose 4*t - 4 = 4*s, 0*s - s + 3*t = -7. Let i be 1/s + 2/10. Suppose -4*d - d - 5 = i. Is d > -2?
True
Suppose 0 = 8*u - 2*u. Is u smaller than 1/17?
True
Let n be ((-2)/2)/(14 + 4)*-20. Which is smaller: 1 or n?
1
Let l = 121/3 + -525/13. Is l not equal to 0?
True
Let b = -878/1561 - 2/22