 r and t have the same value?
False
Let i = -9702 - -9702.02. Is -5.03 equal to i?
False
Let z(b) = -2*b**2 + 18*b + 54. Let d be z(6). Is d at most 92?
True
Suppose 50*a - 49*a + 174 = -2*i, 5*a - 465 = 5*i. Which is bigger: i or -81?
-81
Let r = -125 - -116. Let m(o) = -7*o - 10. Let a be m(0). Is r at least as big as a?
True
Let y = -19.18 - -99.08. Let r = y - 81. Let f = r - -1.3. Which is smaller: -0.09 or f?
-0.09
Suppose 5*b + n = 16, -5*b + 20 = 8*n - 3*n. Suppose 3*k - 9 = -b*c, 4*c - 12 = c. Which is greater: 1/13 or k?
1/13
Let b = -679.4 + 679.5. Is b smaller than 1339/5?
True
Let h(p) be the third derivative of -23*p**4/24 + 7*p**3/3 - 57*p**2. Let c be h(0). Which is smaller: 15 or c?
c
Let i be 6*(-1 - 0)*28696/(-272). Are 0 and i equal?
False
Suppose -61934 = 19*p - 6*p - 21088. Is -3143 <= p?
True
Let c(k) = k**3 + 10*k**2 - 27*k - 29. Let n be c(-12). Suppose -n*h + 29 = 8. Which is greater: 26/17 or h?
h
Let b(d) = d + 8. Suppose -a - 2*s = 3*s + 27, 2*s + 8 = 0. Let o be b(a). Let t = 173598 + -2256776/13. Which is smaller: t or o?
t
Let h = -15658 + 15658.2. Which is greater: h or -126?
h
Suppose 3*b + 3648 - 3642 = 3*o, 4*o - 4 = 2*b. Which is smaller: 19/732 or o?
o
Let j = 8.78 + -8.68. Which is smaller: -49/13 or j?
-49/13
Let m = -1679 + 1134. Let i be 8/((-40)/m)*-1. Is -110 != i?
True
Suppose -3*u + 5*q - 14 = -42, -5 = q. Is 4/7837 <= u?
True
Suppose -6*g - 222 + 4602 = 0. Let j be 4/5*g/803. Suppose 3*o = 5*s + 8, 0 = 5*o + s - 0 - 4. Is o smaller than j?
False
Let k(b) = -b + 2. Let g(c) = 14*c + 117. Let y(l) = g(l) - 2*k(l). Let m be y(-13). Are -92 and m non-equal?
True
Let r = -1/6947 + 4932381/76417. Is r smaller than 66?
True
Let t = 31 - 216/7. Let d be 6 + 128/(-72) + (-4)/18. Suppose x = -d*x - x. Which is greater: t or x?
t
Suppose 187*a + 1655 = 4046 + 2471. Is -167 greater than or equal to a?
False
Suppose 5*c = -4*v + 2377 - 191, -880 = -2*c - 3*v. Let w = 432 - c. Is w at least 66?
False
Let s(n) = -223*n - 2243. Let c be s(-10). Let h = -2.04 - -2. Which is greater: c or h?
h
Let a be (5/(225/(-123507)))/((-6)/(-15)). Which is greater: a or -6862?
a
Let y = -220554/41 + 5380. Are y and 2 equal?
False
Let x be (-1)/4 - 15/4. Let o = 292 - 279. Let g = o + -19. Which is bigger: x or g?
x
Let i = -527 + 612. Let y = i - 52. Is y <= 6?
False
Let p(u) = -4*u + 34. Let q be p(8). Let k be -3*2/12*(q + 2). Which is greater: -11/5 or k?
k
Let c be 0/(2/(-2)) + -5 + (-39955)/(-7990). Is -1 not equal to c?
True
Suppose 35*u = 674 + 831. Suppose 3*q - 138 = -3*g, q + 62 = g + 18. Which is smaller: g or u?
u
Let h = -25 + 46. Let w = -21 + h. Let j be w - (-4 + 4)/(-4). Which is smaller: j or -2/7?
-2/7
Let s = 99 + -93. Let j be ((-9)/s + 5 + -3)/(-1). Let m(l) = -2*l**3 - 2*l**2 + 3*l - 1. Let t be m(1). Is j < t?
False
Suppose 0 = 742*j - 748*j. Suppose 478 = -2*d + 5*b, b + j*b - 1172 = 5*d. Which is greater: -233 or d?
-233
Let t = -21206 - -21205. Let y = -1034090/141 - -7334. Let f = -544/705 - y. Which is bigger: t or f?
f
Let f be (274/92 - 3)*-6*(-38)/(-19). Is -11 >= f?
False
Let o = 190 - 197. Let r = o + 60. Is r less than or equal to 53?
True
Let v = -2703 + 35125/13. Is -2/11 != v?
True
Let m = -58 - -84. Let i = m + -19. Which is smaller: i or 6?
6
Suppose -43 = -z - 7. Let p = 45033 - 44986. Which is greater: z or p?
p
Let l be -4 + (9 - 4)*1. Let m be 4/(-12) + l/(-6). Does -4 = m?
False
Let q(h) be the third derivative of -h**4/24 - 8*h**3/3 - 2*h**2 + 217. Suppose 77 = -4*o + t, -3*o - 5 = 3*t + 34. Let u be q(o). Which is smaller: -0.2 or u?
-0.2
Let d = 2778 + -2780. Does -0.638 = d?
False
Let y(c) = -16*c - 3. Let h be y(-4). Let o be 2/4 + 2829/46. Let k = h - o. Which is smaller: -2/61 or k?
k
Let z be ((-4)/(-10))/((-9)/(-90)). Suppose 5*u = z*v + 77, u + 0*u + 2 = -5*v. Suppose 16*q + 18 = u*q. Which is bigger: -7 or q?
q
Let p = -761 + 1321. Suppose 56*x - p = 28*x. Is x greater than -6?
True
Suppose -209*w = -204*w - b - 665, 3*w - 2*b - 392 = 0. Is w >= 134?
True
Let o = 188 - 187.928. Let k = o + -0.072. Which is greater: k or -6/37?
k
Let u(d) = 6*d**2 - 7*d - 6. Let p be u(-6). Let r be 2/(-9) + (-16)/p. Let q = 0.204 - 15.204. Which is smaller: r or q?
q
Let d = -3.9075 - 0.0925. Is d equal to -36?
False
Let p = 585441/228767 + -197/77. Which is smaller: p or 0.2?
p
Let h be 3*-1*(50 + -51). Suppose 0 = 2*a - 0*a. Suppose -3*t + 12 + 0 = a. Is h less than t?
True
Let d(q) = -6*q + 1212. Let l be d(-25). Which is smaller: l or 1363?
l
Suppose -11*f + 2*t - 483 = -6*f, -4*f = -3*t + 385. Which is smaller: -83 or f?
f
Let i be 134093583815/(-7650) - (-1)/5*-2. Let v = i + 17528557. Let j = 8/153 - v. Which is smaller: 18 or j?
j
Let g(u) = u**2 + 8*u - 32. Let t be g(16). Let j = -353 + t. Suppose -m - 114 = 2*f, 2*f + 4*m + 130 = -m. Do f and j have different values?
True
Let o = -20734/71 - -292. Let z = 27 + -21. Let v be 6/(-9) + (-2)/z. Is o bigger than v?
True
Let n = -111 - 11. Let v = n - -120. Let i = -3.87 - -4. Is v greater than i?
False
Let b be (38056/9516 - 4)*(-147)/(-196). Is -1 < b?
True
Let f be (-1 - (-8)/14) + 0. Let y = 2.4585 + 0.6605. Let v = -0.119 + y. Are v and f nonequal?
True
Let i be (21 + -3)*(-16 + 495/189). Which is greater: i or -241?
i
Suppose 241 = 5*s + 136. Suppose -2*x = 2*g + 6, g = 3*x - 12 + s. Let o be ((-2)/6)/(123/18). Which is smaller: g or o?
o
Let j be 133/399*(-1641)/(-1). Which is smaller: j or 548?
j
Suppose 12*x = -1473 - 331 + 208. Let i be (-1 + 6/(-8))*76. Is i equal to x?
True
Let n be (4340/(-240) + 18)/((-2)/(-6)). Let i = -10.4 - 33.6. Is i less than n?
True
Suppose -42672 = -37*l - 5*l. Which is smaller: 2/3 or l?
2/3
Let f(y) = -7*y**2 - 2*y - 9. Let x be 3/(-6) - (-18)/(-4). Let g be f(x). Does -173 = g?
False
Let i = -29 - -37. Let j be (-6251)/(-470) - (-3)/(-10). Is j at most as big as i?
False
Let o = -78/361 - 49/1444. Which is smaller: o or 15823?
o
Let p be 1/(-4) + (-330)/(-40). Suppose -8*b + 3*b = 2*m - 28, -2*m = 4*b - 24. Is p less than b?
False
Let x = 5366 - 5361. Which is smaller: x or -77?
-77
Suppose -p - 85 = z, 3*p + 167 = 2*z + 287. Let l = -130 - -57. Is z bigger than l?
False
Let m = 13038 + -13177. Is m > -141?
True
Let u be (-56315)/4335 - (-13)/1. Which is bigger: -1 or u?
u
Let p be (-2)/8 + (-70140)/(-280400). Are 1 and p unequal?
True
Suppose -286*r = -276*r - 70. Let j(d) = -4*d**2 + 1. Let y be j(0). Which is smaller: y or r?
y
Let u(m) = -2*m**2 - 15*m - 23. Let r be u(-7). Let j(c) = c**2 + 11*c - 81. Let f be j(r). Which is greater: f or 3/170?
3/170
Let p be ((-72)/(-90))/((-16)/(-20)). Let m = -6 - 20. Is m less than p?
True
Let j be (20 - (-4137)/(-210)) + (-31)/220. Which is bigger: j or 1?
1
Let j be (-5)/((-20)/16) - 1152810/(-135). Is 8544 bigger than j?
True
Let y = -12/13 + 35/52. Let n = -3201 - -3192.1. Is n at least as big as y?
False
Suppose 14*k - 2100 = -21*k. Suppose -22*b = -10*b - k. Which is smaller: b or 22?
b
Suppose 35*y + 212*y + 1052733 = 28*y. Is 0 < y?
False
Let v = 13 + -4. Let t be (-4380)/(-146)*(-2)/(-4). Is v < t?
True
Let u = -362 - -355. Let s(x) = -10*x + 51. Let i be s(u). Which is bigger: i or 119?
i
Suppose w + 44 = -5*g, -9*g + 12*g - 6 = 0. Is -588/11 != w?
True
Let h = -784585 - -2332667/3. Which is smaller: h or -7028?
h
Let f = 42509/1882750 - 17/750. Is f equal to 1?
False
Let z = 7841 + -7609. Is z bigger than 0.08?
True
Let t = -3 - -2. Let g be (-6)/(6*6/(-120)). Suppose 6*c - 8*c = -g. Which is greater: c or t?
c
Let r = 461 + -368. Let g(l) = l**3 + 9*l**2 - l - 2. Let p be g(-5). Let k = r - p. Which is smaller: k or -11?
-11
Suppose -7*w + 125 = 34. Suppose -5*g = -0*t + t - w, -g + 4*t = -11. Let k be -1*g*8/72. Is -1 smaller than k?
True
Let s = -2509.13 - -2615.9. Let l = s + 1.23. Is l >= 1/2?
True
Let w(l) = -2*l + 1. Let r be w(-4). Suppose -r = -2*i - 7. Let n be ((-232)/(-18444))/((-4)/(-6)). Which is greater: n or i?
i
Let f = 1476 + -1129. Is f equal to 345?
False
Let q = 12 + -12. Let g = 5199/5 + -1035. Is q smaller than g?
True
Let y be -1*(-15)/(-10) - (-379)/(-2). Let r = 245 + y. Are r and 55 nonequal?
True
Let i = -2945 + 2944. Is -14/103 bigger than i?
True
Let r be (22/(-10) - -1)/(24/(-1740)). Let z = r + 15. Whi