- t. Let r = 0.02 + 0.28. Is r less than a?
False
Let s = 8 + -14. Let q = 8 + s. Suppose -2*w - 7 = 3*a, -q*a - a = 5*w + 13. Which is greater: w or -1?
-1
Suppose -v - 4 = v. Let g = -17 + 25. Let x be g/(-6) + (-6)/9. Is x less than v?
False
Let f = 278 - 9445/34. Let v be ((-4)/(-10))/((-306)/(-30)). Let j = f - v. Do j and 0 have the same value?
False
Let x = 7.2 + -7. Which is smaller: x or 2/3?
x
Suppose -3*h + 4*n = -6, 2*n = -4*h + h + 6. Suppose 4*u = 10 + h. Suppose -2*m + 4*f = -f + 20, u*m - 5*f = -20. Which is smaller: m or 1?
m
Let j = -1 + 2. Let q be (-2 - j)/((-15)/(-2)). Which is smaller: q or 1?
q
Let m = 3137/15 - 209. Is 0 >= m?
False
Let g = 43 - 85. Let s = 125/3 + g. Is s at most as big as -2/25?
True
Let g = 6 + -3. Suppose 3*o + 3*r = -6 - 3, g*o + 7 = -5*r. Let n = o - -5. Which is smaller: n or 0?
0
Let k = 18.16 - 18. Let d = k + -0.17. Is d at least as big as -1?
True
Let d be 0/4 + (0 - -1). Suppose d = -u - 0. Let j = 2221/9 - 247. Is j greater than or equal to u?
True
Suppose -2*z + 0 - 6 = 0. Let o be (z - -9)/1 - 2. Is 5 smaller than o?
False
Suppose 0 = 3*h + 4*l + 7, -11 = 3*h - 2*l + 4*l. Let u be (-2)/h + (-33)/(-5). Are u and 8 nonequal?
True
Suppose -4*p - 16 = -2*f, 5*f + 5*p + 1 + 4 = 0. Let b be -3*(50/15 - 4). Is f equal to b?
True
Suppose 0 = 5*m + 2*i + 5, -4*m - i = -2*i + 17. Let s be m + (8 - 2/(-1)). Is s less than or equal to 6?
False
Let t = -5 - -2. Let l be 2/t - (-1 + 0). Is l greater than or equal to 3?
False
Let m(d) = d**3 - 5*d**2 - 4. Let r(h) = h**3 + 6*h**2 + 4*h. Let p be r(-5). Let j be m(p). Is -3 less than j?
False
Suppose 4*w - 12 = -4*a, a - 4*w + 6 = -a. Which is smaller: 14/9 or a?
a
Suppose -4*u + 5*x = -0*x - 73, 3*u + 2*x - 26 = 0. Do u and 11 have different values?
True
Let w = -1 + 0.9. Let l = w - 0.9. Which is greater: l or 0.05?
0.05
Let r be 2/3 + (-40)/15. Let k be ((-126)/7)/(0 + r). Which is greater: 10 or k?
10
Let y = 87 - 51. Let t be 2/y + 0 + 0. Which is smaller: t or 1?
t
Suppose -2*r - 2*m + 3*m = 3, -5*r - 5*m - 30 = 0. Is r at most as big as -3?
True
Let g = 241 + -4576/19. Is g at most as big as -1?
False
Suppose -y - 4*y = -5. Are y and 9/8 nonequal?
True
Suppose t - 22 = -0*f + 3*f, -t + 28 = -4*f. Which is smaller: f or -5?
f
Let v = 114 + -1253/11. Let u(s) = -s**3 - 6*s**2 - 5*s. Let n be u(-5). Which is smaller: v or n?
n
Let f be (5/6 + (-2)/6)*0. Is f equal to -2/139?
False
Let x = 17323/5 + -3439. Let y = x + -1654/65. Is 0 != y?
True
Let m(d) = d**3 - 7*d**2 - 11*d + 16. Let u be m(7). Which is bigger: u or -60?
-60
Let i(h) = h**2 - 12*h + 3. Let p be i(13). Suppose 3*w + w = -p. Is -3 equal to w?
False
Let o = -8/3 - -2. Let t be 2/(-6) + (-4)/6. Is t bigger than o?
False
Suppose 0 = 4*t - 0*t - 16. Suppose -5*w = -3*j - 11, 4*w + 4*j + t = -0*w. Which is smaller: w or 2/7?
2/7
Let a be (-2)/3 - (-5)/3. Let n = 59/270 + 1/270. Which is smaller: a or n?
n
Let r be 3*1 - (5 + -5). Suppose -8 = -q + r*q. Let m be 14/q*24/98. Is 0 at least as big as m?
True
Let s(r) be the first derivative of -r**4/4 - 5*r**3/3 + 2*r**2 - 7*r - 3. Let n be s(-6). Do n and 4 have different values?
True
Let l(a) = -2*a**2 - 6*a. Let p be l(-5). Let f be (-1)/2*8/p. Which is smaller: 0 or f?
0
Let r be 0/((3 - 1)/(-2)). Let n = 0 + r. Suppose 3*b - 22 = 3*d - b, -b = 2*d. Is n smaller than d?
False
Let r(s) = -s**2 + 11*s + 12. Let q be r(10). Let u = q - 21. Which is bigger: u or 2?
2
Let l = 32 - 30. Suppose -2*q = -3*n + 71, 4*q = 7*n - 3*n - 92. Suppose 3*w - 15 = 3*r, n = -3*r - 2*r. Is l greater than w?
True
Let u be (-22)/(-14) + 4/(-7). Which is smaller: 5/7 or u?
5/7
Suppose 0 = 2*m - 4*n + 8*n + 92, 0 = n + 1. Which is smaller: -41 or m?
m
Let v = 164/5 - 34. Let z(b) = -b - 6. Let c be z(-6). Which is smaller: v or c?
v
Let z = -2/111 + -991/444. Let n = 7/4 + z. Is -0.04 greater than n?
True
Let k = 1.081 - 0.081. Is 22 at least k?
True
Suppose -w + 19 = -k - k, -k = w + 17. Let p = 0.61 + -0.51. Which is smaller: p or k?
k
Let w = -5 + 1. Suppose -4*l = -5*l - 4. Is l bigger than w?
False
Let g = -2.4 - -2.5. Which is greater: 36 or g?
36
Let k be 4/5 - (3 + -1). Which is bigger: k or 0?
0
Suppose -2*c - n + 19 = 48, 0 = -5*c + 3*n - 56. Let u be 28/c - (4 + -6). Is -1 at least as big as u?
False
Let i = 0 - -7. Suppose i = y - 0*y - 3*w, 0 = 5*y + 3*w + 1. Are 6/7 and y non-equal?
True
Let w = 6 + -9. Let q be (w/(-39))/((-6)/72). Which is bigger: -2 or q?
q
Let n(w) = w - 10. Suppose 2 + 33 = 5*c. Let j be n(c). Is -4 less than or equal to j?
True
Suppose -4*f - 30 = -f. Let q(d) = 7*d**2 + d - 19. Let t(n) = 3*n**2 - 9. Let a(b) = -4*q(b) + 9*t(b). Let z be a(-5). Is f greater than z?
False
Let p = -16 - -27. Let k = p - 7. Let f = 6 - k. Are f and -2 nonequal?
True
Let w = -1.73 + 1.6. Let u = -0.03 - w. Which is greater: u or -5?
u
Suppose -12*y + 99 = -3*y. Let a = -2 - -1. Is y less than or equal to a?
False
Let h = 60 + -54. Is 23/4 at most as big as h?
True
Let m be (14 + -15)*2/(-6). Which is smaller: 1 or m?
m
Let u = 0 + -0.2. Let v = 3 + -2.9. Is u equal to v?
False
Let d = 509/9 + -57. Let u(z) = -z**2 + 4*z + 1. Let l be u(4). Which is smaller: d or l?
d
Let a = 157/4 + -39. Let l be -1*(0 - (-1 - -1)). Are a and l nonequal?
True
Let s be 7 + ((-6)/2 - 0). Is 4 >= s?
True
Let b be ((-9)/(-24))/((-3)/2). Let g = 1/44 + 85/132. Which is bigger: g or b?
g
Let t = 11 + -5. Suppose c = t*c. Let u be ((-4)/6)/(98/(-42)). Is u >= c?
True
Let m = 31 + -31. Let z = 281 - 4781/17. Do m and z have the same value?
False
Let h = 83/111 + -3/37. Which is greater: -1 or h?
h
Let r = 55556/47 - 1182. Which is smaller: 0 or r?
0
Suppose -3*q = -b - 0*q - 5, -4*b - 5*q = 20. Let p be (b + 2)/6*-8. Suppose 2 = -p*x + 2*x. Which is greater: x or 0?
0
Let d = 0.04 - 0.34. Are d and 0.02 non-equal?
True
Let g = 0.2 - -0.2. Let d = -1.3 + g. Let s = d - -1. Which is greater: 1 or s?
1
Suppose -3*q + 3*y = -0*y - 15, -4*q - 3*y = -27. Suppose 0 = -0*l - 3*l - q. Is -2 < l?
False
Let h = 0.3 - 0.2. Let g = 1.1 - h. Let s = 212 + -212.6. Which is smaller: g or s?
s
Let g be (-4)/(-10) + (-792)/(-20). Suppose 5*w - g = 5*q, 3*w + 2 + 4 = -3*q. Suppose -2*s + 4 = -4. Which is smaller: w or s?
w
Let o(u) = 3*u + 2. Let h be o(1). Are 5 and h nonequal?
False
Let q = 0.82 + -0.57. Which is smaller: 0 or q?
0
Let r(h) = -4*h - 10. Let z be r(-5). Is z equal to 10?
True
Let y = -70 - -16. Let i be 3 - 1/((-15)/y). Which is greater: i or -1?
i
Let x be ((-3)/12)/(-3 - -2). Is 6 less than x?
False
Let m = -0.08 - 7.92. Do m and -1/4 have the same value?
False
Let m = 3.945 - -0.055. Which is smaller: -2 or m?
-2
Let u = -25.7 + 26. Is u at least 0.2?
True
Let j be 1/2*(9 + -5). Is j greater than 4?
False
Let t be (4/6)/((-2)/(-3)). Suppose -4*p + 1 = 13, 0 = 4*k + 3*p + 1. Let i = k + 0. Which is greater: i or t?
i
Let s be (-2)/6*6/8. Is -30/13 at least s?
False
Let s(l) = 1 + 15*l**2 - 19*l**2 - 2*l**3 + 3*l**3. Let h be s(3). Is h at least as big as -7?
False
Let z(t) = -t**3 - 5*t**2 + 2*t + 9. Let m be z(-6). Suppose 3*r = 2*i + 192, -2*i + 2*r - 225 = -m. Let c be i/(-140) - (-2)/(-7). Is c not equal to 3?
True
Let s be (9 - 1) + (-8)/(-4). Suppose 0*h - 3*h + 3*v + 9 = 0, s = 5*h - 4*v. Let w be 3/((-4)/1 + 3). Which is smaller: h or w?
w
Let h be 9/(-6)*(1 + 1). Let m be 0/2 - (h + 4). Which is greater: m or -0.1?
-0.1
Let n = 10 - 11. Is 1/7 greater than n?
True
Let l be (-69)/(-15) + (-2)/(-5). Suppose -d = 4*f - 12, d - 5*d + l*f - 15 = 0. Suppose d*k + 5 = 5*k. Is -3/8 at most k?
True
Let b(t) = 2*t - 26. Let u be b(11). Which is smaller: -14/3 or u?
-14/3
Suppose -5*o + 5*y - 18 + 3 = 0, 2*y = 3*o + 8. Let v = -3 + 1. Let n = v + 2. Which is smaller: o or n?
o
Let l(z) = -11*z + 11. Let n(a) = 7*a - 7. Let j(y) = -5*l(y) - 8*n(y). Let f be j(0). Suppose -2*q = -2*k, 3*k + 3*q - 13 + f = 0. Which is smaller: k or 1?
1
Let q = -19.1 + 19. Which is smaller: q or -5?
-5
Let f(y) = 5*y. Let a be f(4). Let n be (-2)/a*2*4. Which is smaller: n or -1?
-1
Let v = -119 + 113. Which is bigger: -2 or v?
-2
Let j = 15 - 10. Which is smaller: 7/2 or j?
7/2
Let k be 2/3 + (-77)/(-42). Let j = 1 - -2. Is j at most as big as k?
False
Let w be (2/4)/((-7)/98). Does w = 