-9 - 1244/(-3). Let o = l + -412. Do o and 20 have different values?
True
Let k = -360 + 367. Let i be ((-70)/(-4))/k*-18. Which is greater: i or -46?
i
Suppose 2*v = -4*b - 416, 630 = -3*v + 12*b - 15*b. Is v != -1492/7?
True
Let c = -6423 - -6423.23. Is c less than 314?
True
Let x(k) = -k**3 - 4*k**2 - 2*k - 4. Let v be x(-5). Let f be (-6)/36 - v/(-6). Suppose -5*b - 2*t - 3*t = -f, 4*b - 4 = -2*t. Which is greater: 10/47 or b?
b
Let k = -17350/19 - -81787957/89566. Which is bigger: k or -1?
k
Let t(n) = 100*n + 59. Let f be t(-3). Let w = f - -240. Which is smaller: 5 or w?
w
Let l = -2443 - -4289. Is l at least as big as 1846?
True
Let j be (0/(-8 - (-6 + 0)))/2. Which is bigger: 65/238 or j?
65/238
Suppose 34*m - 6 = 30*m + o, 0 = 3*m - 4*o - 11. Is m at least as big as -3/1174?
True
Suppose 9*s = -457 + 412. Which is smaller: s or -249/43?
-249/43
Let v = -5704 - -9566. Is v <= 3863?
True
Let t = -37538.97 + 37379. Let r = t + 159. Is r less than 2?
True
Let g = 101909/89 + -17232659/12638. Let s = g + 437/2. Which is greater: 1 or s?
1
Let y be (108/(-126))/(2/1302) + -5. Is y <= 1?
True
Suppose -3*r - 3*k = -90, 28*r = 31*r + k - 80. Suppose 27*z + 3*f + 11 = r*z, 2*z - 3*f - 7 = 0. Is -5/193 smaller than z?
False
Let o(p) = 57*p + 1920. Let q be o(-27). Which is smaller: q or 380?
380
Let s be (-105)/(-38871)*-4*(-5)/20*6. Is -1 smaller than s?
True
Let b be ((-282)/2115)/((-8)/(-9095)) + 5/(-3). Is b bigger than -154?
True
Suppose -145150 - 12535 = 61*y. Is y bigger than -2585?
False
Let t be (-130)/30*(-1 - 4). Is t at least as big as 21?
True
Let c(b) = 26*b + 12. Let a be c(-7). Let h be a/(-102) + 2/6. Suppose -u + 5 = -h*d, -3*d = -8*d - u - 16. Is -15/7 bigger than d?
True
Let g(j) = -j**2 - 178*j + 7961. Let n be g(37). Let y = -2.6 + -12.4. Which is bigger: n or y?
n
Let l be (-88)/220*((-4)/(-10) + (-6102)/5). Is l bigger than 481?
True
Let z = 430749/224 + -1923. Are -1 and z equal?
False
Let k = -19 - -12. Let u be (2 - 1) + (-6)/k. Let z = -2119 - -2122. Which is bigger: u or z?
z
Let k = -32889 - -17240. Which is smaller: k or -15650?
-15650
Let j = 7604 - 7604. Is j greater than 3/301?
False
Suppose 9*a - 707 + 149 = 0. Let q be (-568)/355 - a/(-45). Is q >= 94?
False
Let d = 11746 + -11747. Which is smaller: d or -2/4005?
d
Suppose 2*j + 0*j - 522 = 0. Let m(p) = -2*p**3 - 52*p**2 - 79*p - 465. Let b be m(-25). Which is smaller: j or b?
b
Let t = -62 - -73.54. Let u = 11.5 - t. Which is bigger: 5 or u?
5
Let p = 13 + -10. Let y be ((-4)/3 + 2)/(2/p). Let l be 14/7*(1 - y/(-2)). Do 4 and l have different values?
True
Let u(t) = t**2 - 338*t + 671. Let g be u(2). Which is smaller: -7382 or g?
-7382
Suppose 2 - 5 = -2*j - v, -5*j + 5*v = 15. Suppose -5*z - 4*o - 10 - 15 = j, 4*o = -20. Is z != 3/8?
True
Suppose -3*a + 748 = 14*a. Let w be (1/4)/((-4)/(-256)*a). Are -1 and w unequal?
True
Let r = -465 + 495. Let a = -6 + r. Which is smaller: a or 2?
2
Let o = -78 + 118. Suppose 5*g + 5*f = 7*g - 89, 4*g + 3*f = 139. Which is greater: o or g?
o
Let a be 11*((-2)/(-7) + 1312/(-574)). Suppose 0 = -4*h + 3 + 5. Suppose h*j - 3*j - 21 = 0. Is a >= j?
False
Let p be 1 + (-1842)/(44/(-8) - 2). Let b = p + -246. Which is greater: b or -0.5?
b
Suppose -17*n + 5*n - 28 = 16*n. Do n and 21/286 have different values?
True
Let c be (5151 - -1) + -10 + 1. Which is bigger: c or 1?
c
Let f be (5*-1)/(-2 - -1). Suppose 6*g - 716 = -4*j, 58*j - 53*j - 40 = 0. Suppose -216 - g = -f*u. Are 66 and u unequal?
False
Let n be 4144/3*(-51)/34 - (-27 - -28). Which is greater: -0.05 or n?
-0.05
Let b = 21.27 + -21. Let p = -1.0224 - 5.9776. Do b and p have the same value?
False
Suppose c - 4 = -3*c. Let b = -1220 - -1204. Let w be 18/(-480)*4*b/102. Which is bigger: c or w?
c
Let m be 220/(-165) - (-116)/68. Which is bigger: m or 7/2?
7/2
Suppose 2*b - 4 = -h, 2*h + 2*h = 3*b + 16. Suppose 11*d - 10*d = h*d. Suppose 5 + 3 = -4*s. Which is greater: s or d?
d
Let j = 84364 + -3121174/37. Which is smaller: j or 8?
j
Let q = -29.6 + -129.4. Let s = 158 + q. Let h = -0.023 - -22.023. Is s smaller than h?
True
Let y = 0 - 3. Let k be (98/(-20))/(1848/(-660)). Is y less than k?
True
Let j(b) = -b**2 + 2*b + 3. Let y be j(3). Let m be (-7 - -7)/(-1 - y). Let p be (0 + -3)/(-18 - 1). Is p greater than m?
True
Let l = 47338.1 + -47338. Let r be (-4)/6*6/530. Which is smaller: r or l?
r
Let w be 1 - (38 - (-5 - -43)). Let r(u) = -u**2 - 7*u - 4. Let h be r(-6). Let j be 3/h*(-78)/(-9). Which is smaller: j or w?
w
Let p = 17029 + -16997. Does 113 = p?
False
Suppose 5798 = -4*s - 2*z, 3*s + 7230 = -2*s + z. Which is smaller: 1/3 or s?
s
Let x = -6.763 + 6.39. Let y = 0.042 + x. Let j = y - 0.069. Which is smaller: 0 or j?
j
Let h be (-6)/(-33) + (675/33)/3. Let k be 24/42 + 179/h*-1. Are k and -23 equal?
False
Let u(v) = -7*v + 12. Let a be u(3). Let n = 495 + -495.8. Is n less than a?
False
Suppose -15*t - 135 = -18*t. Suppose -3*h + 27 = t. Let b be (-123)/h*7/14. Which is smaller: b or 10?
10
Let f = -24428 + 20678. Is -3752 greater than or equal to f?
False
Suppose 5*a + 4*u = 46, 2*u = a - 14 + 2. Let c be ((-126)/2436)/(1/a). Is c != -1?
True
Let l(y) = 11*y - 7. Suppose 3*d + 4*s = 8*s + 29, -4*s = -2*d + 18. Let o be l(d). Suppose -8*u + 4*u - 3*p + o = 0, 5*p + 17 = u. Is 27 >= u?
True
Let v be 692/22*38/(-4). Let l = 299 + v. Which is bigger: l or 0?
l
Let g = -1972 + 2209.2. Which is smaller: g or 1?
1
Suppose 15*s = 10*s + 3*w + 45, -3*s - 3*w = -3. Let h(g) = -25*g - 83. Let z be h(s). Is -233 smaller than z?
False
Let a be 1*-6 - -2 - (-240)/16. Suppose -271 + 73 = a*h. Let l be -2*(-1)/3*h. Which is smaller: -13 or l?
-13
Let j = -11839 - -2758483/233. Let w = -32 + 31. Is w less than or equal to j?
True
Let d(s) = s**2 - 12*s - 57. Let o be d(16). Let x = -13 + 13. Suppose x = p - 2*p + 6. Is p != o?
True
Let h = -19.821 + 19.761. Which is smaller: h or -216?
-216
Let b = -859 - 261. Let w = b + 61598/55. Suppose 0*s = 4*s. Is s equal to w?
False
Let t(l) = 3*l**2 - 4*l - 3. Let m be t(-1). Suppose 0*c + 5*n + 34 = -2*c, -4*n + 96 = -m*c. Does -15 = c?
False
Let u = 93 + -92.955. Let z = u - 7.045. Is z != -21?
True
Let h be (42 - 9) + (0 + -5 - 3). Which is smaller: 26 or h?
h
Let y = 59.97839 + 0.02161. Which is bigger: y or -70?
y
Let u be (-4 + 24/18)*-15. Which is smaller: u or 475/12?
475/12
Let z = -17027 - -23349. Which is smaller: 6321 or z?
6321
Suppose -45*w - 526 = -571. Is w greater than or equal to 5582?
False
Let l = -25340/3 + 8444. Let m be (68/18)/((-4)/3). Let p = l - m. Which is smaller: p or -3?
-3
Let c(w) = w**2 + 6*w + 3. Let k be c(-3). Let a be 2/(-3) + k/(-9). Let m be (106/(-110) - -1)*-5. Which is greater: m or a?
a
Let h be (-70)/280 + -1176 + -2. Which is bigger: h or -1177?
-1177
Let p(o) = 19*o + 107. Let v be p(-10). Let k = -261 - -183. Which is bigger: k or v?
k
Let d be 1*25/4*-24. Suppose -2977 - 152 = 21*k. Is d equal to k?
False
Let m be (-8 + 1 - -3)/(-2). Suppose -i - 60 = 4*x - x, -m*i = 3*x + 60. Let y be -1*(2 - (-38)/x). Is y != 1?
True
Let d(a) = 285*a - 2613. Let g be d(9). Which is greater: g or -11?
-11
Let u = 7/276 + 59/92. Which is smaller: 1/27 or u?
1/27
Let b be 1 + 2 + -6 + 35. Suppose -4*y + b = 20. Suppose -y*x + 3 = 2*x + 2*c, -3 = -4*x - c. Is 4/9 greater than or equal to x?
False
Suppose 20*x + 10111 = 8151. Let u(h) = -25*h + 2. Let f be u(4). Is x at most f?
True
Suppose -267 = 5*b - 292. Suppose -b*v - 4*y + 342 = -209, -5*v + 519 = -4*y. Do v and 107 have the same value?
True
Let z = -68 + 68. Let l = -2.97 + -152.03. Let m = l - -231. Which is smaller: m or z?
z
Let t = -51 + 97. Let q = 52 - t. Suppose 0 = 7*b - q*b + 2. Which is greater: -8 or b?
b
Let q(l) = 3*l**3 - l**2 - 4*l - 5. Let o be q(-2). Let n be (2 - (-18)/(-3)) + -20 + -4. Which is greater: n or o?
o
Let y be -1 - (13/(-39) + (-1036)/(-66)). Let c = -892/33 - y. Do c and -11 have the same value?
False
Let v(g) be the second derivative of -g**4/3 - g**3 + 11*g**2/2 - 179*g. Let t be v(3). Which is bigger: t or -47?
t
Let v be ((-9)/(-2))/((-345)/(-92))*(-40)/16. Is v < 718?
True
Suppose -1857 = 3*b - 2*i, -101*i + 98*i = 3*b + 1827. Which is bigger: b or -6750/11?
-6750/11
Let q be 4*((-90)/12 + 8). Let h(k) =