and -1 non-equal?
True
Let u = -40.775 - -73.7. Let h = u - -0.075. Let d = 33 - h. Is d > 2/47?
False
Suppose -3*y = -6*y - 1710. Let d = -1635103 - -1634534. Which is bigger: d or y?
d
Let g = -14484 - -14944. Which is bigger: 455 or g?
g
Let g = -455 + 325. Let l = 255/2 + g. Is 0.1 > l?
True
Let z(r) be the second derivative of -r**3/3 - 47*r**2/2 + 99*r - 1. Let x be z(-24). Let i = 50.979 - 51. Which is greater: i or x?
x
Let l be 1/((-10)/(-45)*2/68). Let j = -434 - l. Do j and -586 have the same value?
False
Let r = -4462 - -4041. Which is greater: -423 or r?
r
Let j be 1/(-1)*(-11 - (-1 - 3)). Let f be (4 - j) + 7 + 32. Let w = 8 - f. Is w equal to -30?
False
Suppose 2*s = 10*s - 3448. Let k be 4*s/44 - 4/22. Which is smaller: 42 or k?
k
Let u = -285 - -285. Suppose u = 14*y + 21*y - 315. Which is bigger: y or 7?
y
Let g be (1/9)/(8/144*3). Let x = 0.06 - -0.08. Let s = -7.14 + x. Is g at least as big as s?
True
Suppose -k + 138 = 2*f, 3*k - 4 = 5*k. Suppose 9*b - f = -79. Which is greater: b or 1/5?
1/5
Let p = 511 - 96. Which is greater: p or 17?
p
Suppose 5*w + 3*m = 336, 72*w - 75*w - 3*m + 204 = 0. Let i be 12/16 + 506/8. Which is bigger: w or i?
w
Let m be ((-6)/18)/(13/(-26910)). Is m less than 691?
True
Let p be (-51 - -50)*(-1 + 4 + -2). Which is greater: p or 2/16411?
2/16411
Suppose 1707 = -8*k + 1699. Which is greater: -8/85 or k?
-8/85
Let p be (410/24)/(-11*(-2)/33). Let w = 5157/200 - p. Is w greater than -1?
True
Suppose 2*d = x + 54, -4*x - 9 = 7. Suppose 12 = -2*i - 4*p, -3*p = 4*i - 6*i + 23. Suppose -i*f + 3*f = d. Is f at least as big as -26?
True
Let w be (-4)/6 - 12/9. Let f = -661 + 106. Let j = 559 + f. Is w less than or equal to j?
True
Let j = -13.26 + 12.26. Let y = -0.5 + 2.5. Is y <= j?
False
Let l = -299 + 55. Let f = l + 244. Is -141 at least f?
False
Suppose 0*k = -m + 2*k - 18, 5*k - 75 = 5*m. Let f be (-27)/m - (9/4 - 2). Suppose -3*u + o + 29 = 3*o, -4*u + f*o + 48 = 0. Is u less than 12?
True
Let p = -144535633/355 + 407143. Let y = -2/71 - p. Let h(i) = -37*i. Let k be h(-1). Which is greater: k or y?
k
Suppose 0 = 5*n - 2*n + 6. Let b = 16 - 13. Suppose 0 = -7*q + 10*q + b. Is q >= n?
True
Let x be (-2)/(-8) - (-1634)/(-1032). Let w = 3.736 - -0.264. Is x equal to w?
False
Suppose 30*z - 27296 = -2*z. Let t = -853 + z. Which is smaller: -437 or t?
-437
Suppose 3*f - 2*z + 1434 = 0, -4*f = -4*z + 8712 - 6796. Which is smaller: f or -474?
f
Let z be (4 - 30/9)*1. Are -12 and z non-equal?
True
Let y be ((-70)/5 - -11)/((-20)/(-5)). Which is smaller: 1/62 or y?
y
Let r = -1165 + 1164. Are r and -90/157 nonequal?
True
Let c = 5289 + -5290. Which is greater: c or 2/699?
2/699
Suppose 0 = -5*j + l - 3416, 4*j + 2061 = 4*l - 659. Let g be 7*(-11)/77 + j/(-686). Is g != 0?
True
Let i be ((-890)/4)/((204/(-24))/17). Are 4018/9 and i equal?
False
Suppose 162 + 1542 = -2*y. Which is bigger: -850 or y?
-850
Let d be 16/56 - (-107942)/217*26/(-4). Is -3232 less than or equal to d?
False
Let s = 3/299 - 619/2093. Are -2305 and s non-equal?
True
Suppose -53 = -4*a - 25. Let t be -4 - ((-428)/20 - -9). Is a greater than or equal to t?
False
Let v be (42/7 - (-217)/(-35))*-1. Is 13/82 at most as big as v?
True
Suppose 5*c = -2*w - 73, -4*c - w = -9*c - 76. Let r = 18 + c. Let h be 21/(-27) - r/(-3). Which is bigger: 5/2 or h?
5/2
Let l be (2 + 0)/((-22)/781)*-1. Suppose 0 = 3*y - 62 + l. Is y >= 2?
False
Suppose 3*l - 3*p + 29 + 34 = 0, 0 = -2*l - 3*p - 22. Let d = l + 19. Let h = 78 + -76. Is h less than d?
False
Suppose -6*r = -383 + 377. Is r at most 1/4202?
False
Let w = -1013 - -708. Are -302 and w nonequal?
True
Suppose 0 = 91*u + 110144 + 42281. Is -1677 <= u?
True
Let p = -5876 + 5846. Which is greater: -32 or p?
p
Let j(w) = -3*w + 0*w + 7*w + 2*w + 161 + 3*w. Let m be j(-18). Is -15/86 < m?
False
Let s be 13 - ((-495)/(-105) + 7). Is -16.5 at most as big as s?
True
Let g = -0.7904 + -424.2096. Is 0.4 at least g?
True
Suppose 0 = -2*d - 5*o - 50, -3*d + 125*o - 127*o = 86. Do -35 and d have different values?
True
Let x = 159 + -99. Let h = x - 60.06. Let v = 16 + -16.1. Are v and h non-equal?
True
Let m = -24017.07 - -24135. Let g = -118 + m. Let x = -7 + 4. Is x equal to g?
False
Suppose 7*g = 5*g - 106. Let f = g - -109/2. Let q = -6.0292 - -0.0292. Which is smaller: f or q?
q
Suppose 2*m + 2*p = -1836, 5*m + 4*p - 788 = -5384. Which is bigger: m or -925?
m
Let g = 16466 + -16466.3. Which is smaller: g or -236?
-236
Let n = -19.9 + 134.9. Let o = n - 114.947. Let a = -0.053 + o. Which is greater: 27 or a?
27
Let z = 5884 + -4959. Which is smaller: 926 or z?
z
Let a be ((-10)/4)/(-5) - 14/(-4). Suppose d + a*s = 1, 2 = -d + s - 2*s. Let x be d*(0 + -5 + 4). Which is smaller: 7/3 or x?
7/3
Let h = -15.33 - -12.33. Suppose 3*p = -3*a, 2*a = -0*a + 2. Is p < h?
False
Let p(b) = -b**3 + 6*b**2 - 5*b. Let d be p(5). Suppose d = -2*n - 18 - 150. Let m be n/63*(-18)/(-4). Which is bigger: -8 or m?
m
Let v(l) = -l**3 - 17*l**2 + 39*l + 18. Let n be v(-19). Is -6/1483 >= n?
True
Let u be 102637/(-197)*(0 - (-1 - 0)). Let r = u + 528. Suppose 2 = -0*f - 2*f, -2*z = 4*f - 12. Which is smaller: r or z?
r
Let x = 10003 - 9988. Which is bigger: 0.145 or x?
x
Let a = -672920 + 6861765248/10197. Which is greater: a or -1?
a
Let c(r) = 9*r + 23. Suppose -21 - 59 = o. Let u = 86 + o. Let f be c(u). Which is smaller: 78 or f?
f
Let f = 10759/8 - 40361/30. Is -1 equal to f?
False
Let w = 0.7628 + 0.2372. Is w at most as big as 215?
True
Let f = 9008 - 9024. Let j(t) = -3*t - 4. Let k be j(5). Which is bigger: k or f?
f
Suppose -5*h + 0*h = -30. Let t be -4*40/(-256)*8. Which is greater: t or h?
h
Let i = -0.6869 - -0.268. Let x = i + 20.1089. Let q = x + 0.31. Which is greater: 0 or q?
q
Let c(m) = m**2 + 25*m + 32. Let b be c(-8). Let r be b/182*(-7)/2. Let t be (1 + 17)*(-1)/(-3). Which is smaller: t or r?
r
Let f(g) = -3*g**3 - 69*g**2 - 86*g - 11. Let a(w) = w**3 + 35*w**2 + 42*w + 6. Let q(r) = 5*a(r) + 2*f(r). Let l be q(38). Is l not equal to 55/7?
True
Let a = 45 + -128/3. Let z = -231 - -237. Let q be (-16)/48*z/8. Is q at most as big as a?
True
Let m(l) = 31*l**2 - l - 8. Let v be m(2). Let a = v - 111. Which is greater: 0.058 or a?
a
Suppose 9*g - 12*g + 105 = 3*o, 3*g - o - 85 = 0. Suppose -g*x - 472 = -28*x. Do x and -235 have the same value?
False
Let v = -2/7 + -3/14. Let i = 7672.06 - 7765. Let u = i - -93. Is u greater than v?
True
Let c = 15/28 + -1/28. Let r be -8 - (-4)/4 - (0 - 4). Let f(x) = -26*x - 77. Let v be f(r). Is c at most v?
True
Suppose -2325*u - 3285 = -2334*u. Is 368 bigger than u?
True
Let v(q) = -q**3 + 12*q**2 + 6*q + 92. Let n be v(13). Which is smaller: -46/139 or n?
-46/139
Suppose 6 = -4*d - 2. Let f = -4198 + 4188. Is f at least d?
False
Let j(h) = -4*h**2 - 149*h - 207. Let y be j(-36). Which is greater: y or -44?
y
Suppose k + v = -5 + 57, 5*v + 208 = 4*k. Suppose -9 + 39 = -2*w. Let m be w/40 + k/96. Which is smaller: 0 or m?
0
Suppose 2*g - 98 = 102. Suppose -g - 86 = -6*t. Let k = 33 - t. Do k and 0.1 have different values?
True
Let c = -45 - -42.3. Let z = -1772 - -1772.12. Is c less than or equal to z?
True
Let q = 2602 + -2606.6. Is q > -0.01?
False
Let d = 714.9707 + -715. Let k = 207.0293 + d. Which is smaller: 1 or k?
1
Suppose -14 = 3*l - 3*a + 19, -39 = 3*l - a. Let o(b) = -b**3 - 7*b**2 - 3*b + 14. Let m be o(-6). Let d be m/l*(-36)/(-54). Which is greater: 1 or d?
1
Let k be 0 - -238*1*(-1)/32. Let a = 61/8 + k. Which is bigger: -1 or a?
a
Suppose 10 - 2 = 2*f. Suppose -35*t + 46 = 291. Let x be (f - (-4 + 7)) + t. Is x less than -7?
False
Let v be (-13 + 7/((-84)/125946))*-2. Is v > 21017?
False
Let o = -2.93 - 0.41. Let r = 171.34 + o. Let a = 147 - r. Which is greater: a or -0.1?
-0.1
Suppose -5*r = 2*b - 15, -2*r - 5*b = -7*r - 20. Let i be r/6*4/(-1). Is -122/7 at most i?
True
Let u = -1483 + 6512/5. Which is smaller: u or -182?
-182
Let j be (-10)/40*(6 + (-6)/3). Is 4/319 <= j?
False
Let r(l) = 3*l - 3. Let q be r(3). Let c be (6/(-3) - -130)/(4/16). Let m = c + -1522/3. Which is smaller: m or q?
m
Let o = 11502 + -11684. Which is greater: -205 or o?
o
Suppose 5*i - 8*i + 1131 = 0. Suppose 23*g + i = 1803. Which is greater: 64 or g?
64
Let o = -690647/111 