maller: -0.03 or x?
x
Let h be 1/(((-3)/(-12))/((-331)/(-4))). Let c = 275 - h. Which is smaller: c or -55?
c
Let z(m) = -m**3 - 14*m**2 + 13*m - 10. Let o be z(-15). Suppose -l + 15 = 3*r, -o = -2*l - 5*r + 7. Suppose 24 = 4*b + 8. Is l > b?
True
Let s(t) = -8*t**3 + 5*t**2 - 40*t - 68. Let w be s(-7). Is 3203 at most as big as w?
False
Let m(f) be the first derivative of -15*f + 5*f**2 - 13 - 1/3*f**3. Let b be m(8). Is -2/35 at most b?
True
Suppose -c = 2*c - 9. Suppose -4*i - 135 = 5*v, -18 = 4*v - c*v - i. Suppose 132 = 70*a - 76*a. Which is greater: a or v?
a
Let a be (-24 - -16) + -2 + 15. Is 97/21 at most a?
True
Suppose 3*x = 2*h + 7805, -4*h - 6023 - 4389 = -4*x. Is 2596 greater than or equal to x?
False
Let q = 14 + -29. Let b = 0.038 + 15.962. Let m = b + q. Which is greater: 0.1 or m?
m
Suppose -1565 = 48*s - 43*s. Let o = -1274 + 963. Are s and o unequal?
True
Let t be (-4)/10 - (-36)/(-10). Let q = 8406 + -8409. Let y be q - (t + (5 - 3)). Which is smaller: y or -2/259?
y
Suppose 11*n - 46 = -24. Suppose 2*u - 2*w = 6, 4*u - 5*w = -0*u + 15. Suppose u = 2*p + n*t - 22, t + 32 = 5*p + 7. Do 4 and p have the same value?
False
Let v be ((-3)/(-4))/(-1*(-8)/6432). Let h = v - 602. Is 3 smaller than h?
False
Let u = 631 + -531. Let i = u - 98. Which is bigger: i or -271?
i
Let y = 37364 + -4633061/124. Is 2 not equal to y?
True
Let c = 0.049 + -0.169. Let d = -0.08 + c. Let a = 1/18 - 5/36. Is a < d?
False
Suppose -4*v + 15 = o, -2*o - 22 = -5*v - 0*o. Suppose 5*a = v*c - 4653 + 560, 3*c + 4*a = 3062. Let j = -3035/3 + c. Which is bigger: j or 9?
j
Suppose 4*j - 47771*u - 13 = -47766*u, j = 2*u + 4. Let n = -0.584 - -0.44. Do n and j have different values?
True
Let p(l) = l**2 + 112*l - 465. Let i be p(4). Which is smaller: i or -230?
-230
Suppose -3*v = 6*f, 5*v = -3 + 1 + 12. Let g = 9696938097/2323 - 4174317. Let a = g - -4/101. Are a and f nonequal?
True
Let d = -0.04805 - -1168.04805. Which is smaller: -1/3 or d?
-1/3
Let c = -72633 - -72625. Let p = 10/217 - 14619/1736. Which is bigger: c or p?
c
Let r be 3 + 68181/34230*-2. Let n = r - -34/35. Suppose -3*p + 0*b + b - 5 = 0, b - 5 = -p. Is n less than p?
True
Suppose -2*n - x + 2 = -14, -n - 2 = -2*x. Let k be ((-5)/(-2))/(n/4 + -1). Suppose -4 = 3*c - 3*s + k, 5*c + 4*s = 12. Is 21 greater than c?
True
Suppose 63*v = 57206 + 2644. Is 949 at least v?
False
Let h = -59 + 53. Let z be -2*(-39)/(-52)*4/h. Which is greater: -3/8 or z?
z
Let q be (3 + -1)*1226/4. Let x = q - 38617/63. Let g = -17576 + 17576. Which is smaller: x or g?
g
Suppose 171*i - 4 = 2*r + 170*i, -2*r - 4*i = -16. Which is bigger: 3/604 or r?
3/604
Let y be (-4)/18 + 44/198*-17. Is y less than 10?
True
Let l be (-9)/(-15) - (-104)/(-40). Let r be (l/(-5))/(-1)*470/(-4). Is r bigger than 45?
True
Let g be 67/(-180) - (-44)/198. Let k = 1.807 - -0.193. Are k and g unequal?
True
Let h = 27 - -182. Let u = -208 + h. Which is bigger: u or -0.11?
u
Let a be (15 - 572/39)*(-12)/(-9626). Which is smaller: a or 1?
a
Suppose 26*l + 15 = p + 23*l, -p - 2*l - 5 = 0. Let t be 12/(-18) + (p - (-395)/(-168)). Are 2/3 and t nonequal?
True
Let h = -98 + 89. Suppose 0 = -2*i + 5*m + 68 + 10, 2*i - 78 = -4*m. Let w = i + -48. Is w smaller than h?
False
Let s(h) = -358*h + 6243. Let v be s(23). Are v and -1992 equal?
False
Let g(s) = -2*s**3 + 27*s**2 + 8*s - 21. Let o be g(13). Suppose -3*j + 148 = -2*w, -5*j + 4*w - 2*w + o = 0. Is j not equal to 54?
True
Let s be -1 + 38/34 + 0. Suppose 9 + 1 = -5*y, 4*w = -3*y + 6. Let u be ((-12)/(-30))/(-4 + w). Which is smaller: u or s?
u
Let q be -6 - (-13 + 2080)/(-13). Is 142 greater than q?
False
Let z = -0.53 - 79.47. Let t = z - -87. Let h = 6 - t. Which is greater: 2/55 or h?
2/55
Let m = -1535.96 - -1567. Let t = 31.4 - m. Let p = 3 + -4. Which is smaller: t or p?
p
Let z be 13/195*-2 + (-25012)/(-186240). Is -1 at least as big as z?
False
Let d = -0.091451 + 154.048451. Let p = d + -154. Which is greater: p or -1/4?
p
Let z be -4 - (3 + (4 - 23) - 2). Let x(l) = l - 14. Let y be x(z). Is 0 less than y?
False
Let n(r) = -r**3 + 8*r**2 - 6*r + 4. Let p be n(5). Suppose 30*x - 175 = 5. Let b be -5*x/5 - -1*55. Is b greater than or equal to p?
True
Let b be (1 + 1 + -8)*(-49)/(-147). Let y be b/((-100)/(-28) - 4). Let g be 1*-1*(-5)/1. Which is greater: y or g?
g
Let n be (1/(-1))/((-18)/(-2)) + 66 + -64. Is 3 at most as big as n?
False
Let a be 9 + (8 - 24) + 7. Let p be (-4)/20*(-4)/10. Which is greater: a or p?
p
Let t = 504 + -245. Let b be (-5 - -35)*728/84. Is b smaller than t?
False
Suppose 3*r = -12, 0*h = 2*h - 3*r - 58. Let s(q) = -3*q + 45*q**3 + 8*q + 22 - 4*q**2 - 23*q**3 - 23*q**3. Let w be s(-5). Which is smaller: h or w?
w
Suppose -4*a + 181 = -5*q, -2*a + 5*a = 5*q + 182. Let t be (-382)/(-4) + -1*5. Let m = t - 127. Is m not equal to q?
True
Suppose -394 = -x + a, -3*a = 2*x - x - 414. Suppose -11*i = -18*i - x. Is -56 > i?
True
Let h = -15004.872 + 15071. Let o = h - -0.472. Let u = 72 - o. Which is smaller: -0.1 or u?
-0.1
Let g be 3/1 - (-24)/10. Let b(u) = u**3 - 4*u**2 + 4*u - 10. Let d be b(5). Suppose -3*m - 20 = -x, 0*x + d = 2*x - 5*m. Which is greater: g or x?
g
Let u(t) = t**2 + 10*t + 4. Let f be u(-4). Let z be (-5)/2*(-264)/f. Which is smaller: z or -354/11?
z
Let n(p) = 17*p + 87. Let f be n(-5). Let d be (-1)/(f/(-4))*-16. Let s(k) = -k**3 - 6*k**2 + 2*k. Let y be s(-3). Do y and d have the same value?
False
Let i(t) = -t**2 + 27*t - 27. Let z = 79 - 53. Let p be i(z). Let l be (1/(-12))/(8/(-12) - p). Is -17 greater than or equal to l?
False
Let u(w) = -w**3 - w**2 + w + 4. Let g be u(0). Suppose -k = 5*v - 16, 11 - 19 = -2*v - 2*k. Which is bigger: g or v?
g
Let m(q) = -2*q**2 + 31*q + 21. Let u be m(-37). Let y be (-3)/(-4) - (-4074)/u. Is y bigger than -1?
True
Let a = -30 - -27.7. Let m = -53.79 + 53.87. Which is bigger: m or a?
m
Let k be ((-4)/(-8))/(8/(-32)). Let x(u) be the third derivative of u**4/4 + 11*u**3/6 - 3*u**2. Let j be x(k). Is j at most -1/2?
True
Suppose -204 = -2*b - 5*w + 1640, -4*b + 4*w = -3688. Suppose b = -10*q - 188. Which is smaller: -2/5 or q?
q
Let r = -2031 + 2864. Are r and 832 unequal?
True
Let a be 12/6*2*3. Let j be 13/(-52) + 167/a. Which is bigger: j or 13?
j
Let v = 1358 + -872. Is -3 less than v?
True
Let u be ((-2)/(8/6))/((-9)/(-48)). Are 180 and u unequal?
True
Let j = 32369 + -30881.9. Let i = j + -1487. Let g = 0.1 + 0.8. Which is bigger: g or i?
g
Suppose -2*l = -n - 3*n + 2804, 10 = -5*l. Let t be 2*(-1)/2*(-56)/n. Is -1 less than t?
True
Let s = -160 - -133. Let z = -53/2 - s. Let m = 0.47 - 0.07. Is z > m?
True
Let x(g) = 11*g - 37 + 34 + 15. Let u be x(-2). Is -2/11 equal to u?
False
Let n be (396/(-88))/((-26)/(-8)). Which is greater: n or 0?
0
Let g(q) = -912*q + 2737. Let l be g(3). Let j = 107/4 - 12297/460. Are l and j non-equal?
True
Suppose 4*v - 2 = -f, v + 4*f + 6 = 7*f. Let a = 8/277 - 2858/3047. Do v and a have the same value?
False
Let f be (-118 - -116)*2/(-232). Which is greater: f or 0?
f
Let w be 76/95*(5 - 0). Suppose -w*a - 2*y - 2 = -7*a, 2*y + 12 = -2*a. Suppose -5*l + 0*l = 10. Is a less than or equal to l?
True
Let q(a) = -2*a**2 + 87*a - 127. Let w be q(42). Which is bigger: w or -27/83?
-27/83
Let z = -684792255271/1035 - -661635088. Let q = z - 881/15. Which is bigger: 1 or q?
1
Suppose -4*t = 3*u + 74, -2*t = 3*u - 0*u + 64. Let w be 94/18 + u/81. Which is bigger: w or 32/5?
32/5
Suppose 184*i - 248*i + 93824 = 0. Which is bigger: i or 0.07?
i
Suppose 4*g - h - 25 = 0, -2*g + h + 10 = -g. Suppose r = -2*p + 97, 0 = g*r + 5*p - 300 - 180. Which is smaller: r or 96?
r
Suppose -1 = o - b - 4*b, -3*b = -5*o + 17. Let a be 13/((-390)/(-20)) - o/15. Which is smaller: -2/69 or a?
-2/69
Let n be (1 + 64/40)*12/30. Is 2 <= n?
False
Let z(j) = -153*j + 1075. Let c be z(7). Which is smaller: c or 0.134?
0.134
Let z = -2160 + 2125. Which is smaller: -477/14 or z?
z
Suppose -4*k = l + 681, 2*l + 377*k - 382*k = -1401. Which is greater: l or -694?
l
Let v = 512/73471 + -325484214/43274419. Let g = v - -144/19. Suppose i - 3 = 4*i. Which is smaller: i or g?
i
Let w = -117 + 126. Suppose -16 = 7*v + w*v. Let n = 139053/422 - 659/2. Are n and v unequal?
True
Let n = 1 + -7. Let z(g) be 