: s or 160?
160
Let x be 0 + 61 - 0/2. Let r = -57 + x. Suppose 5*f - 4*v + 6*v = -54, -4*v + 60 = -r*f. Is 2 smaller than f?
False
Let w = 365 + -364. Let t = -27 - -12. Let m = -15.8 - t. Is m less than or equal to w?
True
Let x be (1 + -23)*((2 - 4) + 6). Let z be (x/(-56))/(-11)*2. Let t = 1.1 + -1. Which is smaller: t or z?
z
Let s be (1 - 9) + (209 - 202). Is -1/16293 at most as big as s?
False
Let k be 29/(-145)*10/(-74). Suppose -4*q = 49 - 53. Which is greater: q or k?
q
Let g be 6*2 - (-2)/((-6)/9). Let k be g/(-12)*1*192/(-36). Are k and 44/13 non-equal?
True
Let s be (2 - 2286/(-10)) + 4. Let v = s - 235. Which is smaller: v or -1/70?
v
Suppose -v + 771 = -5*u - 782, 4*u = -v + 1508. Suppose -4*r + 2*z - v = 0, -4*r - 1576 + 48 = -z. Does r = -381?
False
Let c(t) = t**2 - 5*t + 6. Suppose 0 = -23*b + 84 + 8. Let z be c(b). Is 50 <= z?
False
Suppose -32*u = -8*u - 5*u - 29925. Which is smaller: 1576 or u?
u
Let u = 1341 + -5766. Is -4424 <= u?
False
Let n(m) = m**3 + 5*m**2 + 5*m + 3. Let l be n(-4). Let g be ((-4181)/(-25086))/(110/108). Is g at most as big as l?
False
Let f(c) = -8*c + 119. Suppose 4*b + 6*b = 150. Let w be f(b). Which is smaller: -8/9 or w?
w
Let a(g) = -g**2 + g. Let l(z) = -3*z**2 - 4*z + 8. Let k(n) = 4*a(n) - l(n). Let f be k(8). Let r = 9 + f. Which is greater: r or 2/23?
r
Suppose 4*y - 14*r + 48 = -10*r, y - 2*r + 10 = 0. Let u(l) = -l**3 - 11*l**2 - 8*l + 7. Let h be ((-5)/3)/(5/30). Let d be u(h). Which is greater: y or d?
d
Let p be (-100)/(-75) - (-10 - -11). Is -8052 bigger than p?
False
Let s be ((-2 - -1 - 1)/4195)/(121/(-4235)). Is s smaller than -1?
False
Let j be (0 - (-5)/((-85)/2))*80/1720. Is j at least as big as 1?
False
Let x = 180 + -253. Let j be 2/(-1)*(8 - (-741)/26). Is j bigger than x?
False
Let n = 236.7 - 266.4. Is n bigger than -1?
False
Let p = 109486 + -109259. Let n(v) = 38*v - 2. Let h be n(6). Is p equal to h?
False
Let v = 19142 + -19142.1. Are -524.2 and v unequal?
True
Let t(x) = -6*x**2 - 13*x + 14. Let o(r) = 14*r**2 + 26*r - 27. Let n(w) = -4*o(w) - 9*t(w). Let c be n(2). Let h be 8*(4/6 - 0). Is h > c?
True
Suppose 60*l - 16*l + 29*l + 32923 = 0. Which is greater: -454 or l?
l
Suppose 0 = 5*a - 4*q - 30, -35 = -2*a - 3*a + 3*q. Suppose 14 = 3*k - f, a = 4*k + 3*f - 13. Suppose 10*s - 70 = -0*s. Is s less than or equal to k?
False
Suppose -7*g + 25*g + 23*g - 17589 = 0. Which is smaller: 428 or g?
428
Let i = 58932/79 + -746. Let d(c) = -7*c + 26. Let g be d(-17). Let f = g + -146. Is i != f?
True
Let c = -21515 - -29773. Which is smaller: c or -0.1?
-0.1
Let f be 198/121*14652/144. Let m be 9/(-3) + 4 + 167. Which is smaller: m or f?
f
Let n be 4/(-6)*((-89)/(-11) + -4). Let k(q) be the third derivative of -q**6/120 - q**5/10 + q**4/24 + 2*q**3/3 + 5*q**2. Let z be k(-6). Is n less than z?
True
Suppose -4*u - 7*t - 40 = -3*t, -4*t + 64 = -4*u. Let r(m) = 2*m**2 + 28*m + 30. Let z be r(u). Let l be z/66*-8*24/(-32). Is l greater than or equal to 0.2?
True
Let g = 393.86924 + 0.03076. Let c = 387 - g. Is 0.2 less than or equal to c?
False
Let t = -73.01 + 3.01. Let x = t + 68. Which is smaller: -2.5 or x?
-2.5
Let h = 26 - 17. Let r be 106/(-14) + h/(63/4). Let v be r/(42/9) + -2 + 4. Is v <= 1?
True
Let c be (-27)/(2*1/4). Let r = 187 - 188. Let m(v) = 56*v**3 + v**2 - v - 1. Let b be m(r). Is b >= c?
False
Suppose -4 = 4*u, -3*d + 3*u - u + 5 = 0. Let t be 1514 + (-1 - -1) + d. Let k be (t/(-18))/(-5) - 3/(-18). Is 15 not equal to k?
True
Let y(n) = -1268*n - 8884. Let q be y(-7). Suppose 0 = 4*i + 53 - 21. Does q = i?
True
Let r = 21.8 + -22.8. Let c(d) = -3*d + 11. Let o be c(-2). Is r greater than or equal to o?
False
Let l be (-91)/(-3) + (-5 - (-56)/12). Let f be 8/120*-2 + (-491)/l. Do f and -16 have different values?
True
Let g = 11629 + -11628. Let k = -7 - -7. Let c be ((-203)/(-102) - k) + -2. Which is greater: c or g?
g
Let p = 18529 - 18528.657. Is p > -10?
True
Suppose 0 = -38*z + 9 - 47. Is -25/22 less than or equal to z?
True
Let k = -17087 + 15007. Is k != -2/3?
True
Let s(n) = n + 3. Let r be s(5). Let k = 589 - 579. Suppose -r*o = -k*o. Which is smaller: 2/11 or o?
o
Let j = 89 - 978/11. Suppose 74*b - 21 = 53*b. Are j and b non-equal?
True
Let f = 2968 + -2966. Is 124/17 greater than or equal to f?
True
Let j = -3937 - -3371. Is -565 at least as big as j?
True
Let s = 0.31 + -0.31. Let z = -2658.15 + 2656. Which is smaller: s or z?
z
Suppose 0 = 33*q + 9764 - 2702. Is -2368/11 > q?
False
Let m be 20/(-32) + (-2)/(-2). Let p(r) = r**2 - 7*r - 2. Let t be p(10). Suppose -2*f = -2, o - 5*f - 22 = -t. Is m < o?
False
Let j be ((-4 - 1) + -75)*(-12)/(-5). Let n be j/64*((-20)/3 - -1). Which is bigger: n or 16?
n
Let t(r) = 51*r - 3338. Let u be t(88). Which is bigger: u or 5749/5?
u
Let p(d) = 3*d**2 - 17*d + 8. Let s = 331 - 341. Let v be p(s). Is 478 equal to v?
True
Suppose 68 = u - 16. Let r = -500235/2 - -250201. Which is smaller: r or u?
r
Suppose -5*k + 2*d = 16564, 2684 + 3930 = -2*k - 5*d. Which is greater: k or -3311?
-3311
Suppose -6*t + 9*t + 116 = 7*h, -108 = 2*t + 3*h. Which is smaller: t or 10?
t
Let h = -0.2 + 0.3. Let p = 5534 + 90. Suppose -62*w + p = 12*w. Which is smaller: h or w?
h
Let x(v) be the first derivative of v**4/4 + 34*v**3/3 + 19*v**2 - 86*v - 289. Let j be x(-33). Which is greater: j or -250?
-250
Let i(j) = j**2 - 4*j. Let n be i(6). Suppose n = -4*k + 6*k. Let r be 39/9 + 11/(-33). Which is smaller: k or r?
r
Let p = 866/7 - 45053/364. Is p bigger than -3?
True
Suppose -3*c = 479 - 20. Let d = -216 - c. Let l = d - -505/8. Which is bigger: l or -0.02?
l
Let q = 6 + -3. Let v be (32 - 37) + 4/(12/15). Suppose 2*p + 5*a = -15, -a - q + 0 = v. Which is smaller: p or -2?
-2
Let f(o) = 1609*o - 10102. Let l be f(4). Is -1/3 > l?
True
Suppose 4*z = 3*n + 142, 93*n + 5*z = 92*n - 41. Which is smaller: n or -3/10?
n
Let a = 7.139 + -3.139. Which is greater: a or 0.157?
a
Suppose 3*l = -3*o + 822, -5*l + 24 = 4. Let j be (10/o)/((-3)/(-90)). Let v = 0 + 1. Is v less than j?
True
Let n be 138/1311 - (80/38 + -2). Which is smaller: 14/233 or n?
n
Let t be (-237)/13 + (-290)/(-29). Do -9 and t have different values?
True
Let n be (-76)/(-342) + (-264)/(-27). Which is bigger: n or 152/17?
n
Let q(p) = p**2 + 17*p - 9. Let z be q(-18). Let u(k) = k**3 - 9*k**2 + 3*k - 5. Let w be u(z). Let c be (w/110)/(3/10). Is c at least as big as -3?
True
Suppose 24 + 9 = -5*s + 2*v, -3 = 3*s + 3*v. Let r(x) = -3*x**2 - 17*x - 11. Let i be r(s). Which is smaller: i or -21/13?
-21/13
Let p be (4/(-6))/((-24)/36). Which is smaller: -0.47 or p?
-0.47
Let p = 23.593 + 1.507. Let z = 50 + -25. Let o = p - z. Which is bigger: o or -9?
o
Suppose -2*r + 4431 = -5*b - 1334, -7*r = -2*b - 2306. Which is smaller: b or -1160?
-1160
Let d be 56/21 - 4 - (-374)/177. Is 0 less than d?
True
Let h = -5.15 + 6.15. Is -1.3428 at least as big as h?
False
Suppose 0 = -3*q - 14*b + 11*b + 27, -33 = -3*q - 5*b. Let p(l) = l**2 - l - 17. Let a be p(5). Is a >= q?
False
Suppose -1125 - 1163 = 2*o - 46*o. Suppose -2*h + 161 = h - w, 0 = -h + 3*w + 43. Do h and o have the same value?
False
Suppose 5*d - 2414 = 9*d + 5*h, 5*d - 5*h = -3040. Let p = 539 + d. Which is smaller: 1 or p?
p
Suppose 5*r - 85 = j, 26 = 4*r - j - 42. Let n(h) = -9*h + 155. Let a be n(r). Which is bigger: -38 or a?
a
Suppose -20*a = 4 - 4. Suppose a = 4*z - 4*x - 4, -z = -5*z + 2*x. Which is bigger: z or 2/5?
2/5
Suppose -15 = -3*j, 10*z - 2*j + 16 = 13*z. Suppose 0 = -z*l + 49 + 9. Which is smaller: l or 30?
l
Let s(d) = d**2 + 25*d - 208. Let f be s(-33). Let r = -50 - -109. Is r bigger than f?
True
Let w = 2.9 - 3.5. Suppose 38*l - 184 + 520 = -424. Which is smaller: l or w?
l
Let s be (-12)/(-15)*(6/14 - (-159615)/(-23310)). Which is smaller: s or -4?
s
Suppose -4*w + 4 = 3*j - 0*j, -4*w - 4*j = -8. Let d = -206 + 134. Which is smaller: w or d?
d
Suppose 144*n - 1192 + 458 = 418. Which is smaller: n or -325/4?
-325/4
Let g = 66.98 - 67.08. Is g at most as big as 1211?
True
Suppose -c - 3*i = -2, -4*c + 3*c + 3*i = -2. Suppose 5*z = 3*m - 19, -z - 3 = c*z + m. Let x be z/(264/52 + -5). Is x less than -27?
False
Let a be -2 + 9 + -44 + 38. Is 1/358 less than or equal to a?
True
Suppose 40 = 4*f +