 z be (6/9)/((-2)/(-9)). Let c = -1 + z. Let x(a) = a**2 + a + 3. Let q be x(0). Which is smaller: q or c?
c
Let y be (6 - 10)*1/(-2). Let z = -3 + 2. Let a(v) = 2*v**2 - 2*v - 1. Let q be a(z). Which is bigger: q or y?
q
Let v be ((-3)/(-46))/((-75)/20). Suppose 0 = 4*u + 5*y - 5, -u + 0*u = -4*y + 4. Is u equal to v?
False
Let m = -4 + 3. Let l be (3/8)/(0 + 15/(-4)). Which is greater: l or m?
l
Let w be (-754)/15*(-93)/(-33). Let p = w + 708/5. Is -1 equal to p?
False
Let d = -50 + 49.67. Let j = 4.87 - d. Let b = j + -5. Which is bigger: 0 or b?
b
Let j(s) = -s**3 + 3*s**2 - 2*s + 2. Let z be j(3). Which is smaller: z or -5?
-5
Let g = -1571/11 + 143. Which is smaller: g or 0?
0
Let n = 49 - 35. Is n at most as big as 14?
True
Let d = -27899/51 + 547. Which is bigger: d or -1?
d
Suppose -z + 5*x + 22 = 0, 44 = 2*z - 2*x - 3*x. Let f = 22 - z. Let p be ((-2)/40)/((-3)/(-4)). Are f and p equal?
False
Suppose -5*r + 24 = -w, 7 = -w - 2*w + 2*r. Suppose -2*i + 0 = -4. Let a be i + (w - -1)*-1. Which is smaller: a or 5?
a
Let m(d) = -d**3 + 4*d**2 + 4*d - 5. Let s be m(4). Is s equal to 11?
True
Let u = 63.93 + -64. Which is smaller: u or -4/9?
-4/9
Let m = -44.1 - -40. Let y = m + 4. Which is smaller: y or -8?
-8
Let r be (1 + 0)/1 + 5/25. Let f(v) = -v + 4. Let w be f(3). Is w <= r?
True
Let w = -8 - -8.3. Let c = w - -1.7. Let k = -32 + 32. Is k bigger than c?
False
Let d = -2 - -5. Suppose 0 = 2*o - 0*o - 5*l - 21, 0 = -2*o - 4*l - 6. Is d != o?
False
Let y = -171/88 + 17/8. Suppose 3*i + 5*d - 18 = 0, d - 3 = -2*i + 2. Is i equal to y?
False
Let b be 6/((-12)/(-2)) + (-106)/18. Which is smaller: -5 or b?
-5
Let i = 11844/13 - 251558/273. Let m = 82/7 + i. Let r = -0.4 + 0.3. Is m <= r?
False
Let p = -23 - -13. Let s be (16/(-20))/((-2)/p). Is s greater than -4?
False
Suppose 3*w + 0 = 27. Let h be -3 + 1 + 24/w. Suppose 0 = 2*c - 6*c - 12. Which is smaller: c or h?
c
Let h be 4 + 0*3/3. Let t = h + -2. Let b be t/(-36)*8/4. Which is bigger: 1 or b?
1
Let q be (-6)/5*(-215)/2. Is q smaller than 129?
False
Suppose -192 = -4*g + 3*o, 3*o = -4*g - g + 213. Which is smaller: g or -1?
-1
Let c be (-49)/(-35) - (0 + 1). Are c and -1/35 non-equal?
True
Let a = 2 - -9. Let d = 15 - a. Is d != 0.1?
True
Let z = -0.42 + 0.12. Let o = -1.6 - z. Which is smaller: 0.1 or o?
o
Let r = -8 - -6. Are r and -5 non-equal?
True
Let f = 3 + -2. Let i be 0/(f + (-3)/1). Suppose i*w = 5*w. Is w < -1?
False
Let u be -1 - (17 + -2) - 3. Is u <= -20?
False
Suppose -2*n + 5*o = -5*n + 59, -n = 4*o - 22. Is 17 less than n?
True
Suppose -22 = 5*x - 72. Suppose 21*u + 63 = 28*u. Which is smaller: u or x?
u
Let b = -39 - -15. Let x be (b/190)/(2/5). Let v = x - -5/76. Do 2 and v have the same value?
False
Let y(u) = -u - 10. Let o be y(-15). Which is bigger: o or 3?
o
Let m = 88 - 90. Is 26 <= m?
False
Let w be (-30)/(-7) + 10/(-35). Let i = 6 - w. Is i > 3?
False
Let a = -3 + 2. Let u = -13 + 21. Do u and a have the same value?
False
Let o = -1 - -3. Suppose 2*v - u + 2 = 0, v + 4*u + o = 1. Let i = -1 - -0.6. Is v equal to i?
False
Let j = 1 - 2. Let m = 7 + j. Let o be m/(-12)*(0 + 0). Are -1/13 and o nonequal?
True
Let i = -18 + 13. Let k be 6/15 + 36/(-15). Is k less than or equal to i?
False
Let r = -10 + 2. Let m be 6/r*(1 - 5). Do 3 and m have the same value?
True
Let p = 1 - 0.9. Let r be (-6)/63*3 - 104/(-560). Which is greater: p or r?
p
Let k = -87353/444 - -787/4. Is k less than 1?
True
Suppose -2*c = 3*m - 20, 8*c + 3*m = 3*c + 32. Suppose -c*z - 15 = z, p + 5*z + 10 = 0. Suppose o + 0*o = 6. Are p and o non-equal?
True
Let s be 1/(-10*(-12)/4456). Let i = -37 + s. Let f(n) = -n**3 + 3*n**2 - 3*n + 3. Let r be f(2). Which is greater: r or i?
r
Let b be -1 - 24/5 - -5. Let t = -0.1 - -0.2. Which is smaller: t or b?
b
Let o = -55 - -68. Which is greater: -2 or o?
o
Let i = 56 + -57. Let o be (266/(-90))/(-1) + -3. Which is smaller: o or i?
i
Let q be (3/(-2))/(42/14). Let b be 4/(-9)*(-63)/(-57). Let o = b + 3/19. Which is smaller: o or q?
q
Let c = -2 - -5. Suppose -15 = -4*x - 2*n + 5, -4*n + 8 = 0. Is x smaller than c?
False
Suppose -4 = 4*x + 32. Is x at least -10?
True
Let y = -902/7725 + -1/309. Is y greater than or equal to 1?
False
Let u = 5 - 5. Suppose u = g + 4*g + 5. Which is smaller: g or 0?
g
Let x be 0 - 2 - (-10)/4. Let l(s) = s + 1. Let q be l(1). Suppose -q*w + 3*w = 5*b + 1, -3*w + 3*b + 3 = 0. Is x at least as big as w?
False
Let r be 3/(-9) - (-28)/3. Suppose -4*f - 6*z + 89 = -3*z, 0 = -3*z + r. Let j be (-6)/(-15) + (-38)/f. Which is smaller: -2 or j?
-2
Let o be (-120)/16 - 2/(-4). Let h = -6 - o. Which is smaller: h or -1/5?
-1/5
Let o = 18 + -13. Let z = -5 + o. Do 2 and z have different values?
True
Let h = -4.2 + 3.2. Is h smaller than 0?
True
Let y = 10 + -12.2. Let a = y - -0.2. Let m = -49/4 - -12. Is a smaller than m?
True
Let j(g) = g**2 - 10*g - 11. Let z be j(11). Suppose z*u - 5*u - m = -4, 9 = 5*u - 4*m. Is u at least as big as 1/9?
True
Let y(d) = d**2 + 7*d - 3. Suppose 7*b + 21 = 4*b. Let p be y(b). Which is greater: p or -1?
-1
Let j be 15/35 - ((-114)/(-21) - -3). Is j at most -6?
True
Let s = -0.56 + 0.56. Which is smaller: -16 or s?
-16
Let t(b) be the first derivative of -b - 1/2*b**2 + 2. Let x be t(-2). Is x at most -2/13?
False
Suppose -134 = 3*m - m. Let q = -334/5 - m. Which is greater: q or 0.1?
q
Let c(m) = m**2 - 2*m - 4. Let o be c(4). Let z(h) = 2*h**2 - 5*h + 2. Let w be z(3). Is o greater than w?
False
Let q = 3 - 3.1. Suppose 5*h - 3*i + 2*i = -14, -4*i = 4*h - 8. Which is smaller: q or h?
h
Suppose 4*f - 2*m - 24 = 0, -f - 4*f = -4*m - 33. Suppose 2*w - f*w = -6. Suppose w*a - 5 = -3. Which is smaller: a or 1/5?
1/5
Let f = -80 - -82. Which is smaller: -35 or f?
-35
Let y = 64 - 36. Is 28 at least as big as y?
True
Let o = 250 + -764/3. Is o at least 3?
False
Let x be 29/(-28) - 2/(-7). Let o = -13 + 12.9. Is o >= x?
True
Suppose -2*y - 5*z - 46 = 0, -3*z = -y - 4*y - 146. Let l be ((-2)/4)/(y/16). Is l greater than 2/7?
False
Let c(g) = -g**2 - 4*g. Let x be c(-3). Suppose 0 = -4*i - 5*a + x + 14, 3*i - 4 = 5*a. Which is smaller: i or 4?
i
Let q = -114 - -1257/11. Let k = 1501/748 + -43/17. Let v = q + k. Is -1 smaller than v?
True
Let z(h) = -h - 10. Let f(w) = 9. Let r(i) = -3*f(i) - 2*z(i). Let k be r(5). Suppose -2*t - t - k = 0. Which is smaller: t or 2/5?
t
Let x(w) = w**2 + 8*w - 6. Let o be x(-9). Suppose 0 = -o*c + 2 + 4. Suppose 3*t - 3*b = 15, -3*t + c*t - 2*b - 4 = 0. Is 0 smaller than t?
True
Let a = -3 - 8. Let g = a - -10. Which is bigger: g or -4?
g
Let g = 63 - 62.6. Let f = 1 + 1. Which is smaller: g or f?
g
Let d = 27 + -26. Which is bigger: d or 4/31?
d
Let i = 4 + -4. Let y = i + 2. Is y at most as big as 1?
False
Let s = -65 + 61.7. Is -2/7 <= s?
False
Suppose c - 21 = 5*t, -2*c - 3 = 5. Let i be t/((-105)/(-9))*1. Let h = -1 - -2. Which is bigger: i or h?
h
Let c(o) = o - 2. Let k be c(4). Suppose 10 = -k*i - 5*q - 19, 13 = i - 3*q. Let m = 1 + i. Is -1 not equal to m?
False
Let o be 3 + -3 + (-33)/(-15). Are o and 2 nonequal?
True
Let h = -76 + 763/10. Which is bigger: 0 or h?
h
Let q = 72 - 71.8. Which is smaller: 0.022 or q?
0.022
Suppose 4*x + q = -2, 0*x = x - 4*q + 9. Is -2/57 equal to x?
False
Let d be (1/(-2))/((-2)/32). Let n = 10 + -3. Are n and d unequal?
True
Let r be 1/(-3)*(-43 - -1). Let s be r/24 + (-6)/12. Which is bigger: 1 or s?
1
Suppose 3*m + 2*d - 14 = 0, 5*d = 4 + 1. Let a be 1/(-2) + 2/m. Suppose -2*r + 5*r = 0. Is a smaller than r?
False
Let c = 1 - 1.07. Let f = c - 7.93. Let b = f - -5. Is b less than or equal to -2/5?
True
Let o = 58 + -349/6. Is o at most 0?
True
Let y = 377 - 392.7. Let x = 16 + y. Which is bigger: 0 or x?
x
Let r be (5/25)/(-1*1). Let z = 12.23 + -0.23. Let b = z + -13. Which is bigger: b or r?
r
Let d be (-1)/2 - (0 - 0). Let p = -5 + 5. Let c be (2 - (2 + p))/2. Is d equal to c?
False
Let j = 1003/4 + -252. Let v(m) = m. Let g be v(5). Suppose 4*y - 3*z + 10 = 0, 2*z - 3 = g*y + 6. Which is smaller: j or y?
j
Let h(r) = 4*r**3 + 4*r**2 - 13*r. Let x(b) = b**3 - b**2 - b. Let n(k) = -h(k) + 5*x(k). Let u be n(8). Let z be (2/(-6))/(u + 1). Is 4 at most as big as z?
False
Let j be ((-3)/12)/((-3)/4). Let p = -0.1 + 2.1. Is p 