- -35.5. Which is smaller: a or -1?
a
Suppose -16*z + 220 + 52 = 0. Let g = -16 + z. Let p be (12/(-14))/(45/(-6)). Is g at least p?
True
Let x = 0.08 + -0.4. Let n = x + 0.32. Let j = 133 - 132.956. Which is smaller: j or n?
n
Suppose 3*p + 2*x = 5*x - 327, -4*x - 545 = 5*p. Let j be (-8 + 30)*(-3*1)/(-6). Let d = -97 - j. Which is bigger: p or d?
d
Let b = -0.1984 - -86.8984. Is -4 bigger than b?
False
Suppose 5 = -4*d - 2*j - 1, 0 = d - j - 6. Let s = 277 + -355. Let a be (-2)/(-56)*(-48)/s. Is a != d?
True
Let j = 16672 + -28805. Which is greater: -12134 or j?
j
Let t = -46 + 46.086. Let f = -789 + 789.086. Let m = t - f. Is m less than 0.5?
True
Let p be (-115)/138 + 14/(-12). Which is smaller: 646 or p?
p
Let a(v) = 166*v + 1098. Let w be a(-5). Is 269 at most w?
False
Let b = 2456 - 2433. Is b <= 22?
False
Let i = 4160 - 440953/106. Which is greater: i or 0?
i
Let t = 6 - 2. Let v = t + 6. Let r(o) = 2*o - 3. Let c be r(6). Is c bigger than v?
False
Suppose 97*b = 139*b - 84*b + 924. Which is bigger: 61 or b?
61
Suppose 644 + 405 = 4*l + v, -v = 3*l - 787. Is 266 bigger than l?
True
Suppose -3*j - 4*w + 0 = -3, 0 = -5*j + 3*w - 24. Let q = j + 5. Let z = 354 + -2493/7. Which is smaller: q or z?
z
Let w(g) = g**2 + 4*g - 12. Let b be w(-12). Let h be 2/3*b/(-14). Let c be h/10 + 8/5*-1. Which is bigger: -11/10 or c?
-11/10
Let l be 390/(-234)*(12/(-54) - 122/180). Let h = -12 + 5. Let j = h + 10. Which is bigger: j or l?
j
Suppose 536*n - 2393087 = 547409. Which is smaller: 1/2 or n?
1/2
Suppose w = -3*w + 8. Suppose s + 46 = -2*i + w*s, -3*i - 63 = -3*s. Let j = i - -23. Are j and -2 unequal?
False
Let u be 1041/9 - 9 - 2/3. Suppose -7*w - u + 113 = 0. Is w != -18/97?
True
Let d = 797.2147 - 0.2147. Is d equal to 0.3?
False
Let g(x) = -7*x**2 - 2*x - 1. Let o be g(-1). Let r be 16/(-12) + (-14)/o. Let q be (16 - (-970)/(-70)) + 2/14. Are q and r equal?
False
Let q be 12/8*32/2. Suppose 4*f - q = -4, -2*k - 4*f = -22. Is k less than or equal to 2/443?
False
Let i = -1.19 + 0.19. Suppose -3*t + 13 = -11. Let d be 315/(-42)*(t/102)/(-2). Is i not equal to d?
True
Let r be (9/(-13284))/(751/(-6619886)) - 6. Let a = r - -22/751. Is -1 greater than or equal to a?
False
Let v = 9717.767 + -9710. Let m = 7.8 - v. Let q = m - 2.033. Is q smaller than -8?
False
Suppose 88*u - 10 = 60*u + 18. Which is smaller: u or 34/645?
34/645
Let g = -125253/208061828 - 6/50063. Do g and 0 have the same value?
False
Let k(n) = 169*n - 4543. Let p be k(33). Is p smaller than 1035?
True
Let c = 9484 - 9485. Which is bigger: 4/4837 or c?
4/4837
Let x be 6 + ((-225)/(-81) - 3). Let u(v) = -2*v**3 + 11*v**2 - 7*v + 15. Let h be u(5). Which is bigger: h or x?
x
Let s = -38 - -24. Suppose 5*r - 4*u = 52, -3 = -4*u + 5. Suppose r = -32*k + 31*k. Is s greater than k?
False
Let l = 109 - 49. Let h = -59 + l. Is h <= -10?
False
Let g = -183.876 - -1.876. Let p = 3.55 - 0.55. Are p and g unequal?
True
Let x(r) = 4 + 7*r**3 - 39*r**2 + 26*r - 21*r + 33*r**2. Let p be x(2). Is p < 43?
False
Suppose t - 566 + 6334 = 2*m, 4*m = -4*t - 23060. Which is bigger: 0 or t?
0
Let m = 360.881 - -27.919. Is m bigger than 2?
True
Suppose -17*q = -19*q + 2*t - 414, 0 = -5*t - 15. Let o be q/(-36)*(-6)/20 - -2. Suppose 3*g + 2*v = 4*g - 13, -29 = -2*g + v. Which is greater: g or o?
g
Let s = 10368 - 9387. Which is smaller: 2945/3 or s?
s
Let z be (-252)/(-27)*144/14. Let d be (0 - 0)*11/(-66). Suppose d = -3*m + z - 18. Which is smaller: m or 25?
25
Let s be -2 + (84 - -4) + 4. Suppose 2*x = 2*k + s, x - 37 = 2*k + 56. Let j = 56 + k. Is 5 at most as big as j?
True
Let r be (0 + -5)/((-6)/8*304/24). Suppose 0 = 3*n - 0 - 9, -5*s + 25 = 5*n. Suppose -s*l + 2 = -2. Are l and r non-equal?
True
Let f be (-2)/(8/20)*(2/(-10))/(17158/(-92)). Let c be (5/(-2) + 2)*2. Is c > f?
False
Let o(y) = -6*y**2 + 39*y + 233. Let w be o(12). Which is smaller: 12 or w?
w
Suppose 15*p = 16*p + 4*b + 19854, -2*b - 39678 = 2*p. Are -19835 and p non-equal?
True
Let s = 44 - 66. Suppose 650 = -26*k - 12*k + 12*k. Is s >= k?
True
Let n(o) be the second derivative of o**5/20 - 3*o**4/2 + 17*o**3/6 + 6*o**2 - 1173*o. Let g = 12 - -5. Let m be n(g). Is m > 9?
True
Suppose -112*q + 103*q + 621 = 0. Let a be (q - 0)*((-112)/(-180))/(-14). Are -3 and a non-equal?
True
Let m(p) be the third derivative of p**6/36 - 7*p**5/60 - 5*p**4/8 - 36*p**2. Let a(n) be the second derivative of m(n). Let o be a(4). Is 65 >= o?
False
Let s be (-1)/(15/50*-1)*-3. Let x be ((126/(-15))/3)/(24/s). Is x smaller than 2?
True
Let i(d) be the first derivative of d**3/3 + 3*d**2/2 - 148*d - 111. Let q be i(-13). Is q <= -10?
True
Suppose 5*h - 3*p - 22 = 0, 20 = -8*h + 10*h - 4*p. Which is greater: 61 or h?
61
Suppose -3*w + 6*w + 2954 = -14710. Which is greater: -5889 or w?
w
Let o = -6559/18 + 737/2. Let u = 3036104/824733 - -16/13091. Let m = u - o. Which is smaller: m or -1?
-1
Let x = 593 - 576. Suppose x*o + 0 - 17 = 0. Which is smaller: o or -0.52?
-0.52
Let u(w) = -5*w - 15. Let s be u(-9). Suppose -160 = s*c - 22*c. Which is greater: -23 or c?
c
Suppose a - 237 = -2*a. Suppose -328*s + 10 = -317*s - 848. Is a less than s?
False
Let b be (2/24)/(618/54). Let s = b + 1221/2060. Which is smaller: s or 1?
s
Let h be (2/(-1))/((-15)/90). Let q be 18/(-336)*4*(-14)/h. Is -53 less than or equal to q?
True
Suppose 13709 - 13687 = -2*m, m = 5*q - 1. Let l be (4/(-10))/(9/60). Do l and q have different values?
True
Let w = -30595/24 - -1275. Let o(l) = l + 3. Let m be o(2). Suppose -4*r - m = -2*z + 1, 0 = -5*r + 3*z - 10. Does w = r?
False
Let l be ((-36)/5)/((-75)/(-250)). Suppose 109 + 16 = -5*m. Which is bigger: m or l?
l
Let t = 1102 + -892. Let s = 213 - t. Which is greater: -50 or s?
s
Suppose -13267*s - 887 = -13287*s - 4707. Which is greater: s or -194?
s
Let h be -58*(12/3*1 - (-414)/92). Are h and -494 non-equal?
True
Let c = 588 - 584. Let y(l) = 8*l - 2. Let p be y(-2). Which is greater: p or c?
c
Let b(q) = -2*q**2 + 111*q - 1013. Let r be b(44). Is r bigger than 2/3289?
False
Let n be 280/(-12)*(22/(-4) - -4). Let u be ((-42)/n)/((-74)/(-122215)). Let o = -1982 - u. Is o less than or equal to 0?
True
Let i = -434 + 446. Suppose -344 = -9*x + 10*x + 4*z, -i = -4*z. Are x and -356 nonequal?
False
Let s = 391.15 - 391.1754. Which is greater: s or -33?
s
Suppose -2*y = -n - 4901, -5*n - 16011 = -3*y + 8508. Is n smaller than -4906?
False
Suppose -271*q - 2790 = -274*q. Suppose -62*b + 47*b = q. Is -56 >= b?
True
Let w be (-2142)/72 - 18/(-72). Is -92 greater than w?
False
Let o = -0.0357 - -4.9757. Let s = o - 0.44. Let b = s + -7.5. Is b bigger than -0.01?
False
Let j(b) = 41*b + 2*b - 10 + b**3 - 20*b**2 - 6*b. Let m be j(18). Let u be 1/((-1)/(3 - 5)). Is u greater than m?
False
Suppose -9*c + v = -5*c - 41, -5*v = -c + 34. Let p be -25 + 24 - c/(-1). Which is bigger: p or 116/13?
116/13
Let u(k) = -6*k**3 - 20*k**2 + 26*k + 67. Let q be u(-9). Is q less than or equal to 2586?
False
Suppose -5*b = 2*r + 53, b + 80 = 73. Is 90 at least as big as r?
True
Let r = -5311/3185 - -90/49. Let f(m) = m**2 - 8*m - 8. Let u be f(9). Which is bigger: r or u?
u
Let d be (-343)/(-196)*-1 + (-2)/8*-3. Which is smaller: d or 7/2153?
d
Let j = -1068 - -1241. Is j at least 171?
True
Let w(h) = 4*h**2 - 39*h + 116. Let o be w(29). Let n = o + -28153/12. Which is bigger: n or 4?
4
Let a = 2/212741 + 101051939/3829338. Let j = a + -161/6. Which is smaller: 1 or j?
j
Suppose 0 = -23*r + 233 + 204. Suppose -31*v + r*v + 60 = 0. Is -11 at least as big as v?
False
Suppose 0 = 4*g + 5 - 1, 3*j = -2*g + 16. Let a(c) = 2*c**2 - 9*c - 11. Let y be a(j). Let l be (-69)/36 - y/(-28). Is l less than -3?
False
Suppose -11*c - 924 = 3*u - 8*c, 2 = -2*c. Let z = u + 291. Let t(b) = -4*b + 9. Let d be t(6). Which is greater: d or z?
d
Let z be (-19)/(-57) - (-6619594)/1417416 - 5. Let c = z + -1/1298. Is c less than 1?
True
Suppose 0 = -6*d + 1029 - 141. Which is bigger: 156 or d?
156
Let r(s) = 8*s**2 + 3*s - 50. Let l be r(-7). Let u = 324 - l. Is -18 != u?
True
Suppose 4*n - 184 = 4*k, 0 + 6 = -3*n. Let o = 46 + k. Which is smaller: -13/12 or o?
o
Let a = -7612 + 8689. Does 1077 = a?
True
Let y = 1785 - 7017/4. Let c = -4 + 34. Is c bigger than y?
False
Le