alse
Let l = -9/110 + 2/11. Which is smaller: 0 or l?
0
Let a = 18 + -28. Which is greater: a or -1?
-1
Let b = 0.04 - 4.04. Let y = 8 + b. Are 0 and y non-equal?
True
Let y be (22/12 - 2)*22. Let a = y + 3. Let v be (0 + -1)*1*1. Which is smaller: v or a?
v
Let i = 4.6 - 4. Let t = 0.4 - i. Let p = -0.1 + 0.1. Which is bigger: t or p?
p
Let c = -2.39 - -2.3. Let v = c - -0.09. Which is bigger: v or 1/6?
1/6
Let d(z) = z**3 - 3*z**2 - 4*z - 2. Let t be d(-2). Which is smaller: -13 or t?
t
Let r be 535/(-175) - 21/(-7). Which is smaller: 1 or r?
r
Suppose w - 8*y + 4*y = 10, 3*w + 4 = -5*y. Let m = 7 + -9. Does m = w?
False
Let i(l) = -l**3 - 15*l**2 + l + 17. Let a be i(-15). Does 0 = a?
False
Let u be -2*1 + (-308)/(-147). Let w = -17 + 18. Is w smaller than u?
False
Let x(t) = -t**3 - 5*t**2 + 7*t + 9. Let g be x(-6). Suppose -g*o + 1 = -2*o. Is 7/3 > o?
True
Suppose 0*w = -w + 48. Suppose -5*n = -n - 4*z + w, 5*z - 40 = 3*n. Which is smaller: -9 or n?
n
Suppose 6*j + j = 0. Let v be 2 + 0 - 24/10. Is v less than or equal to j?
True
Let g = 20 - 20.4. Which is smaller: 1 or g?
g
Suppose 0 = -a + 5*z + 8, -a - 5*z = 18 - 6. Let n be a + ((-5)/(-2) - 3). Which is smaller: n or -4?
-4
Suppose -4*a = a + 20. Suppose h + 5*g - 11 = 0, -h - h + 7 = 5*g. Is a greater than or equal to h?
True
Suppose 0 - 22 = -z. Which is greater: z or 20?
z
Suppose 4*x + n + 20 = 6*n, -20 = -x - 5*n. Let u be (-3)/(-35) - 2/7. Which is greater: x or u?
x
Let n = -17 - -18. Are n and 3/16 equal?
False
Suppose 5*u + 2 = o, 3*u + 11 = 5*o + 1. Which is greater: 4 or u?
4
Let z be (38/(-6) - 2)/((-1)/(-3)). Is -27 != z?
True
Suppose 5*p - 3*j - 13 = 0, -2*p - j - 5 = -4*p. Let y = 1/50 + 97/150. Are p and y nonequal?
True
Let a be 0 + ((-9)/(-15) - 1). Which is smaller: a or 15?
a
Let i = 121 + -86. Is i greater than 37?
False
Let c = -91.8 + 92. Is c smaller than -0.25?
False
Let c = -94 + 468/5. Suppose -3*x = -8*x + 5. Let l be (-1)/(-3)*x/(-1). Is c != l?
True
Let u(k) = 2*k**3 + k**2 - 2*k + 1. Let m be u(1). Suppose -2*n + 3*b = -0*n, -2 = m*n - 4*b. Let f = 1 - n. Which is smaller: f or 1?
f
Let x be 42/(-3) + -1 + -1. Let o be ((-5)/25)/(x/10). Is -1 greater than or equal to o?
False
Let x(b) = 3*b - 3. Let h be x(4). Let m be h/6*(-4)/(-3). Suppose m*t + 2*g = -0*t + 2, 3*g = 5*t + 3. Which is smaller: t or 1/4?
t
Let o(n) be the first derivative of -n**3/3 - 7*n**2/2 - 1. Let b be o(-7). Let d = 695/7 - 99. Is b equal to d?
False
Suppose 0 = -d + 3*d - 2*p + 8, 0 = -4*d + 5*p - 15. Is -11/2 > d?
False
Let a(b) = 3*b + 1. Let y be a(3). Suppose -5*t - 57 = -10*t + q, 0 = -3*t - 5*q + 23. Which is greater: t or y?
t
Let p = 9 - 6. Suppose 0 = 3*v - 15, v = 4*u - p*v + 24. Does -3/4 = u?
False
Let t = 373/70 - 13/70. Which is bigger: 5 or t?
t
Let v = -238 - -163. Let k = v + 105. Let z be (-2)/k*(-6 + 3). Which is bigger: z or -1?
z
Let h be 1 - 4 - -5 - 19. Is h <= -18?
False
Suppose -2*v + 2*q + 10 = 0, 3*q + 15 = 2*v - 0*v. Is -3/142 greater than v?
False
Let j(u) = u**3 + 8*u**2 - 8*u + 7. Let r be j(-9). Let n be 1/(-1) + (r - 0). Is n less than or equal to -4?
False
Let y = 53 - 53. Is y <= -1/9?
False
Suppose 1 = -3*g + 7. Is 2 < g?
False
Let c be 0 + -54 + 1/(-1). Let w = 387/7 + c. Does w = 3?
False
Let m = -457 - -1391/3. Is m greater than or equal to 7?
False
Let i(z) = z + 7. Let n be i(-7). Let u(l) = -l**2 + 4*l + 1. Let y be u(5). Let v be (-2 + 3)/(y - 0). Which is greater: v or n?
n
Let r = -0.29 + 0.17. Does -0.1 = r?
False
Suppose 4*q = 5*w - w + 16, 0 = -4*w + 2*q - 8. Is w >= -12?
True
Let z be 6/21 + ((-260)/308)/(-5). Do 0 and z have the same value?
False
Let o(l) = l - 6. Suppose 5 = a - 0. Let h be o(a). Is -6 smaller than h?
True
Let x = 5 + 2. Suppose 5*d + x = 22. Let h = -3 + d. Is -2/15 != h?
True
Let r be (-6 + 5)/((0 + 1)/23). Is -25 equal to r?
False
Let f = 2 - 1.7. Let i be (-10)/6 + (-2)/(-2). Is i less than f?
True
Let h = -50 + 248/5. Let u(g) = g**3 - 5*g**2 + 6*g - 7. Let m be u(4). Are h and m equal?
False
Suppose 0 = -6*i + i. Suppose 2*n + 4*a + 4 = i, 0 = 3*n - 2*n - 2*a + 10. Suppose 3*j + 2*v = -3*v - 21, -5*j - 35 = v. Which is smaller: n or j?
j
Let z = 1/93 + 367/465. Suppose -w - 7*b - 10 = -3*b, 0 = -3*b - 12. Suppose -k - 2*k = -w. Is k less than z?
False
Let h(q) be the third derivative of -q**5/60 + q**4/24 + q**3/3 - 2*q**2. Let n be h(2). Let g be (-1)/3*0 - n. Which is smaller: 0.2 or g?
g
Let d = 19 - 19.3. Is 0 equal to d?
False
Suppose -p + 4*s = -4, 4*p + 0*p - 5*s - 5 = 0. Which is bigger: p or 1?
1
Let z(k) = -7*k + 3. Let h be z(3). Let n be ((-5)/(-7))/(h/21). Do 0 and n have the same value?
False
Let t = -2 - -8. Let s be 3 - t - (-9)/3. Which is bigger: -2/45 or s?
s
Let b = -5.2 + 5.17. Is -1 <= b?
True
Let i = 0.7 + 0.3. Let j = 4 + -4. Let n = j - i. Is 1 bigger than n?
True
Let w(x) = x**2 - 9*x - 4. Let b(o) = o. Let t(a) = 6*b(a) + w(a). Let k be t(3). Let u be 3 + k + (-1)/(-2). Is 1 > u?
True
Let d be 1/5 - 117/(-15). Suppose 2*r = -4*t - r + d, 12 = -3*r. Which is smaller: t or 6?
t
Let t = -80.1 - -87. Let l = -7 + t. Which is greater: l or -0.3?
l
Let a = -279/2 + 149. Is a >= 9?
True
Suppose 12 = 103*g - 91*g. Let u(j) = j**3 - 4*j**2 + 3*j - 2. Let k be u(3). Which is smaller: g or k?
k
Suppose 10*m - 13*m + 198 = 0. Is m greater than 67?
False
Let k(t) = t**3 + 13*t**2 + 11*t - 13. Let x be k(-12). Which is greater: 135 or x?
135
Let h = -9.1 + 9. Let j = 71 + -143/2. Which is smaller: j or h?
j
Let q(u) = 2*u + 2. Let p be q(-1). Let d be 0/(-4) - 2/(-19). Which is smaller: p or d?
p
Suppose s = 0, 5*v - 5*s = -0*s + 15. Let n = -24 - -34. Let d be (4/5)/(4/n). Which is smaller: v or d?
d
Let f = 10 - 6. Let w(z) = -z + 8. Let g be w(11). Let b = g + f. Which is smaller: 1/2 or b?
1/2
Let w be 3/5 + (-22)/70. Let c = 2 + -1.8. Let y = -0.1 + c. Is w at most as big as y?
False
Let a be (6/(-8))/((-6)/4) - 3. Is a at most as big as -3?
False
Let s(i) = i**3 + 5*i**2 - 2*i - 6. Let u be s(-5). Suppose -u*o = 6 + 14. Is -5 bigger than o?
False
Let s(r) = 2*r + 3*r**2 + r**2 - 5*r**2. Let w be s(2). Suppose 2*f + f = w. Which is smaller: f or 1/9?
f
Let l = 52 - 62. Is l at most as big as 5?
True
Let k be 0 + 3/(-1) - -8. Suppose -k*f = -4*v + 29, -2*v = -2*f - 6 - 6. Which is bigger: 1/5 or v?
v
Let l = -1.73 - -1.43. Is l at most as big as -6?
False
Let v(j) be the first derivative of -j**3/3 - 2*j**2 + 1. Let q be v(-3). Let m = -28 + 31. Is q smaller than m?
False
Let o = -68 - -117. Suppose -5*t - o = 2*h, -5*t - 42 = -2*h - 1. Is t less than -8?
True
Let c be (-24)/8 - (1 - 4). Is c at least as big as 1/4?
False
Let r = 126 + -136. Let t(g) = g**3 - 5*g**2 - g - 3. Let i be t(5). Does r = i?
False
Suppose 0 - 2 = -j. Let y be -4*j*(-2)/(-72). Let o = -142 - -140. Is y less than o?
False
Let g(i) = 5*i**3 + 6*i**2 + 5*i - 2. Let q(f) = f**3. Let h(j) = -g(j) + 4*q(j). Let d be h(-5). Is 6/11 greater than or equal to d?
False
Let g = -46 + 60. Which is greater: 15 or g?
15
Let r = 46 - 72. Let l(z) = 13*z + 1. Let h be l(3). Let x be 1/(-4) - r/h. Which is smaller: x or 1?
x
Let z be (-2048)/(-6)*6/(-14). Let g = z + 146. Suppose -3*v = -8*v. Which is greater: v or g?
v
Suppose 3*c - 6 = k - 4, 4*c - k - 4 = 0. Suppose -m = c*m. Which is smaller: m or -9/2?
-9/2
Suppose -1 + 5 = 2*w. Suppose a + w + 0 = f, 4*a = -12. Which is smaller: f or 1/5?
f
Suppose -50*k - 36 = -44*k. Let a(i) = -i**2 - i. Let y be a(-3). Is y at most k?
True
Let x = -13 + 12.7. Is x < -0.3?
False
Let o(x) = x**3 - x - 14. Let q be o(0). Which is smaller: q or -15?
-15
Suppose 0 = -2*m + 7*m - 20. Let q = -1 + m. Is q >= 1?
True
Let q be (-6)/(-4)*90/27. Suppose -4 = -q*f + 11. Does 3 = f?
True
Suppose 3*r + 22 = -65. Let u = -17 - r. Let p be 4/(-10) - u/(-5). Which is smaller: 1 or p?
1
Let o be (-1 - 5)*(-2)/4. Suppose -5*x + x = 0. Let a be -1 + o + -1 + x. Is -1 less than or equal to a?
True
Suppose -4 = -3*w - w. Let d be 5 - ((-3)/w)/(-3). Which is smaller: 5/2 or d?
5/2
Suppose -11 = -5*z - 4*f, -7 = -5*z - 6*f + 3*f. Let x = -1 + 6. Is x <= z?
False
Let q = -15 - -53. Let d be q/(-8) - 2/8. Which is smaller: -4 or d?
d
Suppose 0 = -4*k + 25 + 71. Suppose 5*f + k = f. Which is smaller: -3 or f?
f