rue
Let x = 6 - 5. Let i be (-2)/3 - (-11)/3. Which is smaller: x or i?
x
Let m be 7 - 4 - (0 + 56). Let r be 1 + (m/11 - -4). Let a(c) = c + 5. Let d be a(-6). Which is bigger: r or d?
r
Suppose -3 + 4 = -j. Let b = j + 11. Which is greater: -1 or b?
b
Suppose 97 = -4*w + 13. Let m = -10 - w. Is m at most 11?
True
Let t = -13.097 + -0.103. Let c = t - -23.3. Let s = -10 + c. Which is bigger: s or 0.3?
0.3
Let j = -1.12 + 0.12. Which is greater: j or 7?
7
Suppose 5*g = -15 - 15. Let v(b) = -b**3 - 6*b**2 - 1. Let s be v(g). Is 5 greater than s?
True
Let j(s) = -s**3 - 6*s**2 + 7*s + 2. Let g be j(-7). Suppose g*m + 5 = 1. Let p = -1/6 - 4/3. Which is smaller: p or m?
m
Suppose d - 3 = -2*i + 2*d, i + 3 = 2*d. Let c(o) = o**2 - 5*o + 3. Let u be c(5). Suppose -u*k = i + 3. Is k != -3?
True
Suppose 5*i - 13 + 43 = 0. Let l be 2/6 + (-10)/i. Are l and 2 unequal?
False
Let q be 2/(-9)*3/1. Let w = -2/1663 - 8283/26608. Let g = 1/16 + w. Which is smaller: q or g?
q
Let a = 8 - 8.36. Let w = a + 0.06. Let r = 0.2 - 0.1. Is w greater than r?
False
Suppose 0 = -3*t - 2*w - 3, 3 = -2*t + w - 2*w. Let h be (-5)/(15/(-6)) - t. Let v = 4 - h. Is v greater than -1?
False
Suppose -3*f - 6 = -27. Suppose -4*u = -5*u - f. Is u greater than or equal to -7?
True
Let d be (-4)/(-6) - 582/495. Let v = d - -10/11. Is v greater than or equal to 1/3?
True
Suppose -x = -2*m - 2*m - 62, -m - 17 = -x. Let j be 2/m*(-18)/(-12). Which is smaller: j or 1?
j
Suppose 0 = -0*p - p + 5*p. Let g = -43/40 + -1/8. Is g at least p?
False
Let b be (-8)/12 - (-48)/45. Is 7/4 < b?
False
Suppose -9*o = -5*o - 8. Let z(p) = -1 - 3*p + 2*p + o*p - 2. Let f be z(7). Which is smaller: 1 or f?
1
Let k be (-68)/111 - 6/(-9). Is 0 less than or equal to k?
True
Suppose -7*i - 49 = -0*i. Is -9 greater than i?
False
Let r = 0.02 + 0.98. Let h = r - 1.1. Are h and 0.1 non-equal?
True
Let o = 30.53 + -28.7. Let p = -0.17 - o. Which is smaller: p or 0.2?
p
Let s(b) = -b**2 - b + 1. Let k(a) = -a**3 - 2*a**2 - 2*a + 1. Suppose -7 = 5*m - 2. Let d(g) = m*k(g) + 2*s(g). Let j be d(0). Is 2 <= j?
False
Suppose -4*m = 5*j + 44 - 16, -5*m = -4*j - 6. Is 3 > m?
True
Let p(v) = -5*v**2 + 7*v - 3. Let m be p(5). Let w be 3019/33 - 8/(-44). Let b = w + m. Do 0 and b have different values?
True
Let s = 2.1 - 2. Do s and 0.11 have different values?
True
Let j = 54 + -54. Are 1/33 and j equal?
False
Let m be ((-1)/(-2))/((-10)/(-12)). Let y be (-58)/(-18) - 6/27. Let u be (y/(-12))/((-3)/12). Is m at least as big as u?
False
Let g = 2902/4305 - -18/205. Let f = -146 + 1032/7. Let u = f - g. Is 1 > u?
True
Let l = 3/35 + 23/140. Which is bigger: 0 or l?
l
Suppose -5*r - 5*b + 15 = 0, -3*r = 2*r + 2*b. Suppose -2*x + 15 = 3*x. Suppose -x*t - 3 = 3. Is t < r?
False
Suppose -h = -5 + 1. Suppose 0 = h*s + 3*b - 15, b = 6 - 1. Which is smaller: 8/7 or s?
s
Let b be 12*(0 - 3/(-6)). Let y = b - 6. Which is greater: 2/9 or y?
2/9
Let j be (10/6)/(3/(-36)). Let g be 11/2 + 10/j. Which is greater: 6 or g?
6
Let y be ((-6)/9 + 0)*6. Suppose 0 = -4*w + 20, w = 3*j - 8*j - 20. Is y less than j?
False
Let v(r) = r**3 + 4*r**2 + 2*r - 3. Let k be v(-3). Let y = -67 + 403/6. Which is bigger: y or k?
y
Let v be 3/(-7) + 158/385. Is v equal to -1?
False
Let w be (-2 - -1) + 1 - -9. Suppose 4*t + 15 = -t - y, -y = 3*t + w. Is t greater than or equal to -3?
True
Let z = 7 - 6. Let j = -5 + z. Which is smaller: -2/3 or j?
j
Suppose 5 = -0*r - 5*r. Let b = -84 - -84. Which is bigger: r or b?
b
Let y = -0.07 - 0.03. Let d = 0.2 + y. Which is smaller: -0.1 or d?
-0.1
Let f = -2531 + 161987/64. Is f less than -1?
False
Let q = 1 + -0.5. Is q less than 0.1?
False
Let n = -315507/2 + 661616297/4194. Let m = -1/233 - n. Which is bigger: m or 0?
m
Let b = -0.076 - 6.124. Let z = 6 + b. Which is smaller: z or 0?
z
Suppose 0 = k + 100 - 271. Let v be (-3)/(k/(-51)) + -1. Is -1 equal to v?
False
Suppose y = -2*k - k - 15, y + 25 = -5*k. Let g(f) = f**2 + f + 3. Let z be g(-3). Let j be 24/45 - 3/z. Which is greater: j or y?
j
Let v = 63 + -62.97. Which is greater: v or 0?
v
Let r = 2/69 + -160/759. Let y(j) = j**3 + 6*j**2 + 5*j + 4. Let u be y(-5). Let x be ((-4)/(-6))/(u/6). Is x at most as big as r?
False
Let q = 0.17 - 0.07. Let v = 8.9 - 8. Let o = q + v. Is o at least -2/5?
True
Let n = 0.55 + -4.55. Is n < -4/5?
True
Let u = 52537/6780 + 2/1695. Let i(d) = d - 3. Let b be i(-4). Let f = u + b. Is f equal to -0.1?
False
Suppose 5*n + 48 = u + 17, -4*n - 8 = -5*u. Which is smaller: n or -5?
n
Suppose 4*x - 18 = 3*g + 3, 4*x = 12. Which is bigger: -24/11 or g?
-24/11
Suppose 0*t - 2*t = -4. Suppose p = 1 + t. Is p not equal to 2?
True
Let z be (-10)/6 + 51/27. Let o = 10 + -6. Which is bigger: z or o?
o
Let o be (-2 + -2)*2/1. Let p = 8 + o. Let u(n) = n**2 - 7*n + 7. Let a be u(6). Does p = a?
False
Let n = -0.09 - -0.29. Let a = 2.2 + -2. Let c = a + n. Which is bigger: c or -2/9?
c
Suppose 4*v = -45 + 9. Which is greater: -7 or v?
-7
Let o(l) be the first derivative of l**2/2 - l - 5. Let a be o(-4). Which is smaller: -4 or a?
a
Let r be 0 + (-32)/18 + 2. Let t be -5 + 5 - (0 - 0). Are r and t equal?
False
Let y be (14/4)/7 + 0. Suppose -3*q + 3*n - 15 = 0, 0*n + 20 = -2*q + 4*n. Is y at least as big as q?
True
Suppose 0 = 5*x - 7*x + 10. Let z = x - 3. Which is smaller: z or 9/5?
9/5
Suppose -1 = -c + 3*p - 3, 4*p = 4*c + 8. Let u = c + 4. Let w be (-14)/(-12) + (-2)/3. Which is greater: w or u?
u
Let z(b) = 3*b + 1. Let h be z(-2). Let s = 11 + h. Does s = 5?
False
Suppose 2*f + 3*j = 6, 4*j = -4*f + 7*j - 6. Is f <= -1/32?
False
Let w(z) = z**3 + 9*z**2 + 7*z - 6. Let r be w(-8). Let s be r + (1*-6)/(-3). Let l be 4/(-6)*1/s. Is -1 < l?
True
Let i = 31 - 27.8. Let n = -1 - 2. Let f = i + n. Which is greater: -1 or f?
f
Let b(r) = -r**2 - 14*r - 29. Let l be b(-11). Which is bigger: l or 6?
6
Let a(s) = s**3 + 11*s**2 + 10*s. Suppose -4 = -x + 4*y - 12, 0 = x + 2*y + 14. Let t be (-29)/3 - (-4)/x. Let j be a(t). Which is smaller: 1 or j?
j
Let m = -2 - -9. Let g = m - 7. Is 4/3 at most g?
False
Suppose 32 = 4*t - 2*t. Suppose 6 = -19*d + t*d. Is d < 0?
True
Let g be (-1 - -4)*(-2)/(-3). Let k = 1/638 - 193635/1276. Let y = -151 - k. Which is bigger: g or y?
g
Let o = 25 + -25.2. Which is smaller: o or -2/5?
-2/5
Let o be ((-6)/21)/((-3)/7). Is 1/3 greater than o?
False
Let o = -0.3 - -0.3. Let t = o + 0.1. Suppose -5*b + 3 - 8 = 0. Which is smaller: b or t?
b
Let b = -47 + 67. Which is bigger: b or 19?
b
Let h be 26*(-2)/(-36)*6/(-2). Let w = -4 + 0. Is h not equal to w?
True
Let q = -108 + 40. Is -67 less than or equal to q?
False
Let u = 7/3 + -2. Do u and 4 have the same value?
False
Let l = -100.9 + 101. Is l at most as big as 7?
True
Suppose 4*z = -4*s + 4 - 28, 3*s = 4*z - 32. Let u be (s/(-12))/((-4)/(-6)). Is 1 greater than or equal to u?
True
Let x(p) = 5*p**3 - 9*p + 2. Let z(v) = v**3 + v**2 - v. Let w(y) = -x(y) + 4*z(y). Let o be w(5). Suppose -5*m + 2*m + 20 = -4*h, 16 = 2*h + 5*m. Is o >= h?
True
Let x = -1/30 + -7/15. Which is smaller: -0.07 or x?
x
Let c be -8*(-2)/(-1) - -1. Let f be 1 + -3 + (-36)/c. Let p = 22 - 43/2. Is p less than or equal to f?
False
Let a(t) = t - 10. Let c be a(5). Is c less than -1/3?
True
Let y be (7 + -4)/(-12) + 23/44. Is y < 1?
True
Suppose -4*y + 12 = -t, 5*y - 1 = -t + 23. Suppose -3*o + 2*v + 2 = -2, t*o = v + 2. Suppose 5*i = 4 + 1. Which is smaller: o or i?
o
Let n be 1/(-5) - (-48)/(-10). Do 0 and n have different values?
True
Suppose 0 = -5*b - 7 + 12. Is b >= 1?
True
Let d = -4477/7 - -641. Is d at least -2?
True
Let l be (27/(-6) + 4)*0. Which is smaller: 3/8 or l?
l
Suppose -9*d + 5*d + 236 = 0. Which is greater: 57 or d?
d
Let g(l) = l**2 + l - 2. Let j be (3/(-2))/(6/8). Let c be g(j). Suppose -3*q - w - 3 - 5 = 0, 3*q - w = 2. Which is smaller: q or c?
q
Let z = 4.8 + -4.6. Is 6 at least as big as z?
True
Let x = -740709/187 + 3961. Does x = 1?
False
Let a(w) = -3*w**3 - 8*w**2 + 4. Let b(m) = m**3 + m**2 - 1. Let d(x) = a(x) + 4*b(x). Let k be d(4). Suppose -s + k = 2. Is s less than or equal to -2?
True
Let b = 616.91 - 614. Let k = -3 + b. Which is smaller: k or 0.1?
k
Let g be 7/(-9) + 1 + (-500)/4275. Suppose 0 = -5*d + 1 - 6. Is g != d?
True
Let b = -9 + 9. Is -