 than y?
False
Let v be 169/(9/((-108)/(-30))). Let j = v - 66. Which is smaller: j or 0?
0
Let g(l) = 27*l**2 - 1377*l. Let j be g(51). Are 3737 and j non-equal?
True
Let g(k) = -6*k**2 - 28 + 15*k**2 - 36 + k. Let u be g(0). Is u greater than -65?
True
Suppose 4*a + 4*y - 176 = 0, -44 = 3*a - 4*a + 3*y. Let n be a/(-55)*590/(-4). Is 119 < n?
False
Let u be -6*(9/3 - 4). Let x be (4/3*2)/(u/(-306)). Let m = 134 + x. Is m > -2?
False
Suppose 5*a + 4*m = -137 - 471, -2*a - 5*m = 250. Which is bigger: -113 or a?
-113
Let p = 133 + 47. Suppose d - p = -4*q, -3*q + 158 = -d - 4*d. Let v = 781/17 - q. Is v at most as big as 2?
True
Let r(t) = -t**3 - 16*t**2 + 38*t + 15. Let q be r(-18). Which is smaller: q or -219/10?
-219/10
Let n(v) = 6*v**3 - 32*v**2 - 32*v - 18. Let j(w) = w**3 - w**2 - w + 2. Let s(m) = -5*j(m) + n(m). Let o be s(28). Do o and 4/5 have the same value?
False
Let w(j) = -j**2 - 2*j - 2. Let p(b) = 4*b**2 - 7*b - 1. Let h(k) = p(k) + 3*w(k). Let o(r) = r**3 - 4*r**2 + 3*r + 3. Let x be o(4). Let l be h(x). Is 23 < l?
False
Suppose h - 16 = -7*h. Suppose 0 = -i - h*i + 21. Suppose -i*k - 9 = -16*k. Is 14/11 > k?
True
Suppose 3*h - 9 - 3 = 0. Let u be 2 - ((-80)/(-9))/h. Let v = -51938 + 2856588/55. Which is smaller: u or v?
u
Let q be 6 - 9/(18/2236). Let o be q/(-12) + (-6)/9. Is o > 93?
False
Let d be 3 + 2*4561924/(-1188). Let x = d + 7677. Which is bigger: 0 or x?
0
Suppose 174 = -6*p + 834. Let s be (3 - 325/p)/(2/(-8)). Which is greater: -4 or s?
s
Let t be (-8)/(-12)*(-63)/6 + 43. Suppose -3*o = -4*r + 77, -40 = 2*o - 0*o + 3*r. Let i = 60 + o. Is t less than i?
True
Let c = 780 - 745. Suppose 0 = -80*d + 76*d - 24. Is d < c?
True
Let r be 3861/325 - -5 - 14. Is r at least 4?
False
Let p be 165/(-231)*(-4 + 1944/484). Which is greater: -1 or p?
p
Let s = -14 + 19. Let f(t) = -s*t + 2 + 7*t - 6*t + 0*t. Let b be f(2). Which is smaller: b or -0.1?
b
Let k = 5140/69 + 326428/69. Is 4804 != k?
True
Let u(x) = x**3 - 47*x**2 - 61*x - 292. Let f be u(49). Is f less than 1525?
True
Let u(w) = -70*w - 5. Let z be u(2). Let t = 242 + z. Suppose 5*q - 40 = b, 5*q = -3*b - t + 17. Is -29 != b?
True
Let w be 8424/112 + (7 - 1). Let n = w + -163/2. Which is smaller: -16 or n?
-16
Let u be 0 - (323/68)/((-1)/(-8)). Let d = 66 - u. Which is bigger: d or 207/2?
d
Let w(i) = 2*i - 3. Let f be w(6). Let u be 186/(-9)*f/(-6). Let c = u + -32. Is c equal to -16/7?
False
Let s = -2.8 + 34.8. Let p = s + -30.6. Let z = p - 2.4. Which is greater: 4 or z?
4
Let b = -10.78 - -1.78. Let j = 12 + b. Which is smaller: j or -1/2?
-1/2
Let o = 2751 + -2780. Which is smaller: o or -30?
-30
Let b = 237 - 249. Let n(y) = -7*y - 36. Let s(w) = -13*w - 72. Let v(f) = 7*n(f) - 4*s(f). Let x be v(b). Is 13 bigger than x?
True
Let g = 107 + -180. Let i be (-75)/((-5)/(-4 + -1)). Which is bigger: i or g?
g
Suppose -10*l + 20*l = 437 + 83. Which is smaller: -30 or l?
-30
Suppose -3*g - 5*v = 216, 60*g = 58*g + 5*v - 144. Is g bigger than -69?
False
Let m(n) = -n**2 - 22*n + 19. Let q be m(-21). Let l = q - 31. Let o(u) = -4*u + 35. Let f be o(l). Is -2/5 smaller than f?
False
Suppose 5*h + 3*z - 63 = 0, 6*h - 13 = 5*h - z. Suppose 5*n - n = 3*v - h, 0 = -5*n - 3*v + 12. Is -3/391 < n?
True
Suppose -3*d + s = 2*d - 37, 3 = s. Let w be ((-4)/6)/(d/156). Suppose 0 = 3*c - 6*c - 45. Is c less than w?
True
Let b be (0 - (-9)/(-1770))/(56/35). Is 1 bigger than b?
True
Let u = -58.93 - -51.93. Which is greater: -63/17 or u?
-63/17
Suppose 107 = 3*o - 1. Let p be 192/o - 1/3. Suppose -r - 1 + p = 0. Is 6 greater than r?
True
Let u be -2 + (4/(-10))/((-59)/295). Is 7/7748 < u?
False
Let a = -2 - 1. Let m be (4/(-6))/((-41)/a). Suppose -122*r + 51 = -107 + 36. Is r at least as big as m?
True
Suppose 3*o = 2*c - 0 - 1, o + 4*c - 9 = 0. Let s(t) = -10*t - 3. Let v(p) = -44*p - 10. Let d(u) = 9*s(u) - 2*v(u). Let k be d(o). Is -8 <= k?
False
Let v be 324/(-24) - (-1)/(-2) - -11. Which is smaller: v or -47/20?
v
Let u = 2110 + -2103. Is u at least as big as 7?
True
Suppose -5*j - 141 = -851. Suppose 4*z + 2*h + j = 0, 2*h + 143 = -4*z + h. Let q = z + 45. Which is smaller: q or 6?
6
Suppose v = 5*v + 172. Suppose -5*j - 3*p = -79, j + 2*j + 2*p - 48 = 0. Suppose 140 = -3*q + j. Is v at most q?
True
Suppose 13*f - 12*f + 352 = 0. Let c = -222 - f. Suppose 0 = -2*m - 0 - c. Is -65 < m?
False
Suppose -3*a + 18 = 89*j - 84*j, -18 = -3*a. Which is greater: j or 1/145?
1/145
Let q = -4.877 - -4.9. Let i = 40.2 + -43.223. Let t = q + i. Which is smaller: -0.2 or t?
t
Let i = -953 - -1632. Let u = i - 2039/3. Are 244 and u nonequal?
True
Suppose -j + 9 = 44. Let s = j - -41. Suppose 2*h = -s, 0 = n + 4*h - 0*h + 19. Is n at least -8?
True
Let o(d) = -d**3 - 6*d**2 + 10*d - 6. Let c be o(2). Let n be ((-4)/(-40))/(c/(-24)). Is 44 at least as big as n?
True
Let t = 19/18249 + 57091/85387071. Are t and 1 equal?
False
Let p = -63.2379 + 63.2. Let m = p + -21.8621. Which is bigger: -1 or m?
-1
Suppose -5*l - 14*l = -15*l. Suppose -4*z + l = 4. Let m be (z - (-4)/1) + (-832)/(-32). Which is bigger: m or 30?
30
Let a = 42876 - 169631/4. Which is bigger: 469 or a?
469
Suppose 31*u = 73*u + 98658. Which is greater: u or -2350?
u
Let i be 12*(6/(-51) - (-1 - 592/(-748))). Which is smaller: i or -10.9?
-10.9
Suppose 0 = -14*p + 12*p + 10, 3*b + 2*p - 10 = 0. Is -1/15800 <= b?
True
Let p = 326.548 - 11.548. Which is greater: 2/5 or p?
p
Let p(f) = -9*f**2 + 34*f + 256. Let g be p(14). Do g and -1033 have different values?
True
Let w be ((-1)/3)/((-208560)/148500). Which is smaller: -1 or w?
-1
Suppose -29*l + 32*l - 15 = 0. Suppose 4*x + l*d = 15, d + 4*d = -2*x + 5. Suppose 0 = -5*c + 4*i - 155, -11*c + x*i - 155 = -6*c. Which is smaller: c or -29?
c
Let f(u) be the third derivative of -u**5/20 + 17*u**4/24 - 5*u**3/3 - 2*u**2 - 38. Let q be f(5). Which is bigger: q or -2/33?
q
Let h = 1670 - 1770. Do -100 and h have the same value?
True
Let i = 2176 + -2259.3. Which is greater: -3 or i?
-3
Let p(f) = f**3 - 42*f**2 + 434*f + 41. Let h be p(23). Does h = 39?
False
Let u(t) = t - 2. Let i = 60 - 34. Let s = i - 26. Let g be u(s). Which is smaller: 0.6 or g?
g
Let h = -213 - -361. Let i = h + -165. Do i and -78/5 have the same value?
False
Let b(p) = p**2 + 13*p + 6. Let m be b(-12). Let x be (-10)/15 - 0/(-4). Which is smaller: m or x?
m
Let j be 2/((-4)/10)*9/(-5). Suppose -j*p = 3*p. Do p and 1/13 have the same value?
False
Suppose 74 = 5*y + 4. Suppose 4*c + 6 = y. Suppose 3*q = 4*q - c. Is q >= 6?
False
Let d be 2/12 - (-289)/102. Suppose 93 + 809 = -5*m + z, -d*m - 550 = -5*z. Do -181 and m have different values?
True
Let c = 318589 - 3497111/11. Which is smaller: 669 or c?
669
Let s = -12.3 - -1.3. Let w = 112 + s. Let b = w - 103. Is b != 2.6?
True
Let u be (7 + 5)*(0 + -1)/1. Let n be 1 - (207/u)/(6/(-4)). Let b be ((-3)/4)/((-1)/(-16)). Which is bigger: n or b?
n
Let i(r) = -18*r**2 + 8*r - 23. Let d(m) = 9*m**2 - 4*m + 12. Let p(q) = -7*d(q) - 4*i(q). Let a be p(2). Let f = a + -30. Which is greater: 3 or f?
f
Let b(i) = i**2 + 18*i - 1. Let a be b(-8). Let l = 48 + a. Let o be l/(-6)*6 + -4. Is o != 29?
False
Let x = -212 - -190. Let j be 70/x*26/195. Which is bigger: 1 or j?
1
Let d(s) = s**3 + 30*s**2 + 44*s + 1647. Let z be d(-31). Is z less than or equal to -4749/7?
False
Suppose 0 = 146*r - 136*r - 154128 - 10512. Which is smaller: 16465 or r?
r
Let l(t) = -83*t + 3320. Let x be l(40). Which is smaller: x or -46/263?
-46/263
Let l = 0.09 + 4.91. Let k = 5 + l. Let n = -2784 + 2781. Is k > n?
True
Let b = -91 - -90.927. Let k = 0.873 + b. Let x = k + -0.9. Which is bigger: x or 10?
10
Let t = -8 + 12. Suppose -t*j + 2*j = 408. Let q be ((-818)/j - 4)/(2/6). Is q >= 0?
True
Let y(b) = b**3 + 17*b**2 - 20*b - 38. Suppose -208 + 64 = 8*o. Let h be y(o). Does -50 = h?
False
Let j = -853 + 855.985. Let b = j - -0.015. Let d(q) = -q**3 - 5*q**2 - q + 1. Let a be d(-4). Which is greater: a or b?
b
Let l = -45073 + 44606. Which is greater: l or -479?
l
Suppose -5*b - 5*t + 200 = 0, 0 = -3*b - 4*t + 5*t + 104. Suppose -39*d + b*d = -57. Which is bigger: d or 4?
d
Let w(j) = j**3 - 7*j**2 - 171*j + 7. Let i be w(17). Are i and -111/10 equal?
False
Let r(s) = -37*s - 529. Let c be r(-14