-1))/(34/(-19686)). Which is smaller: q or 581?
q
Let s = -1638 + 1899. Which is smaller: s or 266?
s
Suppose 2*t + 37 = -183 + 1128. Which is smaller: 1817/4 or t?
t
Suppose -394 = 2*i + 5*g, 4*i + 216 + 584 = -4*g. Are i and -201 unequal?
True
Let k be (72/15)/3 - (-81679)/(-15965). Which is greater: -3 or k?
-3
Let r(b) = 50*b**2 - 2*b. Let t be r(-2). Let g(q) = 1356*q + 28679. Let j be g(-21). Which is greater: t or j?
t
Suppose -3*b + 3*w + 21 = 0, -2*b - 2*w + 12 = -3*w. Let j(a) = -a**2 - 3*a + 159. Let l be j(11). Let r = b + l. Do r and 9 have the same value?
False
Let i be (9/12)/((-36)/96). Let b = 33 - 27. Suppose 7*l - 1 = b. Which is smaller: l or i?
i
Suppose -95 = -5*h + 5*t, -49 + 64 = 5*t. Is h at most as big as 31?
True
Let a(k) = 134*k + 20. Let w be a(-3). Let g be (-5)/w*40/(-50). Is g at most -1?
False
Suppose -3*v + 70*v = -58*v - 6625. Is v at most -161/3?
False
Suppose -38*b + 5 = 5*a - 42*b, 5*a + 4*b - 5 = 0. Which is smaller: 3/1778 or a?
3/1778
Suppose -5*j + 13*w = 9*w - 22, 5*j - 3*w = 19. Which is bigger: 17/175 or j?
j
Let m = 44149261939/54331 - 812598. Are m and -1 equal?
False
Let r = 24762/109523 + -1/3533. Which is bigger: 1 or r?
1
Let c be 29/((-5800)/11580) - 1/10. Are -40 and c equal?
False
Let m = 21/235 + 137/19505. Is m < -1?
False
Suppose 2*r = -2*r + 84. Let z = -5/4459 + 8943/22295. Which is greater: z or r?
r
Let f = -69.7 - 15.3. Let u = f - -86.2. Is 2 greater than or equal to u?
True
Let p be -2*-3*(-4)/(-8). Suppose 5*y + p*h = 183, -4*h = -2*h + 8. Let o be -5 - (-189)/y - 809/65. Is o at least -13?
True
Suppose 4*r + 97 = 4*j - 47, 16 = -4*r. Suppose j = 41*q - 45*q. Is -6 not equal to q?
True
Let d(x) = 108 + 26*x + 3 - 18*x. Let w be d(-14). Is 25 at least as big as w?
True
Let p be (22/(-99))/(6/27) - (-78 - -2). Let c be 4/10 - 413/(-5). Let a = p - c. Is -10 smaller than a?
True
Let i = 1727/3 + -566. Suppose -501*s = -505*s + 2888. Let j = s - 712. Is j greater than i?
True
Let f = 4227 - 4252. Is f <= -99/4?
True
Let k be (-6974)/(-18) + 40/(-36). Let l = k + -387. Let s = -0.23 + -41.77. Which is smaller: l or s?
s
Let n = 6115/9958 - -1/766. Is n at most as big as 1?
True
Let h be (14/4)/((-99)/18 + 6) - 6. Does -4/469 = h?
False
Let w be (0/(-15)*(24/(-18))/(-4))/(-1). Is -2/41241 at least as big as w?
False
Let t = 708 - 709. Which is bigger: t or -4/275?
-4/275
Let g be (-6 + (-531)/(-90))/((-19)/(-23826)). Is -125 < g?
False
Let n(c) = 10*c - 61. Let d be n(6). Let v = 789 - 755075/957. Which is smaller: d or v?
d
Let m = -5496 - -5498.23. Do 0.6 and m have the same value?
False
Let o = -2947 + 475. Let t = o + 514175/208. Is 0 at least as big as t?
True
Let n = -1908953651/11315 - -168710. Is n < 0?
True
Let g(j) = j**3 + 11*j**2 - 3*j - 38. Let y be g(-11). Let s = -69.9 + 71. Which is greater: y or s?
s
Let p be (-249)/(-156)*1 + 0. Let i = -24/13 + p. Suppose m = -45*m - 14*m. Which is smaller: m or i?
i
Let i be (3/6)/((15/20)/3). Which is greater: -574 or i?
i
Suppose -3*m = -12*m + 162. Let l be -24 + m - (-1900)/317. Is l > -1?
True
Let r be (-4 + 13 + 11)*2*4. Let c = r - 313. Which is bigger: c or -154?
c
Suppose 40*c - 52*c = 1428. Let p be (-7)/5*(-256)/3. Let i = p + c. Is 0 less than i?
True
Let d = -562 - -596. Let i be ((-58)/4)/(d/1292). Is i greater than or equal to -552?
True
Let h(y) = -y**3 - 17*y**2 + 39*y - 11. Let q be h(-19). Let d be 466/12 + (-5)/q. Is d greater than 1?
True
Let d = 3304615/151 - 21885. Which is smaller: d or 0?
d
Let k(x) = 70*x**2 - x - 4. Let o be k(-3). Let q = -20359931/2279 + 440151/53. Let t = o + q. Is 1 equal to t?
False
Suppose 3*s - u - 3*u - 29 = 0, -2*s + 46 = -8*u. Let f be ((-126)/(-567))/((-2)/s). Are -3/19 and f unequal?
True
Let n be -2 + ((-2091)/(-15) - -1). Let w = -1046 - -908. Let j = w + n. Which is greater: j or 8?
8
Let f(i) = -i**2 - 10*i + 2. Let t be f(-10). Let d be (-48)/(-64)*(8/6 - t). Which is smaller: -1/71 or d?
d
Let t = 358 - 347. Which is smaller: -113 or t?
-113
Let d = -1007 - -1006.393. Let k = -278.393 + d. Which is smaller: k or 1?
k
Suppose -6 = -a + 4*t, a - 1 = 3*t + 3. Let h be a/10*-22 - 44/110. Suppose -r - h*v + 3 = -5, v + 117 = 4*r. Which is bigger: r or 85/3?
85/3
Let q(m) = -281*m - 382. Let n be q(-2). Which is bigger: n or 185?
185
Let y(v) = -9*v**3 - 288*v**2 - 9*v + 45. Let h be y(-32). Which is greater: 331 or h?
h
Suppose -26*h + 2300 = -h. Let g = -110 - -203. Which is greater: g or h?
g
Suppose -8*l = 11*l + 7*l - 13182. Which is bigger: -2/3 or l?
l
Let j = -13584 + 33375. Are 19791 and j unequal?
False
Suppose 4*g + 3*f = 44, 4*f - 22 = -2*g + 7*f. Let d = 10 + -14. Let y(r) = r**2 + r - 5. Let w be y(d). Which is greater: g or w?
g
Suppose 99*s - 132 = -3500 + 2. Suppose -3*j = 2*j + 165. Which is greater: j or s?
j
Let j be (-2615)/(-4) - (-5)/20. Let x = -1650 - -1645. Let c be (3/x)/(j/90 - 8). Which is bigger: c or 0?
c
Let k(u) = u**3 + 10*u**2 + u - 8. Let z be k(-9). Let j = z + -60. Suppose 3*o + 5 = -y - 2, 3*o + 32 = j*y. Which is greater: o or 0.1?
0.1
Let m be 214/(-896) - 4/(-14). Suppose 5*p - x = 8, -6*p + x + 1 = -8*p. Is p at least as big as m?
True
Let c = -1.3503 + 1.2103. Is c at most as big as -69?
False
Let m = 114 + -229. Which is smaller: 0.11 or m?
m
Let t = 37 - 36.87. Let d = -0.097 + t. Let h = 48 - 47. Which is greater: d or h?
h
Let u = -303.589 - 8.411. Is 2/5 smaller than u?
False
Let c(f) = -6*f - 28. Let a be c(-7). Suppose 4*v - a*v = 430. Are v and -45 unequal?
True
Let u(c) = -2*c**2 - 2. Let f be u(-2). Let n be 2/5 - (-4)/f. Suppose -2*v + v = -y, 5*v + y + 24 = 0. Which is greater: n or v?
n
Let o(x) = -x + 155. Suppose 4*b - 5*s = -69, s = -2*b + 5 - 22. Let z be o(b). Is z bigger than 166?
False
Let p = 18.4 - 18.59. Is -50 greater than p?
False
Suppose v + 3*v = 20. Suppose -v*x = -2*x - 30. Let t be 8/(-5) + 1 + (-4)/x. Is t at most -1?
True
Let g be 24/(3 + 0) - (-11 - -11). Let r be (-2*6/48)/(58/g). Which is greater: r or 0?
0
Let s be (40/(-15) + 1)*-3. Suppose 0 = -17*w + 26*w - 27. Which is bigger: s or w?
s
Let t = -11 - -63. Let m = 311 + -109. Suppose t = -5*u + m. Which is greater: u or 1?
u
Let m = -3838 + 3803. Do 12 and m have different values?
True
Let n be (-14)/((-31842)/(-2448) + -13). Is n != -1905?
True
Let c = -3815 + 4365. Which is smaller: 1 or c?
1
Let l = -637 + 735.2. Let p = -98 + l. Let d = -15 - 16. Which is greater: d or p?
p
Suppose 0 = 29*l + 19*l - 41*l + 22288. Is -3184 bigger than l?
False
Let m = 319 - 163. Let v be -1 + ((-4)/3)/(-2)*m. Let w = -132 + v. Is 2 bigger than w?
True
Let x(c) = c**3 + c**2 - 131*c - 8. Let h be x(14). Are h and 1098 nonequal?
False
Let x = -8497 + 8504. Let v(f) = -f**2 - 5*f - 1. Let c be v(-5). Do c and x have the same value?
False
Let m(f) = 5*f**2 - 139*f - 28. Let z be m(28). Let p = -172719/146 + 1183. Which is bigger: z or p?
z
Let f = -40679 + 40771. Let m = -7 - -7.1. Is m at most as big as f?
True
Let b = 8.99 + -42.99. Let r = 34.018 + b. Do r and -0.07 have different values?
True
Let x be 0*((-4)/(-4))/(-1) - 3. Let w be ((-3429)/36)/(x/8). Is w > 254?
False
Let c = 4553 - 4553.05. Let m be (-502)/1*12/(-51). Let h = m - 118. Which is smaller: c or h?
c
Let t = -162.7 + 186.5. Suppose -4*h + 2*h - 20 = 5*b, 0 = 3*h - b - 4. Which is greater: t or h?
t
Let v be 0*((-363)/(-66) - (0 - -5)). Do v and 14/99 have the same value?
False
Let r be (1 + (-7)/((-21)/4))/((-3)/(-9)). Which is smaller: r or 153/19?
r
Let q = 6 + -7. Suppose 6*c = 10*c - 260. Suppose -8*d + 3*d = -c. Is d < q?
False
Let b = -35352 + 98086/3. Is -2658 less than or equal to b?
True
Suppose 5*o - 8 = -5*z + 12, -4*z = 0. Suppose 4*q = -o*u + 20, 0*u - u + 5 = 4*q. Suppose 0 = 2*k - q*k + 3*k. Which is greater: k or 2/49?
2/49
Suppose -8*q = -3*q - 35. Suppose q*d - 13 - 15 = 0. Suppose 0 = 3*g - 2*i - 64, d*i = -25 + 5. Is -0.1 smaller than g?
True
Let x = 309 - -130. Which is smaller: x or 442?
x
Suppose 9*f - 559 = -4*f. Suppose 4*v + 5*o = 15 - 2, 4*v - 5*o = f. Suppose v*b - b = 180. Which is smaller: 32 or b?
b
Let b be 9/54*24 - (-1630)/1. Is b equal to 1637?
False
Let h = 2688503/1250 + -10754/5. Which is greater: h or -1?
h
Let w(m) be the first derivative of -m**4/4 