1. Let s be (-420)/30*l/(-2). Which is greater: s or -6?
-6
Suppose 0 = -2*a + q + 232, 4*a - 5*q - 209 = 267. Is 112 at most a?
True
Suppose -2*r - 4 + 12 = 0. Suppose -54 = 5*n - r. Suppose o + 24 - 13 = 0. Is o at most as big as n?
True
Let x be (8 - 4) + (-3903)/8. Let g = x - -486. Let q = g + -37/8. Which is smaller: 0 or q?
q
Let v = -116 - -116. Is v <= -3/8?
False
Let k = -2/2657 + -5164/199275. Let w = k + -248/75. Suppose 0*o = o + 5*b - 6, o = -2*b. Are w and o non-equal?
True
Suppose 3*f = s + 403, 0 = 2*s + s + 2*f + 1187. Is s less than -397?
False
Let i(j) = j + 21. Let v be i(-8). Suppose -3*h + 7 = v. Which is bigger: -16/5 or h?
h
Let v = 16 + -10. Let t be (v/(-4))/((-6)/4). Let y = 50 - 353/7. Is t greater than or equal to y?
True
Suppose -4*g = g + 25. Let d = 16 + -13. Which is bigger: d or g?
d
Suppose h = 5*j - 19, -5*j - 2*h = 9 - 31. Let q(l) = -l**2 - 3*l + 4. Let s be q(4). Let z be (j/s)/(1/3). Which is smaller: -1 or z?
-1
Let t = -2.74 + 3. Let w = -0.143 - -0.003. Let n = w + t. Which is smaller: 1 or n?
n
Let h = 32.53 + -32.33. Let u be (-1)/((-1)/(2 + -1)). Let s(d) = 6*d**2. Let z be s(u). Which is greater: h or z?
z
Let y = 243.2 - 236.2. Let j = 0.2 - 0.2. Is y bigger than j?
True
Suppose 2*i = -l - 13, 4*l = -12 - 0. Which is smaller: -4 or i?
i
Let n = -1 - 0. Let b(m) = -m**2 - 35*m + 86. Let s be b(-37). Is s bigger than n?
True
Let f be ((-4)/(-10))/((-2)/10). Suppose 5*p = u + 16, 2*u + 2*p = -2*p + 24. Let t be 0/(-11) - 2/u. Is t greater than f?
True
Let u = -2 - -3. Let j = 15 - 12. Let n = 5 - j. Are n and u unequal?
True
Let q be (-192)/(-144) - (-1)/(-3). Are -16 and q non-equal?
True
Let j be -6 - -1 - 608/(-38). Suppose 14 - 2 = 3*z. Let w(a) = 4*a - 5. Let h be w(z). Is h <= j?
True
Suppose -224 = -2*w - 2*w. Let u be (-52)/w - 3/(-7). Let k = 24 + -24. Which is smaller: u or k?
u
Let l = -31020 - -7227676/233. Which is greater: 1 or l?
1
Suppose 52*g = 100*g. Is 3/533 greater than g?
True
Suppose -5*o - 110 = -3*q - 656, 4*o - 430 = -q. Which is smaller: 113 or o?
o
Let y be (0 - (-8)/3)/((-20)/24). Is y <= -3?
True
Suppose -3*i + 0*w + 2*w + 506 = 0, -i + w + 169 = 0. Let g be (-38)/i - 7/(-28). Is -1 at most g?
True
Suppose -h + 42 = 4*c, 20 - 64 = -5*c + 3*h. Suppose 3*y + 51 = 5*s + 7*y, -4*s + 45 = -y. Which is smaller: c or s?
c
Let s be (-640)/(-64)*(-32)/(-10). Is s smaller than 37?
True
Let l = -96 + 171. Is 69 at least as big as l?
False
Let c(r) = r**2 + 28*r - 52. Let q be c(-35). Which is smaller: 191 or q?
191
Suppose -3*m = -o - 27 - 90, o + 118 = 2*m. Is -119 at most as big as o?
False
Let a be (14/5)/((-22)/(-55)). Let u be (-2*1)/2*-10. Let l be (-1)/((u/(-12))/5). Is a smaller than l?
False
Let c = 802 + -801. Which is bigger: 25/28 or c?
c
Let q = 12 + -10. Suppose -12 = 2*i + q*i. Let r be -2 + (9/(-3) - i). Are r and -5/2 unequal?
True
Let s = 1.35 + -1.5. Let n = -0.65 - s. Let t = n + -0.5. Is -3 >= t?
False
Let k be -54 - 0 - (-4)/(-2). Let s = 54 + k. Suppose l + 1 = -3*f - 0, -2*f + 2*l = 14. Is f greater than s?
False
Let u be (33 - 31)*(3 + 4/(-2)). Is 34/27 >= u?
False
Let f(m) = -m - 6. Let z be f(-8). Let p = 2 + -2. Suppose -z*t - 2*t - 5*n - 37 = 0, -5*t + 2*n - 5 = p. Is -4 at most as big as t?
True
Let m be (-21)/825*25/15. Which is smaller: 0 or m?
m
Let v = -573 + 6304/11. Let p = -14 - -13. Which is greater: v or p?
v
Let b(n) = 3 - 9 - 4*n + 7. Let s be b(1). Let r be (-2)/6*(s + 0). Is 15 != r?
True
Let p(t) = -t**2 - 3*t + 14. Let n be p(5). Let a = 26 + n. Is 5 > a?
True
Let f = 146.008 + -146. Let d = 0.092 + f. Which is bigger: 0.6 or d?
0.6
Suppose 7*u - 36 = u. Suppose 4 = 3*m - 8. Which is smaller: u or m?
m
Suppose -5*w + 3*n = -245, 3*w - 4*n + 6*n = 166. Let k = 55 - w. Let y = 1.98 + 0.02. Which is smaller: y or k?
y
Let g = -25 - -23. Let t be g/4*(-34)/(-459). Which is smaller: t or -1?
-1
Let o = -16 + 29. Let w(x) = x**2 - 13*x. Let f be w(o). Do f and 3/35 have the same value?
False
Let u = 300 + -300.2. Is 55 less than or equal to u?
False
Let k = -10 - -9.93. Let o = -31 + 16. Let d = o - -14. Which is greater: d or k?
k
Suppose -i = -5*c - 27, 5*i + 2*c - 39 - 15 = 0. Suppose -121 = i*t - t. Which is bigger: -12 or t?
t
Suppose -4*n + 8*n = 0. Let u = n + 0. Which is greater: 2/17 or u?
2/17
Suppose 0 = -2*f - 95 - 51. Let n be f + 4 - (2 + 2 - 1). Is n != -73?
True
Let i = 1/256 + -331/19200. Which is smaller: 0 or i?
i
Let n = -19.5 + 20. Suppose 5*m = -4*r - 15, 4*r - 3*r - 2*m - 6 = 0. Let y be (-4)/((-16)/(-2))*r. Is y < n?
True
Suppose 3*k - 8*m = -3*m - 21, k + 2*m = -18. Is 1/8 > k?
True
Let n be (-1376)/(-3740) - (1 - (-15)/(-25)). Is 0 less than n?
False
Suppose -108 = -i - 0*i. Suppose -4*b + i - 24 = 0. Is 21 less than b?
False
Let w be (-3 - -2)/(-20 - 21). Suppose -r + 1 = -0. Which is bigger: w or r?
r
Let i be (4/424)/((-1)/(-10)). Is -1 greater than i?
False
Suppose 22 = 4*i - 5*s, 4*i - 3*i = -4*s - 5. Suppose -16 = -i*r - 7. Let f = 2 - -1. Do r and f have different values?
False
Let r be 1/5*10/(-8). Let l = 20 - 12. Let j be (-26)/(-42) + l/(-28). Which is smaller: r or j?
r
Let o = -5/377 - 1111/1508. Let f = -0.4 + -0.1. Let g = f + 0.3. Which is greater: o or g?
g
Let z = -4803 - -1748293/364. Which is smaller: z or 1?
z
Let q(i) = -30*i. Let n be q(1). Let g = n + 32. Which is smaller: -1 or g?
-1
Let y be (-12)/(-9) + (-12)/9. Suppose -3*t + 4 = x - y, x = -2*t + 3. Let s be 0/(0 + (-3 - -2)). Which is smaller: t or s?
s
Suppose -9 - 4 + 13 = -38*m. Let i = 1 + -3.3. Are i and m equal?
False
Let h = -80 + 80.1. Which is greater: -53 or h?
h
Let m(x) = -x + 27. Let q be m(0). Let y be q/(21/(-7))*(-2)/57. Is -1 greater than or equal to y?
False
Let j = 97 - 211. Let c = -108 - j. Do 9 and c have the same value?
False
Suppose -5*a - 40 = -5*b, -3*b + 19 = -a + 3*a. Suppose b - 1 = c. Let i be c + 0 + 2/(-1). Which is bigger: i or 3?
i
Let g = 192 - 194. Which is bigger: -7/12 or g?
-7/12
Let k(q) = 26*q - 25. Let u be k(0). Which is bigger: -0.14 or u?
-0.14
Let c = -53 - -157/3. Let d = 1338666/391 - 6106307/1785. Let n = d - -1/483. Which is greater: n or c?
n
Let r be 8/(-68) + 4268/33099. Which is smaller: r or 1/2?
r
Let r(p) = -p**2 - 8*p - 9. Let w be r(-6). Suppose -3*v = -7 - 5. Suppose j = w*j + v. Which is smaller: -3 or j?
-3
Suppose -l - 12 = -u, u = -2*l - 2*l - 13. Which is greater: 27/4 or u?
u
Suppose 0 = -3*h - h - 8. Let s be 93*3/459 + 12/(-18). Which is bigger: s or h?
s
Let k(o) = 5*o**2 - 4*o - 13. Let s be k(-7). Which is smaller: -2 or s?
-2
Let r = -0.018 + -1.202. Let n = 0.21 + r. Let x = 0.01 + n. Does x = 1?
False
Suppose -4*z = 2*h + h - 35, -z = -2*h - 6. Let a(l) = 3*l - 8. Let w be a(4). Suppose 0 = -3*x - 5*b + 7, w*x - 28 = b - 3*b. Which is greater: z or x?
x
Let s = -108.3 - -99. Let r = s + 8.3. Is r at least as big as -17?
True
Let w be (-1244)/132 + 5/55. Are -10 and w nonequal?
True
Let m = 9616/14433 + 2/4811. Let v = 3 + 0. Let l = 2 - v. Do m and l have different values?
True
Let d be 564/(-182) - 14/49. Let i = d - -205/26. Let m = -34.7 + 34.5. Is m smaller than i?
True
Let s = 8488 + -4320398/509. Let r = s - -3132/6617. Is r at most as big as 1?
True
Let k = -122 + 283. Is k at least as big as 0.1?
True
Suppose -7*g = -11*g + 8. Suppose -4*x = 3*n - 3*x + 21, 0 = n + 2*x + g. Is n at most as big as -5?
True
Let k = -270 + 1893/7. Is k less than -0.36?
False
Let z = 4.989 + -5.24. Which is bigger: -0.2 or z?
-0.2
Let s = 44 - 4. Let u = s - 69. Which is smaller: u or -28?
u
Let i be ((-1)/(-44))/(11298/(-336)). Which is greater: i or 0?
0
Let p = 0 - -2. Let c = 52 - 47. Let o be (-1)/c*225/(-36). Which is greater: o or p?
p
Let h(j) = j**2 - 24*j + 108. Let m be h(6). Is 3/542 equal to m?
False
Suppose 5*f + 3*w = 0, 2*w = 10*f - 13*f. Is 1/170 not equal to f?
True
Let k be (-2)/14*10 - 0. Let r(s) = -645 + 0*s + 10*s + 642 - 3*s**2. Let m be r(3). Which is greater: k or m?
m
Let v = 203/3 + -67. Let z(x) = -x**3 + 7*x**2 - 11*x + 77. Let r be z(7). Is v <= r?
False
Let b = -1043 - -894. Is -149 less than b?
False
Let b = -4 + -15. Let s = -43 - b. Is 1 at least as big as s?
True
Let h be 7/4 - (-4)/16. Suppose 2*u = 4*j + h, 0*j + 2*j + 3 = 3*u. Let x b