= 2 + 0. Suppose -n*u = -0*u - 4. Suppose -4*x + 21 - 1 = 4*p, 4*p + u*x - 12 = 0. Is p bigger than -2/5?
True
Let y(l) = -l + 10. Let u be y(7). Suppose u*r - 9 = 0, 0*r = 2*g - 4*r + 10. Let f be (-4)/55*5/(-2). Is f <= g?
True
Suppose -9 = s + 2*s. Is -3/2 smaller than s?
False
Let r = -0.17 + -9.83. Let k = 8 + r. Which is smaller: -0.1 or k?
k
Suppose -5*t = 5, -22 = 5*i + 4*t + 22. Is i bigger than -8?
False
Let v = 72 - 71. Suppose 4 = d + r, -2*r = 2*d + 2*d - 8. Which is smaller: v or d?
d
Let z(k) = k + 1. Let m be z(-2). Let i = 6 + m. Let y = 6 - i. Which is smaller: 4 or y?
y
Suppose 3 = 3*x - 0*x. Is -3/20 at most as big as x?
True
Let c(z) = -z + 1. Let r be c(-6). Let g = -50 - -58. Is g not equal to r?
True
Let v be (8/(-3))/((-10)/(-30)). Which is bigger: v or 0?
0
Suppose 5*y = 82 + 153. Suppose y - 15 = -4*g. Let u = -17/2 - g. Are u and -1 non-equal?
True
Let o = -1 + 4. Suppose -o*h + 22 - 1 = 0. Suppose g = -y + 4, -h*g + 3*g - 2*y = -6. Are 1/10 and g non-equal?
True
Let b(r) = -r**3 + 3*r**2 + 4*r + 3. Let n be b(4). Does n = 9/4?
False
Suppose 0*u - 12 = 4*u, 0 = -4*r + 2*u + 234. Are r and 57 nonequal?
False
Let q = 20 + -12. Let k = 7 - q. Let t = -1 + 1.1. Is k at most t?
True
Let s(p) = p**2 + 16*p + 44. Let r be s(-5). Is r equal to -11?
True
Let k = -29 - -100. Is 71 < k?
False
Let c be ((-4)/6)/((-10)/(-105)). Let o be 2 + c + -5 + 2. Is -8 equal to o?
True
Let d be (-44)/10 - 2/(-5). Let f be 2/d + 20/(-8). Let y be (-4)/(-2)*(-2)/2. Which is bigger: y or f?
y
Suppose 0 = -o + 6*o - 100. Which is smaller: 21 or o?
o
Let y be (-2)/16 + (-3)/(3/(-2)). Is y smaller than 2?
True
Suppose 0 = 3*r - m - 1, 2*r - 5*m = -3*r - 15. Suppose 0 = r*s - 16 - 0. Suppose -2*a = -2*l + s, 0*l - 3*a - 14 = -l. Which is smaller: l or 2/5?
l
Let t = 0.003 + -20.003. Let b = 0.04 - 0.04. Which is greater: t or b?
b
Suppose -5*m + 0 = 20. Let u be 9 - (0 - (m + 2)). Let z(j) = j**2 - 7*j + 2. Let y be z(u). Which is bigger: 3 or y?
3
Let g(z) = z**2 + 4*z + 4. Let k be g(-4). Let t = k + -3. Let p = t - -2. Which is bigger: 2 or p?
p
Suppose -3*v + 5*v - 3*y = -190, -2*y - 272 = 3*v. Let n = 1934/21 + v. Which is smaller: n or 1?
n
Let f = -0.1 - 16.9. Let p = 16.91 + f. Let a = -0.19 - p. Is a at most as big as -1?
False
Let h be 16/10 - 6/10. Suppose -x + h = 4. Are x and -3 non-equal?
False
Let i = -10 - -5. Which is bigger: i or 2/9?
2/9
Let b = 30 - 9. Let w be b/8 - (-6)/(-3). Let t = 1/24 + w. Which is greater: -3/5 or t?
t
Let o = 0.4 - 10.4. Let l = 11 + o. Let y = -3/17 - 45/34. Which is smaller: y or l?
y
Let q = -26.5 - -28.5. Let u = -1 - -1. Is q < u?
False
Let c(y) = -y**2 - 8*y. Let z be c(-8). Which is smaller: -1/85 or z?
-1/85
Suppose 0 = -2*w + 6*w. Suppose w = -3*g - 14 + 32. Is 4 < g?
True
Suppose 3*k + 5 = -4. Let y = k - -2. Which is bigger: y or -6/5?
y
Let b = 13/2432 + -3227329/12160. Let f = 267 + b. Let u(a) = -a + 4. Let t be u(3). Which is smaller: t or f?
t
Suppose -w - 12 = -0*w. Let s = 12 + w. Is -2 smaller than s?
True
Let s = 2 + 0. Let o = s + 1. Is o less than or equal to 4?
True
Let a = 1449/110 - 129/10. Do a and 1 have the same value?
False
Let o = 1 - 2. Let r = 0 - o. Let d = r - 1.1. Is d equal to 0?
False
Suppose -2*u - 2*u + 4 = -5*w, -5*u + 4*w = 4. Which is smaller: u or -0.5?
u
Let b = -16 + 28. Let d be ((-6)/(-8))/((-18)/b). Let g = 0 - 0. Which is smaller: g or d?
d
Let l = 21 + -11. Suppose 0*w - l = 2*w. Which is smaller: w or -4?
w
Let m be (1/2)/(2/(-4)). Let z be 1*(-2 + 1) - -3. Let b be z/(-5)*(4 + 1). Is b != m?
True
Suppose -3*y + 16 = 1. Suppose -y*q - 4 - 6 = 0. Let a = -0.05 - -0.25. Is a greater than or equal to q?
True
Let z = 402 + -6028/15. Do z and 7 have the same value?
False
Let k(c) = -c. Let g(d) = -d + 12. Let m(u) = g(u) - 3*k(u). Let n be m(-6). Is -1 bigger than n?
False
Let j = -41 - -115. Which is bigger: -0.1 or j?
j
Let x(l) = -l**2 - l + 2. Let d be x(-2). Let f be d/(-3)*2/4. Suppose 4*h - 8 = 4*o - 0, 2*o + 2 = 0. Which is smaller: h or f?
f
Let y(x) = -x**2 + 14*x - 13. Let o be y(9). Suppose 0 = -2*j + 4*j - 5*a - o, -34 = -4*j - 5*a. Is j less than 11?
False
Suppose w - 2*w = 0. Let p(l) = w*l**2 - l + 5*l**2 - 2*l**3 - 3 + l**3 - l**2. Let h be p(3). Is h bigger than 3?
False
Suppose 2*f = -5*n + 9, -2 = -3*n - 2*f + 5. Let o be 3*1/(1/n). Is 1 <= o?
True
Let q be ((-2)/4)/(2/8). Suppose 0 = -v - 0*v - 63. Let g = 187/3 + v. Which is smaller: q or g?
q
Suppose -2*l - 3*h + 31 = -0*l, 5*h = 5*l - 15. Let m = 16 - l. Is m <= 8?
True
Let h(m) = -m + 12. Let v be h(10). Let o(j) be the first derivative of -j**4/4 - 2*j**3 + 5*j**2/2 - 10*j - 2. Let a be o(-7). Is a greater than or equal to v?
True
Suppose 3*k + 2 + 1 = 0. Let n(g) = g**3 + g**2 - 2*g - 4. Let m be n(-3). Let f be (k/4)/((-20)/m). Do f and 1 have different values?
True
Let d(c) = -c**2 - c + 2. Let z be d(-2). Suppose z = n - 2*p - 2*p - 11, -3*n - 4*p + 1 = 0. Is 2 != n?
True
Let m = 63577/68 + -935. Is m bigger than -0.1?
True
Suppose -4*f = -5*j - 11, -5*j - 2*f = f - 17. Let v = j + 3. Suppose -6 + 1 = -4*b + s, -2*s - 10 = v*b. Which is smaller: 3/4 or b?
b
Let b(i) = -i - 1. Let x(s) = 3*s - 3. Let j(n) = -2*b(n) - x(n). Let l be (-81)/(-15) - (-4)/(-10). Let v be j(l). Which is bigger: v or 1?
1
Suppose 5*n - 20 = 0, -3*m - 58 = -5*m - n. Let q be 4/18 + (-6)/m. Let w = -183 - -919/5. Is q < w?
True
Let n = 0.57 - 0.67. Is n less than or equal to 2.7?
True
Let t = 0.11 - 8.11. Let v = 8 + t. Let i = 18/13 + -121/78. Which is smaller: i or v?
i
Suppose -3*h = 4*s + 2*h + 8, -2*s - 4*h - 10 = 0. Suppose s*j = -0*j + 36. Let q be j/8*20/6. Is 5 at most as big as q?
True
Let f be 14/(-6) + 2 + 1. Suppose 2*c = b + 36, 3*b - 2 + 122 = 3*c. Let h = 130/3 + b. Are h and f equal?
False
Let k be (20/(-25))/(4/30). Is k <= -4?
True
Let b(w) be the third derivative of w**5/60 - w**4/24 + w**3/6 - 3*w**2. Let z be b(0). Suppose -3*f + 0 - z = 2*t, 0 = -3*t - 15. Is f >= 4?
False
Suppose 0 = 3*v - v. Let p(q) = 7 + v - 4*q - 3 - q**2. Let d be p(-5). Is -2/3 <= d?
False
Let x(w) = w - 3. Let p be x(3). Let k = 2 - 2.4. Is k bigger than p?
False
Let j(v) = v**3 + 6*v**2 - 6*v + 10. Let u be j(-7). Let m be u*(-2 + (-24)/(-9)). Let s = -0.98 - 0.02. Which is smaller: s or m?
s
Let y = 3 - 3.12. Let o = -0.02 - y. Let d = 0.2 - 0. Is d greater than o?
True
Let l be 99/15 - 3/5. Let y be (-12)/l + (-946)/(-560). Let u = -1/40 - y. Is 2 greater than u?
True
Let j = -13.2 + 13. Which is smaller: -8 or j?
-8
Suppose 7*x = 6*x - 2. Suppose n = 2*k - 4, n = -4*k + 11 + 9. Suppose -3*o - k*q + 5 = -8*o, -4*o - 4 = 3*q. Which is smaller: o or x?
x
Let a = -12 - -5. Is 0.2 <= a?
False
Let j = 101 - 503/5. Let w(f) = -4*f + 29. Let n be w(7). Is n at most j?
False
Let g = -3 + 7. Let c be (g/6)/((-4)/12). Let z(f) = -5*f**3 + 2*f - 1. Let j be z(1). Is c > j?
True
Let s be (0/(-4))/((-2)/4*-2). Which is smaller: 2/125 or s?
s
Suppose -3*q - q - 16 = 0. Let y = 7 + -12. Does q = y?
False
Let s be ((-64)/(-4))/(-2 + 3). Does s = 15?
False
Suppose 3*x = -3*r - 10 - 2, x - r = 6. Suppose 11*g - 15 = 8*g. Let i be (1 + (3 - g))*x. Is -2/7 greater than or equal to i?
True
Suppose -27 = 3*q - 0*q. Let g(i) = i + 6. Let f be g(q). Which is smaller: -2 or f?
f
Let i = -133/12 - -43/4. Which is smaller: i or 7?
i
Let h be 0/(6/(6/2)). Let u(f) = f**3 - 3*f**2 - 3. Let k be u(3). Are h and k non-equal?
True
Let i = 0 + 0. Suppose i = 5*z, 3*q + 3*z - 3 = 2*z. Which is greater: 2/9 or q?
q
Suppose 0*c + c = 1. Let x = 69 + -623/9. Which is smaller: x or c?
x
Let k = -0.2 + 5.2. Let a = k - 5.2. Which is smaller: -2 or a?
-2
Suppose 8*a - 9*a + 3 = 0. Is -0.07 greater than or equal to a?
False
Suppose -3*i + i = -8. Let p(g) = -g + 3. Let w be p(-6). Let v = w + -6. Which is smaller: v or i?
v
Let h = 67 - 73. Which is smaller: h or -3?
h
Let x = -8 - -19. Let t = 21/2 - x. Which is greater: -4/9 or t?
-4/9
Let d(p) = -12119*p**2 - 2*p - 2. Let a be d(5). Let v = a + 3335220/11. Let b = v - 215. Are 0 and b nonequal?
True
Suppose -c - 2*i + 17 = 0, 3*c = 2*c + 2*i + 33. Are -3 and c non-equal?
True
Let p(h) = h**3 + h**2 + 2*h + 1. Let n be p(-1). Let c = 13 + -12. Is n > c?
False
Let v be (2046/10)/(-1 + 2).