to b?
True
Let x = -3 + 6. Suppose 5*q + 4*i = 3, 1 = q - x*i - 11. Suppose -q*t + 21 = -93. Is 39 greater than or equal to t?
True
Suppose -31701 - 29333 = -52*c - 18550. Which is smaller: c or 821?
c
Let j be (-132 + 134)/(-2 - (1 - 1)). Suppose 2*t - 233 = -13. Do t and j have the same value?
False
Let c = -103.713 - -30.648. Let f = c + 0.065. Is f at most -0.2?
True
Let c be ((-5)/175*-20)/(-1 - (-26)/14). Which is bigger: 689 or c?
689
Let d be (42357680/(-5920))/((-18)/16). Let j = 6360 - d. Is -1 < j?
True
Let f(q) = q**2 - 4*q - 58. Let p be f(-18). Let u = -240 + p. Do 98 and u have different values?
False
Suppose -2*i + 434 - 146 = 0. Let h be (16/i)/(1/6)*3. Suppose -5*d = -5, q - 5*d = -2*q - 23. Which is greater: h or q?
h
Let u = -3322 + 3319. Which is greater: 4.9 or u?
4.9
Let u(o) = -18*o**3 + 18*o**2 - 6*o - 1. Let l be u(2). Which is smaller: -56 or l?
l
Suppose -836*c + 222*c + 7713068 = 0. Is 12562 at most as big as c?
True
Suppose 2*f = -0 + 2. Let s be (3904/3779072)/(0 - -1). Which is bigger: f or s?
f
Let p(v) = -1534*v + 3067*v - 1528*v - 175. Let g be p(43). Is 38 >= g?
False
Let p = -0.4942 + 0.7226. Which is smaller: -1/3 or p?
-1/3
Let b = -4.089 - -9.089. Which is smaller: b or -27?
-27
Let c = -85 - -78. Let h(z) = -2*z**2 - 13*z + 11. Let u be h(c). Suppose u*s - 126 = -118. Is 2/127 at most s?
True
Let s = 3338 - 3341. Are s and -2/2989 nonequal?
True
Let h(r) = -27*r - 224. Let t be h(6). Let n = t + 380. Is -19/4 != n?
True
Let g = 6.246 + -6.246. Is 2658 <= g?
False
Let i(h) = -146*h + 2047. Let g be i(45). Which is bigger: -4524 or g?
g
Let i = 92643 - 3149529/34. Let m = i + -22/17. Which is greater: m or 9?
9
Let n be 34/170 - (-768)/(-15). Suppose -3*o + 5 = -1. Suppose 4*q + o*v + 194 = 0, 12 = 2*v + 2*v. Is n bigger than q?
False
Let g = 46 - 49. Let b(n) = -n**2 - 6*n + 10. Let c be b(-7). Suppose k + 4*x = -9, 2*x + 3 = c*k + 2. Are k and g non-equal?
True
Let i = 28007 + -28006.972. Which is smaller: 12 or i?
i
Let l be (325/6)/(5/35*(6 - 5)). Which is smaller: l or 380?
l
Let t = -0.9611 - -5420.9611. Is -0.2 at least as big as t?
False
Suppose -4*c - 48 = -3*d, 5*c - 5*d - 1 = -61. Let i = -11 + c. Let k = -24 - i. Is -4/35 at most k?
False
Let p be (28212/(-34))/(-2) + -3. Let d be (824/10)/(18/(-90)). Let b = p + d. Which is smaller: -1/4 or b?
-1/4
Let u = -297.7 + -2.3. Let f = u - -300.03. Is f equal to 1.5?
False
Let f = 26 + -132/5. Let u = 19 - 23. Let c be u + (3*(-260)/(-135) - 2). Is f less than c?
True
Let v = -250089/17 - -14710. Which is bigger: v or 3?
3
Let f = 2738127/337 - 8125. Suppose -3789*t = -3779*t. Is t equal to f?
False
Let i = -1/6733 - 26203/4908357. Which is smaller: -1 or i?
-1
Let n(c) = -c**2 - 3*c - 11. Let p be n(-8). Let j = -45 - p. Suppose j*y = -0*y - 18. Is -3 > y?
False
Let m = 69 - 68. Let b = 64 - 830/13. Is m at least as big as b?
True
Suppose w - 4*n = 3*w + 76, -4*w - 3*n = 147. Which is greater: -37 or w?
w
Let g be (-4546)/(-14)*(-11 + 10). Let x = -322 - g. Let w = x + -67/35. Is 2 > w?
True
Let s = -0.3 + 0.1. Let q = -808 - -52. Let d = q - -755. Which is greater: d or s?
s
Let t(z) = -4*z**2 - z - 60. Let b(x) = 3*x**2 + x + 61. Let d(a) = -3*b(a) - 2*t(a). Let m be d(0). Let u = 487 + -486. Are m and u non-equal?
True
Let l(k) = -64*k - 1. Let c be l(2). Let i(m) = 2*m**3 - 2*m**2 - 17*m + 23. Let y be i(3). Let r be ((-24)/y)/(c/(-2)). Do r and 1 have the same value?
False
Let o = 6169 + -2143. Is -1 less than o?
True
Let c = -2 - -2. Let y be (12/450)/(-1*24/9). Let a = 233/3300 + y. Are a and c unequal?
True
Let p = 399 - 271. Let s = p + -133. Which is greater: 7 or s?
7
Suppose -3*l - 33 = -4*l. Let d = 215 + -211. Suppose -d*t = -4*q + 116, 3*t - 50 = -4*q + 94. Is l <= q?
True
Let p = -3005 - -3110. Which is smaller: p or 103?
103
Suppose 17*a = -14192 - 27499 - 11910. Which is greater: -5 or a?
-5
Let l = -383 - -581. Let v = l + -198.93. Let k = v - -1.03. Is -31 greater than or equal to k?
False
Suppose 2*k - 5 - 15 = 0. Let b be 28/42 - k/(-3). Suppose -4 - b = n. Is -8 smaller than n?
False
Let v = -13.23262 + -0.06738. Which is smaller: -8 or v?
v
Suppose -405*f - 37597 + 8703 = 25963 + 36268. Let v(u) = -15*u**2 - 5*u - 6. Let w be v(-4). Is f <= w?
False
Suppose -9*z - 7*z = 112. Let m be (-3)/z - 91/(-147). Let o = 8/21 - m. Is o greater than 62/5?
False
Let x = -3132.7 - -3134. Is 11 less than or equal to x?
False
Let m = 1824 - 1164. Let g = m - 845. Is -185 smaller than g?
False
Let g be 4/(-6) - ((-445289)/435 + 5). Suppose -4*l - 4417 + 345 = 0. Let n = l + g. Are 1 and n non-equal?
True
Let z(f) = -f**3 - 5*f**2 - 3*f + 5. Let p be z(-4). Let o = 451346 - 405759810/899. Let a = o + -6/29. Are a and p unequal?
True
Let w be (((-13)/117)/((-5)/(-10)))/(32/(-2)). Is 1 bigger than w?
True
Let o = -1.89 - -84.89. Let q = 14.7 - 96.9. Let u = o + q. Is u at least as big as -0.3?
True
Let j = -0.02 - 0.38. Let l be (-44)/(-24)*((-20)/(-50))/((-44)/(-20)). Which is smaller: l or j?
j
Suppose 334*k + 21 = 341*k. Suppose 13 = k*b + 10. Which is greater: b or -65/2?
b
Let v = 16360 - 17772. Which is greater: -1410 or v?
-1410
Let y = 1775/3542 + -2/1771. Which is smaller: 1640 or y?
y
Let i be (7/(-4))/(9/36). Let k(n) = 15*n + 24. Let j be k(i). Let c be (-319)/4 - (-1 - (-10)/8). Is j bigger than c?
False
Let f(h) = -h**2 - 25*h - 58. Let z(q) = -8*q - 19. Let v(x) = -2*f(x) + 7*z(x). Let c be v(6). Suppose -20*n + c*n = 1. Which is smaller: n or -3/98?
n
Let s(k) = -k + 12. Let n be s(0). Let d = n - 13. Let r be (-35)/(-96) - 10/30. Are r and d non-equal?
True
Suppose 11 = -19*r - 17*r + 83. Let x(m) = -m**3 + 6*m**2 - 4*m - 5. Let j be x(5). Suppose 0 = -2*q + s + 13, -2*s - r + j = 0. Is q > 6?
False
Let f(i) = -i**2 - 4*i - 2. Let s be f(0). Suppose l = -5*x + 2, 4*l = -4*x + 20 + 4. Suppose -l*d + 53 = -3. Which is smaller: s or d?
s
Let w = 100/67203 + 5/1026. Which is bigger: -1 or w?
w
Let f = 14109 + -14109. Which is smaller: -102.8 or f?
-102.8
Let b = 8 - -3. Let y = b + -14. Let m(t) = 3*t**2 - 3*t - 2. Let g be m(y). Is g less than 34?
False
Suppose 9 = 14*x - 21*x - 5. Let l(d) = 0*d + d + 2*d**2 + 2*d. Let v be l(x). Which is greater: 4/5 or v?
v
Suppose 12*t + 28 = 130*t - 90. Is t greater than -1083?
True
Let s be ((-798)/(-156) - 5)*2*2376. Let d = -548 + s. Suppose -5*t = -4*t. Which is smaller: t or d?
t
Suppose -4*g + 5*w - 2*w + 111 = 0, -w - 87 = -3*g. Let y be (-1)/(g/84 + 1/(-3)). Is y != -43?
True
Let m = 395 - 413. Let w be (-1 + (-13)/(-26))*(-52)/m. Which is smaller: w or 1?
w
Let p = 92 + -94. Let x be (p/(-68))/((25/10)/(-5)). Let o = 58 - 57. Is o at most as big as x?
False
Let o be 3 + (-1)/3 + (-14 - -12). Let w = -915 - -1033. Do w and o have the same value?
False
Let m = 6.785 - -0.015. Let u = m + -7. Let l = -6.4 - -16.4. Are l and u non-equal?
True
Let z = -8068 + 11418. Which is greater: z or -0.1?
z
Let u(j) = j**2 + 26*j - 24. Let a be u(-27). Suppose a*z + 10 = 19. Let m be (-5)/(1 - (-6)/(-4)). Which is greater: z or m?
m
Let d be ((-3)/97)/((-27)/18). Let q = -62 + 126. Let j = -65 + q. Which is smaller: d or j?
j
Let t be (-5)/(-3)*((-378)/(-5))/21. Is -0.5 at least as big as t?
False
Let m be 21 + (2 - (-221488)/112). Which is smaller: 2001 or m?
m
Let f be (87/(-812))/(63/56)*(-7)/2. Which is smaller: -96/35 or f?
-96/35
Let l = -1 - -2. Let c = -160514802 + 179937107023/1121. Let n = 236/19 - c. Is l smaller than n?
False
Let h = -0.16 - -16.16. Let i = h + -11. Let l = i + -5.1. Is 6 <= l?
False
Let o(x) = x**3 - 11*x**2 + 9*x + 19. Let p be o(10). Let y = 89 + -78. Which is greater: y or p?
y
Let g be (-20)/3*(1 + 6/3). Let o = 22 + g. Let z be 10/7 - (-14)/(-14). Which is smaller: o or z?
z
Suppose -2*s + 16 = 14. Suppose 0 = -b + 2*b + s. Let t = -773/5 - -154. Is b at least t?
False
Suppose -30*d - 52 + 22 = 0. Is 18/515 less than d?
False
Let p = 30233/2 - 14266. Is p < 852?
True
Let a = -12 - -12. Let z be 9 - (2/1 + 13584/1936). Which is smaller: z or a?
z
Let c = -0.08 - 5.92. Let p = c - -6.08. Let i = -118.5 + 117.5. Is p <= i?
False
Suppose 21*i = 100 - 16. Let p = 6 - 3. Suppose -i*u = -2*d - 20, p*d + u = 2*u - 5. Which is smaller: 1/50 or d?
d
Suppose 31*l - 12 =