ich is smaller: 1 or o?
o
Let x = -0.05 - 2.35. Let j = -1.6 + x. Is j > 0.1?
False
Let j be (-1)/(-2)*((-40)/(-14))/(-5). Let z = 0.3 - 0.3. Which is bigger: z or j?
z
Let p be (((-616)/6)/7)/(2/(-6)). Is 43 smaller than p?
True
Let t(y) = y**3 - 22*y**2 - 21*y - 37. Let x be t(23). Are x and 7 equal?
False
Let b = -4 - -3. Let c(j) = -j**3 - 15*j**2 - 2. Let x be c(-15). Which is greater: b or x?
b
Suppose -5*s + 4*f + 0*f - 30 = 0, 0 = -3*s + 5*f - 5. Let y = s - 4. Which is smaller: -13 or y?
y
Let o be 3/2*(-8)/6. Let k be 0 + (-5)/o + -2. Let s = -1/6 + k. Is s greater than or equal to -1?
True
Suppose 0 = -5*s - 3 - 7. Which is smaller: s or -4/5?
s
Let v = -2 + 2. Let z = -0.1 - v. Let f(u) = -u**3 - 5*u**2 - 1. Let h be f(-5). Is z at least as big as h?
True
Let g(a) = a - 16. Let q be g(-8). Which is smaller: q or -23?
q
Let x = 53 + -54. Are x and -96 unequal?
True
Suppose -3*r = -3*x - 12, -r = -2*r + 3*x + 4. Suppose z + r*y = -12, z = 6*z + 4*y - 20. Let w be (z/6)/(90/27). Is w at least 0?
True
Let z = -26 + 25. Which is smaller: z or -2?
-2
Suppose -12 = 2*d - 3*k, 5*d + 6*k = k + 20. Is -0.015 at least d?
False
Let k be 38/104 + (-4)/(-8). Let y = k + -8/13. Do -1 and y have the same value?
False
Suppose 2*o = -2*o + 8, -16 = -v - o. Suppose 2*s - v = -2. Which is smaller: s or 4?
4
Suppose -3*f - 1 + 103 = 0. Let o be 12/f*11/(-33). Which is greater: o or 0?
0
Suppose 4*c - 10 = 2*c. Let a be -2 + c + 2 + 0. Suppose 5*p - 5 = a*z, -z + 4*p + 0 - 1 = 0. Which is smaller: -3/2 or z?
-3/2
Let l = 1859260 - 918474777/494. Let c = l - -15/26. Is c at most as big as 0?
True
Let i = -36 + 106/3. Let z = -6 - -11. Suppose -5*q = -0*q + z. Which is smaller: i or q?
q
Let v = -1204/9 - -134. Let g = 0.3 + 1.7. Is g greater than v?
True
Let f = 0.92 - 0.02. Let c = 0.1 + f. Let h = 20 + -22. Which is smaller: h or c?
h
Suppose -6*n = -11*n + 75. Suppose 4*u - 9*u + n = 0. Is u at most 7/3?
False
Let y(z) = -6*z**3 - z**2 - z - 1. Let p be y(-1). Suppose 5*x - p = -0. Which is smaller: x or 1/3?
1/3
Let i(s) = -6*s**2 + 3*s + 3. Let l be i(3). Let q be (-2 - (-10)/4)*l. Let m be (-16)/7 - 6/q. Which is bigger: 0 or m?
0
Suppose -3*k - 4*m = -5*m + 966, 3*m - 9 = 0. Let a be (-2)/2 + (-318)/k. Let h = a + 219/535. Which is greater: h or -1?
h
Let m(f) = f**2 - 4*f + 2. Let b = 6 - 2. Let o be m(b). Let g = o + -3. Does g = 2/9?
False
Let c = -3 + 8. Let f = c + -12. Let j be (-16)/(-6) + 4 + f. Which is bigger: j or 3?
3
Let h = 0.01 - -0.19. Which is greater: 0 or h?
h
Suppose -y = 4*y - 4*d - 69, -2*y - 4*d = -50. Are 0.2 and y nonequal?
True
Suppose -2*d - 17 = -6*d - h, d - 3 = h. Suppose 3*f - 4*y - 2 = 4*f, 2*f + d = 5*y. Which is smaller: f or 2/9?
f
Let h = 3/5 - 17/45. Let r = -0.05 - 0.25. Let y = -0.7 + r. Which is smaller: y or h?
y
Let x = 5 + -5. Suppose 4*n = 4*j + 8, -3*j = n - x - 14. Suppose h - n*h + 8 = 0. Are 3/4 and h unequal?
True
Let l = 971/1687 - 1/241. Is 0 < l?
True
Let i = 30 + -30. Is -1/4 greater than or equal to i?
False
Suppose -2*k + d - 86 = 0, -2*d - 11 = -3. Which is smaller: -0.1 or k?
k
Let d = -72 - -63. Let x be 32/(-3) + 4/6. Is x greater than d?
False
Let w(m) be the first derivative of -m**5/20 - 3*m**4/4 + 5*m**2/2 - 2*m + 1. Let c(u) be the first derivative of w(u). Let t be c(-9). Does 4 = t?
False
Let h = -4 - -6. Let t = h + -1. Let l = 0 - t. Which is bigger: -0.1 or l?
-0.1
Let t = 5/34 - 10303/238. Let z = t + 43. Is z not equal to 0?
True
Let b be 2/3 + 80/(-111). Is -1 bigger than b?
False
Let s(k) = 1 - 2 + 3*k - k**2 + 2*k. Let o(u) = -u**2 - 6*u - 3. Let r be o(-4). Let p be s(r). Which is smaller: 2/11 or p?
p
Let m(j) = -2*j. Let y be m(3). Let b(n) = n**3 + 7*n**2 + 6*n + 1. Let p be b(y). Let a be 0/p*(3 + -2). Which is greater: 2 or a?
2
Suppose 4*u = -8 - 0. Let t(a) = a + 7. Let b be t(-7). Which is smaller: u or b?
u
Let h = -0.02 + 0.32. Let s be ((-10)/15)/(5/(-3)). Is s <= h?
False
Suppose -3*a = 23 + 403. Is -142 smaller than a?
False
Let y be 1/3*(4 + -4). Which is bigger: -16 or y?
y
Let m = 7 - 6. Let n be (m - 3) + 40/35. Is n greater than -2?
True
Let f = -20 + 28. Let a = f + -5. Let y = a + -2. Which is smaller: 0 or y?
0
Let r be -2 + 0/(-3 + 1). Let f be -4*(1 + r)*-2. Let l = f - -9. Is -6 at least l?
False
Suppose -2*j = j - 108. Let w = 2 - j. Let f = w - -103/3. Which is greater: f or 0?
f
Let r(x) = -3*x. Let b(n) = -7*n + 1. Let c(h) = 2*b(h) - 5*r(h). Let d be c(-3). Suppose 21 = 5*g - 4. Do g and d have different values?
True
Suppose 3 = 8*j - 5. Let i = -8/9 + 22/45. Which is smaller: i or j?
i
Let b = 6.8 - 6.59. Which is smaller: -2/5 or b?
-2/5
Let t = 3 - 2. Suppose -31 = 4*m + 5*a, -4*a - 32 = -m + 5*m. Let s be (-11)/(-9) + 2/m. Is s at least t?
True
Let a(m) = -m**3 + m**2 - m + 1. Let o be a(0). Let y be (-4)/(-6) - 1936/2868. Let t = y + -464/1673. Which is greater: o or t?
o
Let j(o) = o - 2. Let h be j(-2). Suppose 3 = 2*y + 1. Let p be h/54*y*6. Is -1 greater than or equal to p?
False
Let v be (-86)/(-42) + 10/(-30). Which is greater: 2 or v?
2
Let d be 1*(-4 - 0) + 5. Let w be (-2)/3 - 30/9. Let y be ((-1)/w)/(10/16). Is d smaller than y?
False
Let b be (-16)/(-2007)*(-28 + -1). Let u = b + 2/223. Let c = 4 - 9. Which is greater: c or u?
u
Let m(b) = b**3 + 2*b**2 + b - 1. Let l be m(-2). Suppose 0 = -2*i - 1 + 7. Suppose 0 = 2*n + 4, 3*z + i*n + 0 = -15. Is l smaller than z?
False
Let i = -677/7 - -97. Suppose -4*k = -2*g - 14, 0 = -3*k + 6 + 3. Is g equal to i?
False
Let o(b) = 2*b**2 + 26*b + 2. Let r be o(-13). Is r at least as big as 5/2?
False
Let d(t) = t**2 + 3*t + 4. Let c be (9/6)/((-6)/16). Let m be d(c). Suppose 5*h - 10 = 5*y, 0 = -y - 2*h + 5*h - m. Is 1 > y?
False
Let j be (-7)/(-1)*(-4 + 3). Let t = j - -11. Let q be 6/t + 1/(-2). Is q at most as big as -1?
False
Suppose -p - 2*p = r - 47, 3*p - 3*r - 63 = 0. Does 19 = p?
False
Let a be -2 + 2/((-192)/(-188)). Which is bigger: a or -1?
a
Suppose -v = 2*a + a - 2, 0 = -2*v - 3*a - 2. Is -7 not equal to v?
True
Let q = -38 + 38. Is -8 equal to q?
False
Let n be (-7 - 2) + 0/2. Which is smaller: -8 or n?
n
Let n = -1 + 0. Let w = -0.04 - 0.01. Let v = w - -7.05. Which is bigger: v or n?
v
Let v = 9866/99 + -1040/11. Suppose 3*f + 2*f + 2*i = 31, -3*i - 1 = -2*f. Let q = f - v. Are -0.1 and q equal?
False
Suppose 3 = 5*x - 32. Suppose 0 = -0*d + 5*d - 35. Is d less than x?
False
Let q = -2.4 - -2.4. Let f = 3 - 1.4. Which is smaller: q or f?
q
Suppose -2*j + 34 = -4*j. Let r = 29 + j. Let a be (-14)/(-4)*r/21. Is 2 equal to a?
True
Let f(r) = -r**3 - 2*r**2 + r - 3. Let x be f(-3). Suppose -p - x = -2*p. Which is smaller: 2 or p?
2
Suppose -10 = i + i + 5*t, -i - 5*t - 10 = 0. Suppose v = 2*v - 5*n - 9, i = 2*n + 2. Let y = v - 6. Is y >= -2?
True
Let y = 0.109 + -0.009. Which is greater: y or 87?
87
Let i = -29658031/85155890 - -1/293641. Let g = 6941/754 + -119/13. Let c = i - g. Are -1 and c non-equal?
True
Let p(b) = -2*b. Suppose -4*c + 2*n - 2 = -0*n, 3*c + 24 = -3*n. Let f be p(c). Let x be 0*(3/1)/f. Which is smaller: 2 or x?
x
Let b(x) = x**2 + 14*x - 19. Let j be b(-15). Which is greater: 0 or j?
0
Let m = -54 - -55. Which is bigger: 21 or m?
21
Suppose 0 = -3*u - 114 + 114. Let p be 1 - ((-4)/(-6))/2. Is u >= p?
False
Let m = 0.9 + -1. Let a = 0.09 - 0.09. Is a less than m?
False
Let h = 3 - 11. Let f(p) = -p**2 - 7*p + 9. Let l be f(h). Let k = -32/117 - -2/39. Which is smaller: l or k?
k
Let j = -1 - -2. Which is bigger: 2 or j?
2
Let r be 1/1 - 4/(-10). Let x(f) = 2*f**2 - 15*f - 6. Let k be x(8). Suppose 6*v = k*v. Which is greater: v or r?
r
Let j be 5 - (-2 - (0 + -3)). Suppose -4*k = 4*b - 5*b - 8, j*k = 8. Is 0.1 at least as big as b?
True
Let k be 28/27*(-9)/(-30). Let v = k - 272/585. Let b = 6 - 4. Are b and v equal?
False
Let l be (12/(-4))/(3/(-4)). Let b(q) = -q + 2. Let y be b(-6). Let x be y/(-12) - 8/(-3). Is l at most as big as x?
False
Suppose 4 = 2*j - j. Let f be (1 + 1)*1 - (7 - 8). Is j greater than or equal to f?
True
Let t(i) = i**2 + 5*i - 4. Let y be t(-5). Let k(n) = -n**2 - 4*n - 1. Let z be k(y). Let u = -9 - -9. Which is greater: u or z?
u
Suppose 0 = -y - 0*y. Suppose y = -2*d - d - 24. Which is smaller: d or -9?
-9
Let f = 10 + -1