 = 3*p + 9, 5*q = -3*p - 26. Which is greater: q or -23?
q
Suppose o - 2 = -3*u + 10, 6 = 4*u - 2*o. Suppose u*i + 56 = -i. Is i > -13?
False
Suppose -j = 4*j - 15. Let u be (-2)/6 + 37/j. Suppose -4*t = u - 4. Is t smaller than 1?
True
Let n(f) = 2*f**3 - 2*f**2 - 24*f - 7. Let a be n(-4). Which is smaller: a or -76?
-76
Let v = 43 - 22. Let s = v + -22. Is 3/35 equal to s?
False
Suppose -22 = -3*i - 2*f, -9 = 4*f + 7. Is i <= -5?
False
Let y = -0.35 + -5.95. Let w = y + 8.3. Let h be (-2)/(-8) + (-2)/24. Do h and w have different values?
True
Let f(r) = -6*r + 3. Suppose -h = -w + 8 - 0, -4*w = 2*h - 2. Let g be f(w). Let l be (-6)/4 - g/6. Which is smaller: -2/29 or l?
-2/29
Suppose -1440 - 1860 = 12*d. Which is smaller: -277 or d?
-277
Let a(o) = -2*o**3 - 14*o**2 - 14*o + 35. Let s be a(-6). Is s at most 630/13?
True
Let j = 8.1 - -0.9. Let q = 14 + -22. Let v = j + q. Is 1/5 greater than or equal to v?
False
Suppose 0*y - 2*y = -10. Suppose 0 = -3*b - 2*d - 3*d - 115, 0 = b + y*d + 55. Is -29 smaller than b?
False
Suppose -4*y + 6 = -y. Let f = 17308 - 87527/5. Let b = 198 + f. Which is bigger: b or y?
y
Let x = 353 - 597. Are x and -244 equal?
True
Suppose 5*a = 15, 2 = -4*q - 3*a + 15. Suppose 4*w = w + j + 1, -5*w + 3*j = q. Is -3/13 >= w?
False
Let a = -1 + 4. Let b = 0.26 - 4.26. Let q = a + b. Which is smaller: -1/9 or q?
q
Let s be (46476/39)/(-2) - 24/156. Are s and -596 non-equal?
False
Suppose -6*a + c + 2 = -a, 5*a - 5*c + 10 = 0. Let v be (-9)/6*2 - -6. Suppose 0 = -5*r + v*o + 24, -2*o + 6 = 4*r - 0*o. Is r <= a?
False
Let y be ((-1 - 1)/4)/((-1)/(-4)). Let z be y/3*(-822)/132 - 4. Is -1 less than z?
True
Let h = 125/22 - 1224/77. Is h at most -10?
True
Let i = 81 - 39. Suppose -4*j = 30 + i. Does j = -17?
False
Let w = 182 - 182.32. Are w and -1/8 unequal?
True
Let u be 5/(-5) + (-891)/(-45). Is 18 at least as big as u?
False
Suppose -23*s = -19*s + 1568. Let x = -1967/5 - s. Let h = -5 + 3. Which is bigger: x or h?
x
Suppose 3*w - 4*c = -59, -19*c + 17*c = -4*w - 62. Let y be (1 + 0)*-1*12. Do w and y have the same value?
False
Let n = -93 + 163. Let r = n + -50. Let g be 3/((18/r)/(-3)). Is g greater than -9?
False
Let g(u) = -u**3 + 7*u**2 + 7*u - 41. Let t be g(6). Which is greater: t or 38?
38
Let q = 745 + -185. Which is smaller: q or 561?
q
Let g be ((-3)/(-9))/((-3)/(-333)). Suppose -9*h - g = -28. Let j be 2/(-6) + (-8)/3. Which is smaller: h or j?
j
Suppose -c - 2*t + 3 + 2 = 0, -5*t = -15. Which is smaller: c or 1/21?
c
Let b = 770 + -746. Is b >= 2.5?
True
Let i = -45 + 23. Let x = i + 21.98. Let y = x + -0.08. Is y smaller than -1/4?
False
Let c(y) = -12*y. Let o be c(-3). Suppose 0 = -5*g + 2*g + 3*s + o, -g - s + 2 = 0. Suppose g - 2 = 5*z. Is 1 at least z?
True
Let a = 2585 - 38773/15. Let u = 0.1 + -0.08. Is a >= u?
True
Let k be 150/(-170) + (-2)/17. Let d = -1710 - -114568/67. Is k < d?
True
Let x(k) = k**3 - 5*k**2 - 6*k - 4. Let h be x(6). Which is smaller: h or -14/3?
-14/3
Suppose -4*k - 22 = 4*j - 2, 4*k = 3*j - 13. Is j at most as big as -1/4?
True
Suppose -11*n = -15*n + 80. Let y be 1/(-3) + 2 + (-28)/n. Is y > 1?
False
Let l be ((-23)/78)/(3/6 - 1). Let q = -1/13 - l. Suppose 4*u - 1 = -5*j - 0, -5*u - 4*j - 1 = 0. Which is bigger: u or q?
q
Let m be (-1)/(2/10 - (-88)/(-340)). Is m at least 14?
True
Let l = -2827 + 2812. Let x = 0 - 3. Does x = l?
False
Let h be 6 - 22/21*6. Which is bigger: 0.032 or h?
0.032
Let n = 2249/288 - 70/9. Let p = 12255043/96 - 127659. Let y = n - p. Is 2 bigger than y?
False
Let y = -104684/9 + 11652. Is y bigger than 21?
False
Let r be 4 + (-357)/((-49)/7). Is 52 at least as big as r?
False
Let d(w) = -2*w + 11. Let s be d(-4). Let k = 33 - s. Let i = 24 - k. Is i < 2?
False
Let o = 0.002 - 15.002. Let p = o + 34. Are p and -1 non-equal?
True
Let g(i) = -i**2 + 18*i - 31. Let m be g(16). Let h be ((-4)/6 - 25/(-15))*m. Is -4/9 equal to h?
False
Let s = -149 + 1365. Is s greater than or equal to 1?
True
Let q be 0 - 3/(63/(-6)). Let f = -67.69 + 68. Let c = f - 0.45. Is q equal to c?
False
Let t = -9325/16 + 583. Suppose 0*x - 5*x + 10 = 0. Let v(f) = -6*f + 11. Let b be v(x). Which is smaller: t or b?
b
Suppose 2*f + 7 + 13 = 0. Let b = -174 + 175. Does b = f?
False
Suppose 0 = 6*c - 4*c. Suppose -3*l = -3*p, c = 3*p - 1 + 4. Let w(h) = -h - 20. Let r be w(-20). Is r equal to l?
False
Suppose 5*m - v - 748 = 0, 124*m - 120*m - 2*v - 596 = 0. Which is smaller: m or 151?
m
Suppose 1812 = 9*p + 174. Which is bigger: p or 188?
188
Let w(q) = -211*q**2 + 2*q - 1. Let t = 10 - 9. Let v be w(t). Let j be v/216 - (-2)/9. Is -1 greater than j?
False
Let w = 69/26 - -7395/182. Do w and 44 have the same value?
False
Suppose 5*h + 73 = -467. Let k be 6/(-9)*h/32. Let b = -337 - -339. Which is smaller: b or k?
b
Suppose y = 4 - 0. Suppose -y*t = -0*t. Is t at most as big as -4/15?
False
Let c(p) = p**3 + 7*p**2 - 11*p - 90. Let g be c(-6). Which is greater: g or -1?
g
Suppose -24 = 21*b - 29*b. Suppose 0 = z + v + 10, -3*z + v = b*v + 25. Which is greater: 1 or z?
1
Let j(q) = -2*q**3 + 8*q**2 + 2*q - 8. Let t be j(4). Which is bigger: t or -2/89?
t
Let k = 2 - 2. Let b = 12443 + -423253/34. Let t = b - -11/2. Which is smaller: k or t?
t
Let o(p) = -2*p**2 + 25*p - 25*p + 1 - 3*p**3. Let h be o(1). Which is smaller: -7 or h?
-7
Let l(u) = -2*u**3 + u**2. Suppose 5*g = -5*a + 5, -5*a - 3*g + 2 = g. Let y be l(a). Let z be ((-8)/16)/(1/y). Which is greater: -9 or z?
-9
Let g = -2456/165 + 1612/55. Let q be (-326)/(-24) - (-9)/12. Let i = q - g. Which is smaller: i or 1?
i
Suppose 100 = -2*n + 6*n. Suppose 20*w - 2 - 98 = 0. Suppose 0*q = w*q + n. Is -3 < q?
False
Let d = -8 + 10. Suppose d = -s - s. Let g be (-4)/14 - (-39)/63. Which is greater: g or s?
g
Let y be 12/(-18) - 129/(-198). Let n be (-4)/22 + (-24)/(-11) + -1. Which is bigger: y or n?
n
Let c be (182/(-35))/(1 - 57/30). Is c > 7?
False
Let m(b) = b**3 + 8*b**2 - 7*b - 113. Let r be m(-6). Which is smaller: r or 22/23?
22/23
Let v = 1.18 - -51.82. Let j = v - 47. Is -6/7 > j?
False
Let o = 65.89 + -96.88. Let i = o - -31. Is i equal to 2/9?
False
Suppose -a = 2*z - 571, z - 15*a - 288 = -18*a. Is z <= 286?
True
Let s be (9/(-63)*2)/((-6)/21). Is 1900 != s?
True
Let c = 39 - 39. Which is bigger: 10/73 or c?
10/73
Let y = 683/45 + -77/5. Is y != 0?
True
Let i(m) = m**2 + 45*m - 32. Let l be i(-49). Is 163 < l?
True
Let i(n) = -21*n**2 - 5*n - 107. Let w be i(10). Does -2257 = w?
True
Suppose -6*k = -3*k + 10*k. Which is greater: -2/1167 or k?
k
Let q be 2/(-4) + 6 + (-18)/4. Is q < -1/13?
False
Let s = 2299/3500 - 6/875. Which is greater: s or 0?
s
Let s = 95.03 - 0.03. Let b = -98 + s. Is -1 at least b?
True
Let i be (-1)/((-108)/(-429)) + -7 + 11. Suppose -3*l - 21 = -2*x - 8, -4*x + 1 = -l. Let d be (-2 - (-2 - x))/(-1). Which is greater: d or i?
d
Let q be (-36)/(-90) + (-103)/20. Which is smaller: -4 or q?
q
Suppose -h - 56*g + 53*g = -1067, -4*h + 3*g = -4328. Is 1080 bigger than h?
True
Let z = 16 - 8. Suppose -2*u - 4*h - 8 = 0, 0 = 3*u - 4*h - 0 - z. Which is greater: u or -1/2?
u
Let h = -2/7177 + 1406702/35885. Are 40 and h equal?
False
Suppose 0 = 2*v - 5*b + 20, -3*v + 6*b = 2*b + 23. Let p be (-24)/15 + 1/v. Are -1 and p non-equal?
True
Let l(v) = -v**3 + 10*v**2 + 11*v + 3. Let t be l(10). Suppose t - 7 = 4*h + 5*w, 4*h - 94 = w. Suppose 3*f + h = 9. Which is greater: -4 or f?
-4
Let y = 3 + 24. Let x = -1086.1 - -1086.1. Do y and x have the same value?
False
Let y be 140/(-24)*(-3)/20. Let t = -9/8 + y. Let l = -12.9 + 13. Which is smaller: t or l?
t
Let g = -30.7 - -31. Which is greater: g or 34?
34
Let a = 699 - 404. Is a greater than 295?
False
Let v = 2 - 3. Let l be (-5)/10 + v/2. Do l and -1/62 have the same value?
False
Let q = 80617 - 529392/7. Let m = -4971 + q. Let z = -128/7 + m. Which is smaller: z or -1?
-1
Let p(i) = -2 - 2 - 7*i - i**2 - i. Let a be p(-7). Suppose 2*r = -r - a. Which is greater: r or -3?
r
Suppose -8*m - m - 27 = 0. Let d be -2 - (1 - (1 - 1)/m). Are d and -6 non-equal?
True
Let c = -34 + 28. Let l(d) = d**2 - d - 4. Let p be l(3). Let i be (-15)/(-3)*p/(-2). Which is bigger: i or c?
i
Let l(a) = 5*a - 84. Let c be l(17). Is -1/309 bigger than c?
False
Suppose 0 = -5*t