-0*v, p = 3*v - 36. Suppose u*t + 18 = -5*l, -v = 3*l + 1. Is t > -1/3?
True
Let d = -0.88 - 0.02. Is d < 0.09?
True
Suppose -i - 2*s = 6 + 11, 7 = -3*i + 5*s. Is i less than -10?
False
Let f be (20/4 + -4)*-34. Is f less than -34?
False
Suppose -3*x + 5*i = -38, 3*x = 2*i - 4*i + 10. Let h(k) = -6 - k + x + 7. Let j be h(5). Which is smaller: j or 4?
j
Suppose -4*k + 13 = -0*g - g, 3*g = k - 17. Let f be (48/10)/(6/(-30)). Let u be (-2)/(f/(-9) - k). Is u bigger than -3?
False
Suppose -4*p + 3*z = -15, 5*z = 4*p - 14 - 11. Let x(v) = -v**2 + v. Let l be x(p). Which is smaller: l or 1?
l
Let i = 17 + -16.9. Which is smaller: -2/129 or i?
-2/129
Suppose -i - 5*l = -0*i, 2*l = -5*i. Suppose i = -2*b + 4, 5*j - 3*b + 2 = j. Let p be 6/(-4)*j/(-3). Which is smaller: 1 or p?
p
Let d be (-66)/(-9) - 11/33. Is d smaller than 8?
True
Let r be (-3)/6*1*2. Let u be (-2)/4*(-1 + r). Let q be -1 + u - (0 - -3). Which is greater: 2/5 or q?
2/5
Let n = -12 + -7. Is n != -20?
True
Let t be 0/(4/(-2) + 1). Suppose 0*k - 2*k = -4*g + 16, -3*k - 4*g + 6 = t. Which is smaller: -1 or k?
k
Suppose -2*h - 8 = -h. Let u = 7 + h. Is u equal to 1/13?
False
Suppose 0 = -4*r - 3*r + 42. Which is smaller: r or 4?
4
Suppose d = l - d + 35341, -5*l + 2*d = 176689. Let s be 4/(-14) - l/(-756). Let g = s - -189/4. Is g equal to -1?
False
Suppose -3*u - 4 + 10 = 0. Suppose i - u = 1. Suppose -5*t - 3*m = 0, -5*m = -2*t - i*m. Are t and 0 non-equal?
False
Let t = -2 - -3. Let a be (-2)/(-3)*(-6)/10. Is a at most t?
True
Let q be (12/3)/((-4)/(-10)). Let s be 235/3 + q/15. Let b = -397/5 + s. Which is greater: b or -1?
b
Suppose 0*y - 5*y + 5*r = -20, 5*y + 30 = -5*r. Let x be (-1 + -1)*(-2)/(-4). Let s = x + 1. Which is smaller: s or y?
y
Let d be 8/(-12)*((-10)/4)/5. Suppose 0*q - 3*q = 3*v, v - 2 = -2*q. Let x be (-2)/4*q*0. Which is greater: d or x?
d
Let b(g) = g**3 + 14*g**2 - 15*g + 3. Let k be b(-15). Suppose 5*d + 2 = 6*d. Suppose -d*m = -c + 1, 1 = c + m - 2*m. Is c at most k?
True
Suppose -32 = -15*i + 14*i. Which is bigger: i or 33?
33
Let y = 3.95 + -0.15. Let p = y + -5. Let d = p - -1. Is -1/2 at least as big as d?
False
Let o = -7 + 11. Suppose -o*a + 14 = -2*a. Which is greater: 4 or a?
a
Let i = -9 - -9. Is i bigger than 0?
False
Let r(z) = 4*z - 25. Let p be r(6). Is p < -4/7?
True
Suppose -4*s + 4*b = -44, -4*s + 5*b + 18 + 23 = 0. Let i be ((-7)/s)/(2/4). Let o = -368/3815 + 2/1635. Is i smaller than o?
True
Let o(n) = -n**3 + 13*n**2 + 14*n + 6. Let r be o(14). Is 4 at most as big as r?
True
Suppose 3*l = -2*c - 21, -2*l + 2*c + c - 27 = 0. Let u = 12 + l. Which is bigger: 4 or u?
4
Let a(l) = l + 7. Let i be a(-7). Let f = i - 1/6. Which is smaller: f or 0?
f
Let t be (1 + 33/(-42))/((-9)/4). Which is smaller: -1 or t?
-1
Let q(g) = 5*g**3 + 2*g**2 + 2*g + 1. Let i be q(-1). Let j be (-3)/(-2) - (i + 4). Is 2 at most as big as j?
False
Let p be (-4)/2 + (-3 + 7 - -24). Is p >= 26?
True
Let h = -7 + 11. Suppose 2*j = h*j + 2*k - 10, 3*k = 12. Which is greater: j or -4/9?
j
Let h(l) = 35*l + 37. Let g be h(-1). Let w = -11/3 + 25/6. Is w less than or equal to g?
True
Let s = -19 + 26. Is s less than 0.1?
False
Suppose -2*y + 2*u = 24, u - 28 = 2*y - 2*u. Which is smaller: y or -10?
-10
Suppose 2*z = 5*v + 33, -10 = 5*v - 3*v. Let j(l) = l**3 + 6*l**2 - 2*l - 9. Let h be j(-6). Is h smaller than z?
True
Let h be (8/156)/((-2)/3). Is h >= 1?
False
Let z = 0.02 - -0.98. Let y(t) = t**2 + 7*t + 2. Let i be y(-7). Suppose -r = i - 4. Is z less than r?
True
Let q be (-8)/(-3) - (-5)/(-45)*6. Is q > 20/7?
False
Let g = 29/12 - 5/3. Let t(x) = -x**3 - 11*x**2 + x + 1. Let f(h) = -h**3 - 12*h**2 + h. Let w(u) = 4*f(u) - 5*t(u). Let r be w(-7). Are r and g nonequal?
True
Let j = -5 + 7. Let f(q) = -7*q + 0*q**j - 3*q + q**2 - 11. Let y be f(11). Is y greater than or equal to 0?
True
Suppose b = 5, -f + 3*b = 2 + 13. Suppose f*w = 3*w. Which is greater: w or 1/4?
1/4
Let s be (0 + 0 + 1)*0. Let z = 29 + -117/4. Which is greater: s or z?
s
Let d = -1 + 2. Is -3/7 <= d?
True
Let f be 1 + 1/(51/(-57)). Which is bigger: f or 1?
1
Let i be (16/(-3))/(51/9 + -8). Is 1 equal to i?
False
Let l(b) = -b**3 + b**2 + b + 2. Let n be l(0). Suppose -5 = -3*f - 2. Is n at least as big as f?
True
Let t = -312 + 947/3. Is 5 at most as big as t?
False
Let n(k) = -k**2 - k + 3. Let w be n(-3). Let i be ((-15)/(-305))/(w/(-2)). Is 1 equal to i?
False
Let x be (-11 - 0)*14/21. Let w = -8 - x. Which is bigger: w or -2?
w
Let b(z) = -z**2 + 6*z - 5. Let d be b(4). Suppose -8 = d*k - k. Which is bigger: -5 or k?
k
Let q = -4.6 + 4.5. Let a = -5 + -19. Let u be a/(-63) + (-2)/3. Are u and q non-equal?
True
Let p = -0.2 + -6.8. Let d = p - -6.9. Is -4 at least as big as d?
False
Let y = -8 - -10. Let k be (0 + y)*(-8)/(-16). Let s be ((-4)/10)/(2/(-3)). Which is smaller: s or k?
s
Let z = 0.8 - 0.85. Let x = z + -1.95. Is x at most -2?
True
Suppose -2*b + 3*u = -25, 5*u + 10 = b - 20. Suppose 0*q = -b*q - 50. Does q = -1?
False
Suppose 5*m + 3*u + 0*u = 41, 0 = -5*m - 4*u + 43. Is m greater than 33/4?
False
Let y = -27 + 31. Which is smaller: y or 1/4?
1/4
Let s = 15 - 16. Suppose 5*w + 55 = 5*x, -4*w + x + x - 38 = 0. Which is bigger: w or s?
s
Let a(f) = -f**3 + 5*f**2 - 2*f + 7. Let i be (-1)/(-4) - (-57)/12. Let y be a(i). Let l be -2 - ((-8)/y)/(-1). Is -1 equal to l?
False
Let t = -8.2 + 0.2. Let o = 8 + t. Is o greater than or equal to -0.3?
True
Suppose -h - g + 5*g + 29 = 0, h = -4*g - 3. Is h bigger than 13?
False
Let x = 11.3 + -12. Let n = x + 0.7. Does 0.2 = n?
False
Let g(t) = t**3 - t**2 + t - 1. Let u be g(2). Let k(p) = -p**2 + 4*p + 7. Let v be k(u). Let i be 2/12*(0 - v). Is 0 > i?
True
Let l = -2 - 0. Let a be ((-6)/(-9))/(2/9). Let r be (a - 1)*(l + 3). Which is smaller: r or 3?
r
Suppose 6*c + 2 = 4*c, 3*f - c = 19. Suppose 4*y + 16 = 0, a + 5*y = f*a - 15. Which is smaller: a or -1/8?
a
Let l = -7 + 9. Suppose 9 = a - 6*a - 2*s, -l*s = 4. Which is greater: 1 or a?
1
Let v = 0.5 + 0.5. Let u = 0.8 - v. Is u at least 4?
False
Let u = 178/3 - 60. Which is bigger: 2/9 or u?
2/9
Let m = 5.5 + -3.5. Let p = -0.1 + 0.1. Let x = p + -0.2. Is m > x?
True
Let o = 258 - 261.06. Let h = o - -0.06. Is h at most as big as 1?
True
Let t = -0.09 - -8.09. Let i = 7.8 - t. Let d = -1 - 0. Which is smaller: d or i?
d
Let a be 16/10*20/(-44). Let z = -2/33 - a. Which is bigger: z or 1?
1
Suppose -7*a + 15 = -2*a. Let x = -8 + 11. Is x at most as big as a?
True
Let f = 18 - 27. Which is smaller: 0.1 or f?
f
Let t be 6*(-4 + 3 + 13). Let v be 6/9 + (-11667)/t. Let x = 161 + v. Which is bigger: x or 1?
1
Let c be ((-1)/(-4))/((-254)/(-1810)). Let d = c + -4/127. Is d <= 3?
True
Let a = -67 + 74. Is a at least 1?
True
Suppose -4 + 14 = 5*n. Let o be ((-9)/4)/(3/n). Is o at most as big as 0.1?
True
Suppose -v - 40 = -5*v. Suppose v = -2*n - 10. Which is bigger: -9 or n?
-9
Let y be (-1 + 2)/1 - 1. Suppose y = -2*w + 3 + 3. Suppose r + 6 = w*r. Is r < 4?
True
Let i(l) = -l**2 + 9*l + 1. Let n be i(9). Let h = 2 - n. Let z be (0 + 1/4)*3. Do z and h have the same value?
False
Suppose 6*p - 2*p = 16. Let z = 1 + p. Suppose 6*h = h + z. Are h and 0 unequal?
True
Let v = 2.1 - 2.1. Let c = 0.06 + -0.09. Let g = c + -0.37. Is v greater than g?
True
Let n = 9 + -6. Let g = -10 - -6. Let y = g + n. Is y < 3?
True
Let k = -43/3162 - -4/93. Let w = 0.1 + 0. Is w greater than k?
True
Let w = -278/5 + 56. Let m(h) = -h. Let s be m(-5). Suppose l - 2*b = -12, s*l + 0*b + 48 = 4*b. Is l at most as big as w?
True
Let j = 14 + -13. Let w be (2 - 1) + -2 + 0. Which is greater: w or j?
j
Let c = 213 - 21515/101. Which is bigger: 0 or c?
0
Let l = -5 - -6. Let u(c) = c**3 - 3*c**2 - 4*c - 4. Let o be u(4). Let s = o - -6. Which is greater: l or s?
s
Let n = 2.02 - 0.02. Which is smaller: 1/4 or n?
1/4
Let v(f) = 4*f - 10. Let u be v(2). Do u and -5/4 have different values?
True
Let i = 1.7 + -2.7. Is 0 at most as big as i?
False
Suppose 5*k = 3*h + 9*k - 8, -4*h - 2 = -k. Suppose -2*m + 0*o = 4*o + 22, -8 = 2*o. Let l be (h*1/m)/2. Which is smaller: -4/5 or l?
-4/5
Suppose 2*l - 3*a + 99 = -0*a, 3*a - 57 = l. Let u(s) = s**3 - 3*s**2 - 6. Let b be u(5). Let h be (l/b + 1)*2. Is h at least 0?
True
Let x be (-6