be 0/(4 + 1)*1 - 2. Which is smaller: z or r?
z
Let s be (-21)/(-9) - 3/9. Let z = s - 6. Is -5 >= z?
False
Let g be -3 - ((-164)/(-90))/1. Let r = 23/5 + g. Which is smaller: 0 or r?
r
Let a = -0.02 + -0.04. Let x = 5.06 + a. Let o = -876 - -875. Does o = x?
False
Let f be (-3 - -2 - 0) + 4. Let z = f + 0. Suppose z*v - 2*x = 7, 3*x - 3 = -v + 4*x. Is v > -1?
True
Let k be (3/3)/(4 - 3). Do 5/16 and k have different values?
True
Suppose 3 = -3*w - 33. Let z be ((-3)/21)/(w/(-14)). Which is bigger: 1 or z?
1
Let i = -0.04 + 7.04. Let t = i - 6. Let u = -0.08 - 5.92. Are u and t unequal?
True
Let a = 0.026 + 0.074. Let y = 9.2 - 1.2. Which is smaller: y or a?
a
Let s(u) = -u - 7. Let i be s(-10). Let z(q) = 0*q + q**2 + i*q**2 - 6*q**2 + q. Let h be z(1). Which is smaller: h or 2/11?
h
Let j = -742 - -21520/29. Is 0 smaller than j?
True
Let g be (-3)/2 - (-1)/2. Suppose y - 30 = 4*u, 5*u + 57 = 2*y + 6. Let w be (-9)/6*(-4)/y. Is g less than or equal to w?
True
Let k(d) = d**2. Let q be k(0). Let r = -3 - q. Let o be (-7)/r - 2/(-3). Are 2 and o nonequal?
True
Let r = -530/1311 + 28/57. Let s = 32 + -26. Suppose s*v + 2 = 4*v. Which is smaller: r or v?
v
Suppose 5*o - 6*o = -8. Let m be (o/(-2))/(1 - 3). Is m bigger than 2?
False
Let b be (-2)/3*12/(-8)*-5. Is b != -5?
False
Suppose -4 = -2*g + 16. Let d be (g/(-8))/5 + 0. Are 0.09 and d non-equal?
True
Let i be 1 + 50/16 + (-39)/312. Is 18 less than i?
False
Let s be ((-8)/(-24))/(-5*2/6). Does 0 = s?
False
Suppose -9*l + 170 = -127. Which is smaller: l or 0?
0
Let i = -1 - -7. Let f = i - 5. Is -1/4 equal to f?
False
Let o(n) = -2*n**3 - n - 1. Let q = 1 - 2. Let m be o(q). Which is smaller: -1 or m?
-1
Let b be (-4)/(-1*1/1). Let l(d) = d**3 - 4*d**2 + d. Let r be l(b). Which is bigger: 3 or r?
r
Let r be 2/3 + (-35)/3. Let g be (276/115)/(2/(-10)). Which is greater: g or r?
r
Let p = -26 - -25. Suppose -29 - 25 = -3*w. Let x be (-3)/2*(-4)/w. Are x and p nonequal?
True
Let k = 8 - 13. Let v(c) = -c**3 - 6*c**2 - 6*c - 7. Let y be v(k). Let i be (-1)/(0 - y - 3). Which is bigger: i or 2/13?
i
Suppose 4*v - 2*v = 6. Suppose 0 = 2*f - 2, -v*f + 1 = -3*q - 2. Let t = 3/8 - -9/8. Which is greater: t or q?
t
Let v(t) = -t**2 + 10*t - 5. Let f be v(10). Let j(m) be the second derivative of m**4/12 + 2*m**3/3 - 2*m**2 - m. Let h be j(f). Which is smaller: 0 or h?
0
Let l = 0 - 4. Let t = l + 5. Is t less than or equal to -2?
False
Let y(i) = i**3 - 3*i**2 - 5*i + 14. Let d be y(4). Which is bigger: 7 or d?
d
Let f(s) = -s**3 - 17*s**2 - s - 19. Let h be f(-17). Let g be (2/1)/6*-2. Is h at least g?
False
Suppose f + 12 = 5*f. Suppose -g - 2*g + f = 0. Let t = -62 + 62. Which is greater: t or g?
g
Let c = 29 + -45. Let a be 1/(-3)*3/c. Which is smaller: a or -1?
-1
Suppose 0 = 19*i + 17*i - 33*i. Is i not equal to -9/11?
True
Suppose 5*b - 2 = -3*f + 3, 0 = -2*b + 5*f - 29. Let k be (-5 - -3)/(b/(-1)). Which is smaller: 1 or k?
k
Let y(v) = v**3 + 5*v**2 + v + 5. Let x be y(-5). Let a = 6 - 2. Suppose 2*w - 5*c = -27, 0 = a*w + 4*c - 0 - 16. Are x and w non-equal?
True
Let h(z) = z - 15. Let p be h(5). Let r = 8 - 18. Is p > r?
False
Let o = -43 - -42.2. Is o at most 1?
True
Suppose 4*q + 0*q + 20 = 0, -2*c + 62 = 2*q. Let u be 78/c + (-4)/2. Which is smaller: u or -2?
-2
Suppose d - 2*n = 1, -4*d + 2*n + 3*n - 8 = 0. Which is bigger: -5 or d?
-5
Let y = -404.28 - -575.21. Let t = y + -167. Let p = -0.07 - t. Which is bigger: 2/5 or p?
2/5
Let b = -33.1 - -41. Let y = 8 - b. Suppose -3*i = -t - 0 + 1, -2*i + 3 = 3*t. Is t equal to y?
False
Let f = -115 - -113.02. Let q = 1.98 - 2. Let b = f + q. Which is smaller: 1/2 or b?
b
Let k = 180 - 179. Are k and -1/296 unequal?
True
Let d = 17802177/17 + -1046738. Let o = -449 + d. Is o greater than 0?
False
Suppose -5*o = 4*u - 16, 4*u = -4*o + 20 - 4. Which is greater: o or -1?
o
Let l be 1 + (-2)/(-4)*-1. Let j be (-20)/(-9) - 6/27. Let r = 3 - j. Is l at most r?
True
Let n(y) = -y**3 - y**2 + 2*y - 1. Let b be n(2). Which is bigger: b or -47/6?
-47/6
Let s = -75169/635 - -378/127. Let l = 115 + s. Let k = -4.8 + 5. Which is greater: l or k?
k
Let k = 72 + -71. Which is bigger: k or 0?
k
Let c be (2 - -3) + (-16)/4. Which is greater: 19 or c?
19
Let p = -21 - -20.54. Let v = 0.06 + p. Let m be (-1 - 0)*3/(-12). Which is smaller: m or v?
v
Suppose -25 = 5*z + 75. Is -19 <= z?
False
Let i(l) = l + 2. Let b be i(0). Let p be ((-8)/(-3))/(b/3). Suppose 0 = -p*m - 3*w - 14 + 1, -3 = w. Which is bigger: -2 or m?
m
Let x = -15 + 6. Let c = x - -1. Is c > 1?
False
Let b = 0.0117 + -5.0717. Let l = b + 0.06. Which is smaller: l or -2?
l
Suppose 0*j = 5*j + 105. Let o = j + 15. Let b be 4/6 - (-1)/o. Is 2 greater than b?
True
Let m(f) = f - 6*f + 7 + f - 5*f**2 + f**3 + 3*f. Let d be m(5). Suppose 0 = -2*t - d*h, -5*t + 3*h + 2*h = 0. Which is smaller: t or 2/5?
t
Suppose 0*h + 3 = -3*h. Let v be (h + (-4)/(-8))*0. Is 1/3 at least v?
True
Let g(l) = 10*l - 15. Let t be g(5). Is t smaller than -1?
False
Let m(p) = -3*p**2 + 2*p + 7. Let v be m(7). Let u(d) = d**2 - 3*d - 3. Let o be u(-2). Let k be o/(v/40) - -2. Does k = 2?
False
Let g = -39 + 41. Let j be (-6)/(-8) + 2/8. Does g = j?
False
Let j be (0 - -3)/9*15. Suppose i - 2 - 3 = 0. Is j at least i?
True
Suppose 2*x + 2*p + 18 = 6*x, 0 = -2*p + 2. Suppose 0*k + x*k = 0. Let j be (k + 0 + 0)*-1. Is 1 at most j?
False
Let o = 238/15 - 56/5. Which is smaller: 4 or o?
4
Let a(r) = -r - 3. Let y be a(9). Let j(w) = -w**2 - 11*w + 13. Let i be j(y). Which is bigger: i or 0?
i
Suppose 6*m = 26 - 104. Is -13 greater than or equal to m?
True
Let t = 19.9 - 20. Is t != 21?
True
Let o be (-13)/26*104/(-2). Let f = 14 - o. Do f and -12 have the same value?
True
Suppose -10 = 2*j - 12*j. Which is greater: 1/8 or j?
j
Suppose -18*y = -13*y. Let t be -3 - (-4 + y)/(-4). Which is greater: -2 or t?
-2
Let k = -23 + 72. Which is bigger: 50 or k?
50
Suppose 2*g - g - 4 = 0. Suppose 3*l + l = -x - 5, 20 = -g*x - 5*l. Let a(u) = u**2 + 4*u - 5. Let t be a(x). Is -1 not equal to t?
True
Let a(n) = -n + 5. Let d be a(5). Is -3/4 at most as big as d?
True
Let o be 14*2/10 + 4/(-10). Is 3 less than o?
False
Let n be (-1)/2*(-70)/5. Suppose 4*q + 6 = n*q. Which is greater: 0 or q?
q
Suppose 10 + 6 = 8*l. Do 20/13 and l have the same value?
False
Let z = 1.6 + -1.664. Let d = -3.036 + z. Let l = -3 - d. Are -2 and l unequal?
True
Let p = -4 - -6. Suppose -p*q = -q - 1. Is -1 < q?
True
Let g(v) = -v**3 - 4*v**2 + 6*v + 3. Let j be g(-5). Which is greater: j or -3?
j
Let c be -5 + 1 + 3 + 0. Let d be ((-2)/538)/((-1)/(-2)). Let f = d - -289/2690. Which is smaller: f or c?
c
Let m = -215/7 - -193/7. Let f = m + 52/21. Which is greater: f or -2?
f
Suppose -4*n = -6*n. Suppose -5*o + o = n. Which is smaller: o or -2/9?
-2/9
Let q = 24 + -18. Suppose -q*u + 9*u - 9 = 0. Which is smaller: -2 or u?
-2
Let p(k) be the second derivative of k**4/12 + k**3/3 + 2*k**2 + 5*k. Let u be p(-3). Which is smaller: u or 8?
u
Let p = 6 + -8. Let z(x) = x + 2. Let s be z(p). Let r = 215 + -1937/9. Is s != r?
True
Suppose -3*k = -3*o + 33, 0*k = 3*k + 2*o + 8. Which is bigger: -7 or k?
k
Let y = 0.45 - 0.65. Which is bigger: 15/4 or y?
15/4
Let s = -3269/13 + 2565/13. Let f = -54 - s. Let g(d) = -d**2 + 4*d - 1. Let m be g(4). Is f >= m?
True
Suppose 0 = 5*g - 41 + 11. Let v(n) = -n**3 - 12*n**2 + 11*n - 19. Let b be v(-13). Is b less than g?
False
Let j = 7 - 13. Let r(y) = 3*y - 23. Let p be r(6). Which is greater: p or j?
p
Let m be -2 - (-3 + (0 - -1)). Let g be (-4)/(-9)*3 - 2. Which is greater: g or m?
m
Let h = -280/411 + 2/137. Let u be 3 + (2 - 2) + 3. Let m = 10 - u. Which is smaller: m or h?
h
Suppose 9 = 2*b - 1. Let u = b - 0. Is u at least as big as 3?
True
Let z(t) = -t**3 + t + 4. Suppose 0 = s - 3*s. Let n be z(s). Suppose n*g + 10 = -5*w, 0 = w - 5*w - 4*g - 12. Does 2/3 = w?
False
Suppose c - b - 20 = 4*b, 4*b = -5*c + 13. Suppose 15 = f - h, f - 2*h = c*f - 36. Is f > 10?
True
Let b be (-1)/10*120/(-1230). Is b bigger than 1?
False
Let s = -32 + 28. Is -4 != s?
False
Suppose 5 + 0 = 5*m. Let x be (m - 41/(-2)) + 1. Let z = 22 - x. Which is smaller: -1 or z?
-1
Let k = -0.12 + -6.88. Which is bigger: k or -2/7?
-2/7
Let i(m) = -7*m - 21