
n
Let z be (1 - 0)/(2/6). Suppose 4*s = -3*b + 15, -2*b = -2*s + b + z. Let g(x) = x + 4. Let f be g(0). Which is smaller: f or s?
s
Let l = 2.65 + 0.15. Let r = l + -3. Is -1/5 greater than r?
False
Suppose -2 = -2*q + 2. Suppose 2*a = -2*a - 4. Let g = 1 - a. Is q equal to g?
True
Let n be -5 + 3 - -4 - 1. Which is smaller: n or 7?
n
Let v be 16/6 + (-3)/(-9). Suppose -v*k - 29 = -3*h - 5, 4*h - 5*k - 37 = 0. Let f = 0 + 3. Are h and f equal?
True
Let v = 0 - 0. Let r = v - 0.2. Let j be 2*(3 + (-28)/8). Is j >= r?
False
Suppose -4*j - 29 = -5*i, -2*j + 5*i - 26 = -j. Is j not equal to 4?
True
Suppose o = -2*m - 2, o = 5*o - 4*m + 44. Suppose -3*q + 4 = 10, 3*q = a + 4. Which is greater: a or o?
o
Let s(i) = -i**3 - 6*i**2 + 4. Let v be s(-6). Let j be 72/255 - v/10. Are 0 and j equal?
False
Let h be 2*(-10)/4 - -2. Let y(j) = -j**3 + 6*j**2 + j - 11. Let a be y(6). Is a bigger than h?
False
Let m = -32 - -29. Which is greater: m or 0.3?
0.3
Let q = -0.2 - -0.3. Let o = -3.96 - 0.04. Which is smaller: q or o?
o
Suppose -3*k + 3*u - 6 = 0, -4 = -k - 2*k - 2*u. Suppose -3*m + 0*m + 12 = k. Which is greater: 2 or m?
m
Let p = 10 + -16. Let l = 5 + p. Is -2/5 greater than l?
True
Let a = -37/6 - -20/3. Let m = 1 - 0. Let y be m - (1 + (-1)/2). Is a equal to y?
True
Let u be (18/2)/1 + -3. Suppose -i - 5 = -u*i. Is -1/3 <= i?
True
Let y be (-3)/15 + 26/(-20). Which is smaller: 5 or y?
y
Let g = -2 + 1. Let k = 10 + -10. Let h be (-1)/(-1)*(k - g). Which is smaller: 2/5 or h?
2/5
Suppose -2*p - 10 = -5*c + 6*c, 2*c = -4. Let v be ((-10)/6)/(16/24). Is v <= p?
False
Suppose 0 = 7*k + k - 40. Are 5 and k equal?
True
Let q = -7.12 - -7. Let f = q - -0.12. Let y be (-3 - 1)*3/54. Which is greater: y or f?
f
Let y(n) = -23*n**3 + 2*n**2 - 1. Let u be y(-1). Let v be ((-3)/(-2))/(u/32). Is v bigger than 5?
False
Suppose -4*d = 4*i + 4, 0 = -3*d + d - 5*i - 11. Let h be 1 - (59/19 - d). Are 0 and h non-equal?
True
Let f = -3 - -1. Let i be f/(-4)*0/2. Is 1/2 > i?
True
Let b be 7 + -8 - 0/(-2). Which is smaller: -4/3 or b?
-4/3
Let g be (-5159)/(-182) + 4/26. Let n = 167/6 - g. Which is smaller: n or -2/5?
n
Let u(p) = 2*p**2 - 3*p + 3. Let k be u(2). Which is greater: 4 or k?
k
Suppose -y = -3 - 0. Suppose 4*n - 1 = y. Which is bigger: 2 or n?
2
Let d = -2.4 - 23.6. Which is bigger: d or 0.2?
0.2
Let d = -1/4 - 1/4. Let g be (-4)/((1 - 2) + -1). Suppose 6 = -5*h + g*h. Which is smaller: h or d?
h
Suppose 0*l = 4*l - 36. Suppose -3*j = -3 - l. Is 3 at most as big as j?
True
Let d = 24 + -20. Let w be 0 + -1 + d + -2. Which is greater: -1/20 or w?
w
Let c = 291410403/11 + -26452772. Let s = -39304 + c. Let d = s - -221. Which is smaller: d or 0?
d
Let s be 6 - 6 - 1*(-1 + 0). Suppose 5*p = 31 - 6. Suppose 0 = p*j - 7*b + 2*b, 2*b - s = j. Is 1 at least as big as j?
True
Suppose -2*r + 1064 = -16*r. Is -76 bigger than r?
False
Let i = 2 + 6. Let y = -8 + i. Which is greater: y or 1/3?
1/3
Let f = -3 + 3.1. Let o = f - -0.9. Let c be (2/(-24))/(6/(-16)). Is c less than o?
True
Suppose 3*s - 4*l = -3*l + 2, 28 = -3*s - 5*l. Let c(j) = -j - 1. Let k be c(0). Let v be 0 + 0/(1 - k). Which is smaller: s or v?
s
Let i(c) = -c. Let g be i(6). Is g bigger than -5?
False
Let g = 0 - -2. Let q be 1 - 3/9*g. Are q and 0 equal?
False
Let l = 4 + -7. Is l < -5?
False
Let a = -90/13 + 836/117. Let v = 32038/9 + -3579. Let t = v + 19. Which is greater: a or t?
a
Let a = 4.2 + -4. Let u = 0 + a. Is 0.3 at least u?
True
Let m(j) = -j - 5. Let p be m(-5). Let b = -64 + 65. Are p and b equal?
False
Let k = 34 - 35. Which is bigger: k or 31?
31
Let s(x) = -x**2 - 14*x - 51. Let m be s(-8). Let j = -6998/9 + 776. Which is smaller: j or m?
m
Let j(y) = -y + 32. Let g be j(0). Let l be 4/(-12) - g/(-6). Which is bigger: l or 4?
l
Suppose -2*i - 1 = -9. Let o(s) = 2*s - 6. Let f be o(i). Let v be -3*(-3 + f) - 5. Which is bigger: 1 or v?
1
Let v = 0.1 + 0.3. Let w = v + 0.6. Let p = 0.9 - w. Are p and -2/7 nonequal?
True
Let k = -1 + -1. Let f = -1814/1575 - -2/225. Is k < f?
True
Let a = -69.5 - -68.5. Let y(z) = -z + 3. Let x be y(0). Which is smaller: a or x?
a
Let c = -5 + 5. Let f be ((-255)/(-18))/(-5) + 2. Which is bigger: f or c?
c
Let n = 40 + -13. Which is smaller: -1 or n?
-1
Let g be 509/(-6) + 1 + 42/(-36). Is g less than or equal to -85?
True
Suppose -4*t - 3 = -3*m + 2, 20 = -4*m. Let h = 3 - 8. Is h greater than t?
False
Let q = 0 + 0.1. Let d = -0.03 - 7.17. Let r = 7 + d. Do r and q have the same value?
False
Let f(q) = q - 17. Let j be f(16). Which is smaller: j or -1/56?
j
Let k be -1 - 2 - (1 + -5). Which is bigger: 2/9 or k?
k
Let b be 4/3 - (-12)/(-24). Is b less than 2?
True
Let z be (-3 - 8/(-3))*0. Suppose -2*w + 4*q + 11 + 3 = 0, z = -2*w - q - 1. Which is smaller: 1/10 or w?
1/10
Let w = 431560/21 - 20542. Let v = -28/3 + w. Which is smaller: v or 0?
v
Suppose -19*q + 14*q = 10. Is q at least -2?
True
Let g(z) = 2*z + 0*z**3 - 2*z**3 + z**3 + z**2 - z. Let i be g(-1). Which is smaller: 3/7 or i?
3/7
Let k = -9.26 + 12.3. Let w = 3 - k. Let t = 0.36 - w. Which is smaller: -0.1 or t?
-0.1
Suppose -3*m = -4*n - 0*m - 2, -2*n = -m. Which is bigger: n or -2/19?
n
Let k = -73/2 - -42. Is 5 greater than k?
False
Let b = -5.303 - 0.037. Let l = -0.04 - b. Let q = 5 - l. Which is bigger: q or 0.1?
0.1
Let x be (5 + -5)*((-1 - 0) + 2). Which is bigger: x or 13/10?
13/10
Let l(g) = g**2 + 8*g - 7. Let n be l(-9). Let s be (n/(-24))/(2 + -1). Is s greater than or equal to 1?
False
Suppose 2*y - 5*o = -8 - 23, 5*o = 25. Let w = 0 - y. Let f be w/9 - 10/(-24). Is f at most 1?
True
Let h = 0.22 - 0.12. Is 3 at least h?
True
Let m be (1 - -1) + 35/(-84). Let f = m - 7/4. Is f equal to 0?
False
Let v be 0 + 2 - 2 - 0. Suppose v = 3*d + 3*j + 6, 4*j = 3*j + 2. Which is bigger: -5 or d?
d
Let i = 545/4 + -137. Suppose -4*h + 0*h = -5*o - 10, 0 = -o + h - 1. Let g(y) = y + 5. Let v be g(o). Is v != i?
True
Let h = -75 - -66. Which is smaller: -5/6 or h?
h
Let w = 11 - 5. Suppose w - 3 = -b. Is -1 >= b?
True
Let a be -38 - 2*3/(-12). Let q = 221/6 + a. Which is bigger: q or -1?
q
Let p = 20.8 + 2.2. Is p less than or equal to 0.1?
False
Let x be (1/2)/((-2)/4) - -30. Which is greater: 30 or x?
30
Suppose 5*n - 21 - 9 = 0. Which is smaller: n or 13/2?
n
Let b be 25/(-4)*(-4)/110. Is b equal to 1?
False
Let a = -0.16 - 0.74. Let d = 16 - 16.1. Let x = d + a. Which is smaller: 3 or x?
x
Let q(w) = -2*w - 2*w**3 + w**2 + w**3 + w. Let u be q(2). Let z be 0 - -3*u/27. Is -2 less than or equal to z?
True
Let n = -20 - -35. Let i be ((-4)/6)/(10/n). Which is smaller: 1/16 or i?
i
Let c be 0 + -2 - 52/(-2). Let a(y) = -y**3 - 3*y**2 - 3*y**2 + c - 19 + y. Let v be a(-6). Which is bigger: -1/8 or v?
-1/8
Let l(z) = z + 5. Let w = -11 - -8. Let o be l(w). Which is greater: o or 4?
4
Let c be (-2)/(-1) - 1/(-1). Suppose z = c*y - 10, 0*z - 2*z + 10 = 4*y. Suppose -6*a = -y*a - 6. Which is smaller: 1/2 or a?
1/2
Let m = 28917/356 + -325/4. Which is smaller: m or 0?
m
Let o be -4 - (11/(-2)*2 + -2). Which is greater: o or 13?
13
Suppose -15*g + 20*g = -35. Is g greater than -13?
True
Let u be (-6)/(-24)*(-21 + 0) + 4. Are -2 and u equal?
False
Let b = -2.1 + 2. Let h(u) = -u**2 + 7*u - 12. Let s be h(3). Which is greater: s or b?
s
Let d = -749/6266 - -1/241. Which is smaller: d or 0?
d
Let m(d) = d**2 + 1. Let y be m(0). Let w be ((-4)/(-10))/(y/5). Is 2 smaller than w?
False
Let u be 6/(-9)*15 - -1. Is u at most as big as -8?
True
Let x = 26.01 - 26. Let y = x - 0.11. Let h = -0.2 - -0.22. Is h <= y?
False
Let v(n) = 3*n. Let w be v(-1). Is w < -2?
True
Let d(h) = h + 4. Let l(v) = -v**2 - 2*v + 4. Let u be l(-4). Let y be d(u). Is -1 equal to y?
False
Let q be -5 + 2 + (-3 - -2). Let p = q + 7. Let r be (1 + -2)*(0 + 1). Is r >= p?
False
Let u = 85 + -35. Let a = 52.1 - u. Let t = a + -2. Which is bigger: t or 1?
1
Let j(c) = -c**2 + 3*c**2 + 7*c**2 + c - 2*c**3 + c**3 - 11. Let v be j(9). Is v at least 0?
False
Let m = 1.4 - 1.36. Is 1 not equal to m?
True
Let v be -3 - (1 - 0 - 13). Let b = -13 + v. Is -4 > b?
False
Let j be (2 - 0) + 1141/(-364). Let d be (-1 - 1)*(-18)/26. Let t = d + j. Are 0 and t unequal?
True
Let w = -1 - -1. Which is smaller: w or 1/21?
w
Let k = 11519