 as o?
False
Let t = 28 - 13. Let k be ((-6)/t)/((-326)/10). Let o = k - 3431/652. Is -5 less than or equal to o?
False
Suppose 3*y = 2*p - 31, 4*p = -6*y + y - 15. Let q be (-3)/(-126) + y/(-42). Which is smaller: 1 or q?
q
Suppose 6*h - 2*h = 0. Let r be (-16)/(-1744)*(2 + 0). Are h and r non-equal?
True
Let v be ((-7)/(-7))/(2/4). Suppose v*b - 3 = 5. Which is smaller: 23/5 or b?
b
Let r(p) = 2*p**3 - 24*p**2 + 21*p + 10. Let j be r(11). Suppose 6*b + 36 = b + 2*u, 2*u - 6 = 0. Let i(d) = -d**2 - 5*d + 8. Let a be i(b). Is j at least a?
False
Let t = 532 - 443. Is t less than or equal to 87?
False
Let u = -173 + 382. Is u smaller than 206?
False
Let x = -656 - -735. Is 77 not equal to x?
True
Let l = -1245 - -723. Is -521 >= l?
True
Let g = -2/753 - -508/2259. Which is bigger: 2/21 or g?
g
Let c be (-4 - -5)/((-4)/(-32))*-1. Let h(i) = -i**2 - 2*i + 6. Let b be h(3). Is c <= b?
False
Let k = 7.575 + 0.025. Let o = k - 7.4. Do -0.08 and o have the same value?
False
Let u(v) = 2*v**2 - 3*v - 2. Suppose -i + c + 0*c + 1 = 0, -3*i - 13 = 5*c. Let l be u(i). Let p = -3 + l. Which is smaller: p or 1/3?
p
Let f = -18 - -12. Let q = f - -5.7. Let u = -2.12 - -2.12. Which is greater: q or u?
u
Let w = -21 - -21. Suppose w*j = -3*j + 18. Is 5 smaller than j?
True
Suppose -4*r = -1 + 5. Let b be 13*r/(1656/(-158)). Let t = b - -2/207. Which is smaller: t or 1?
1
Let l be 8/(-44) - 1850/(-11). Suppose 4*r = -l - 112. Let c be (r/(-12))/(-7) + 1. Is c < 1?
True
Let o = -50 - -70. Let y be 5 + -5 - (-325)/o. Which is bigger: 17 or y?
17
Let z be ((-2)/(-123))/((-210)/315). Which is smaller: z or -1?
-1
Let t = 20 + -36. Let b be (-40)/(-24)*t/10. Is b at most -2?
True
Suppose 3*m - 17 = -8. Let n = -11 - m. Let v = n + 11. Are v and -6 unequal?
True
Suppose -s + 1 = -2*g - 5, 5*g = 4*s - 21. Suppose -4*w + 0 = -s. Suppose -w = -2*m + m. Are 2/21 and m non-equal?
True
Suppose 8*p - 75 + 35 = 0. Let k(r) = 4*r - 3. Let c be k(4). Suppose -5*x + 17 + c = 0. Which is greater: p or x?
x
Let k = -234695 + 2578402/11. Let t = k - -295. Let h = -15 - -16. Which is smaller: t or h?
t
Suppose -2*y - 15 = -7*y. Suppose 0 = -3*q + 5*c - 0 - y, -4*c = -3*q - 3. Which is greater: -2/69 or q?
-2/69
Suppose -4322 = -6*r + 3106. Are r and 1238 unequal?
False
Let v = -24.8 + 26. Let i = 1.1 - v. Do i and -18 have different values?
True
Let w(p) = -2*p - 8. Let d be w(-8). Suppose d = 5*r - 37. Which is smaller: 7 or r?
7
Let s = -2 - -2.1. Let k(u) = -14*u - 439. Let d be k(-32). Are d and s nonequal?
True
Let n = 90 + -94. Which is smaller: -24/7 or n?
n
Let s be 102/24 - (-1)/(-4). Suppose 12 = -4*z + z, -5*z = s*d - 400. Let a = d + -1363/13. Which is bigger: 1/3 or a?
1/3
Let p = 198/5 + -41. Let c = 3 - 4. Which is smaller: p or c?
p
Let d(c) = -c**2 + 3*c + 6. Let o be d(5). Which is smaller: o or -6?
-6
Let s = 5 - 2. Let p(i) = 3 + i**s - 16*i**2 + i - 2*i + 12*i**2. Let w be p(4). Is w at least as big as -2/7?
False
Suppose -8*f = 37 - 45. Let c be 0 + (-42)/(-27) - 0. Which is smaller: c or f?
f
Let r = -328 - -10170/31. Let s = -177 - -176. Is r at least as big as s?
True
Let v be -6*(-23)/(276/112). Are 55 and v equal?
False
Let f = 1.16 - 7.82. Let d = f - 0.34. Which is bigger: d or 1?
1
Let i = 68356408/2307 - 29630. Which is bigger: 1 or i?
1
Let u(z) = z**3 - 6*z**2 + 5*z - 1. Suppose 4*j = -2*k - 2, -11 + 1 = -5*k - 5*j. Let c be u(k). Let g = -1 - 3. Which is greater: c or g?
c
Suppose -7*x + 2*x + 2*b = 93, 2*x + 30 = -b. Let i be (-50)/18 - (x + 14). Is i > -1?
True
Suppose 5*i + 3*k + 4 + 14 = 0, -2*k - 17 = 5*i. Let x be 2 - (0 + (-74)/140). Let g = 1/35 - x. Which is bigger: i or g?
g
Let u = -1 - -2. Let r(m) = m**2 - 5*m + 4. Let h be r(4). Let a be (52/(-845))/(h - (-2)/(-10)). Which is greater: u or a?
u
Suppose 0 = 4*k - g, 6*g - g = -k + 21. Let c(z) = -z**3 - 5*z**2 + 4*z - 9. Let b be c(-6). Let a be 4 - (b/36 - -4). Which is smaller: k or a?
a
Let q be (-168)/20*(-280)/(-84). Is -200/7 < q?
True
Let q = -0.4 - 0.5. Let y = 0.044 + -2.944. Let f = y - q. Is f < -2/7?
True
Let y = -146/9 - -319/18. Which is bigger: 11 or y?
11
Suppose 4*q + 20 = 4*k, 4*q = 2*k + 3*k - 27. Is k greater than 45/7?
True
Let j = 360715/193 + -1869. Suppose -2*f = -4*f - 2. Which is smaller: f or j?
f
Suppose -w + 5 = j, 2 = 5*w - 13. Let k be 3/(j + -5 - -6). Suppose -k = t - 3. Is 11/6 >= t?
False
Suppose 3*u - 59 = -8*d + 4*d, 3*d = -u + 38. Suppose 5*o - 4*c + 3*c - 24 = 0, 2*o + c = d. Is o < 0?
False
Let b = -131 - -51. Let i = -81 - b. Let k = -18 + 25. Which is smaller: k or i?
i
Suppose 0*q = -4*q - 24. Let j be q/8 - (-140)/16. Is 7 greater than j?
False
Let w(d) = -2*d + 3. Let t be w(3). Let i be 24/(-3) + 10 - 4. Is i smaller than t?
False
Let h be (-6)/(-8) + 220/(-304). Suppose -7 = -c + 3*c + 3*l, l + 3 = 0. Let g be (c/(3 - 2))/(-1). Is h at least as big as g?
True
Let p = 1068.69 - 1069. Is -1/7 less than p?
False
Let v(r) = 85*r + 429. Let j be v(-5). Is j bigger than -209?
True
Let g = -3.1282 + 0.1282. Is g < 108?
True
Let h(g) = g**3 + 4*g**2 + 3*g + 5. Let o be h(-3). Suppose 4*a + 0*x + x + 5 = 0, -o = -4*a + x. Which is smaller: a or 2/7?
a
Let h be (8 - 4)*(-13 - 1). Is h >= -46?
False
Let o = 776218 - 44242102/57. Let w = o + -122/3. Are w and 0 non-equal?
True
Let r = -0.7 - -3.7. Are r and -191 equal?
False
Let h be (-2)/(-5) - 168/345. Suppose 2*s - 6*s = -5*z - 33, -8 = 2*z + s. Let t be (-1 - z) + 16/(-4). Which is smaller: h or t?
h
Suppose 26*w - 3698 - 3088 = 0. Which is greater: w or 260?
w
Let i be 8582/(-1596) - 5/(-1). Let f = i - -5/12. Are f and -1 nonequal?
True
Let x = 38.077 + -0.077. Let w = x - 37.9. Let b = -32 + 23. Is b greater than w?
False
Let v = -20.3 + 13.3. Are v and -4/9 nonequal?
True
Suppose -286*j = -273*j - 52. Is j at most -4?
False
Let p(a) = a**3 - 11*a**2 + 7*a - 9. Let s be p(11). Let c be (-5*(3 + -2) + -62)*-1. Which is smaller: c or s?
c
Let s(o) = 4*o - 4. Let m be s(-3). Let p = 3 + -3. Is p >= m?
True
Let o(v) = 177*v - 95. Let c be o(2). Which is greater: c or 257?
c
Let h(p) = 4*p + 23. Let r(v) = 3*v + 23. Let l(b) = -6*h(b) + 7*r(b). Let d be l(8). Is d != -2/27?
True
Suppose 39*b + 35 = 32*b. Which is smaller: -43/10 or b?
b
Let m = -3.037 - -0.837. Let q = -0.2 + 0.2. Which is smaller: m or q?
m
Let a be 0 + 0 - (-1 - 1 - -2). Suppose a = -2*y - 30 + 32. Is 3 less than y?
False
Let k be (-21)/9*-12*(-6)/(-12). Let i be (-5)/(-8)*(-6)/(-15). Which is bigger: i or k?
k
Let f = -1031.9 - -1032. Is 1/1381 greater than f?
False
Let a be (-3)/((-399)/70 + 6). Suppose -5*v + 3*q = 8*q - 35, -4*v + 22 = 2*q. Suppose 4 = 4*d, -v*d - 40 = 3*j + j. Which is bigger: j or a?
a
Let a = 0.78 + -2.66. Let n = a - -2. Let h = -0.22 + n. Which is greater: h or -7?
h
Let q = -7234 + 3349340/463. Which is greater: 1 or q?
1
Let s be (-8)/12 + 1/(-3) + 4. Suppose 3*t = 3*j + 9, s*t = t + 3*j + 10. Which is smaller: -8/5 or t?
-8/5
Let h = 106.61 - 82.3. Let z = 24 - h. Let x = 0.11 + z. Is x smaller than 3?
True
Let f = -117 - -116.9. Let q = -1 + 1.1. Let i = 3.1 - q. Are i and f non-equal?
True
Let o(q) = q + 2. Let h be o(1). Let m(b) = b - 5. Let u be m(h). Does u = -14/17?
False
Let b = -2/2900557 + 5586474368/2300141701. Let y = b + -32/13. Is y <= 1?
True
Let f(y) = y**3 + 6*y**2 - 11*y - 6. Let d be f(-8). Let r be 2/(-5) + 4 + d/10. Do r and 1 have different values?
True
Suppose -5*b - 29 = 4*n, -6*n + 4*b - 26 = -n. Let f = -8713/1516 - 1/379. Is n at most f?
True
Let p = 11907/4048 - 47/16. Let r be (-30)/(-5) + 4 - 11. Which is greater: r or p?
p
Let i = 1768 - 1482. Which is smaller: 573/2 or i?
i
Let a = 448.77 + -442. Let h = a - 5.8. Let n = 0.9 - h. Is n at most 0?
True
Let p(k) = -k**2 + 21*k + 52. Let x be p(21). Is x greater than or equal to -1/6?
True
Let m = 292 - 274. Which is bigger: -2 or m?
m
Let s = 2 - -10. Let g(j) = 91*j + s + 5 - 93*j. Let b be g(16). Which is smaller: -16 or b?
-16
Suppose -7*l = -2*l + 3*p - 24, -3*l = 4*p - 10. Let x = -1711 + 1716. Which is greater: l or x?
l
Let r be (-15)/(-6) + (-406)/700. Which is smaller: 1 or r?
1
Suppose 5 = 4*i - 5*w + 25, 0 = -i - 2*w + 8. Let m = -16 + 22. Let h be m/(-21)*2/(-14). Is i smaller than h?
True
Let k be 0 - 0 - 4