ose -o + v - 240 = b, 2*o - 4*o - 468 = 4*v. Is o >= -238?
True
Let z be 1 - 2 - (-4 + 0). Let b be 478/33 - 297/81 - 4/(-22). Suppose -z*k = 4*t - 7, -2*t + 6*k + b = 5*k. Is t greater than 7?
False
Let j be ((-300)/825)/((-3)/561). Which is greater: 63 or j?
j
Let u = 490 - 56349/115. Let w(a) = 2*a**2 + 51*a + 150. Let j be w(-37). Let q = j + -1000. Which is greater: q or u?
q
Suppose -3*z = -z + 2. Let d = 10837607/1171 - 9255. Let t = -2332/5855 - d. Is t greater than or equal to z?
True
Suppose -15*j = -10*j + 5, 3*h - 10092 = -3*j. Which is bigger: 3368 or h?
3368
Suppose 4*f + 8660 = x, -4*x + 33232 = -f - 1318. Which is bigger: 8635 or x?
x
Let q = 188 - 220. Let m be q/(-24) + (-6)/5. Is m less than -2/19?
False
Let v(q) = -11*q + q**2 + 2*q**2 + 4 + 0*q**2 - 2*q**2. Let j be v(6). Suppose 0 = -2*w + 6, 0 = -4*b - 2*w - 242 + 136. Are b and j unequal?
True
Let j = 295/42256 - -505197467/8239920. Let r = j + 66/65. Let p = r + -61. Which is smaller: p or 2?
p
Let z be 42/(-9)*(-9)/4. Let w be (-4)/(-32)*-10*-4. Suppose -4*p = i - 23, i - w - 9 = -p. Which is smaller: i or z?
z
Let o(p) = 4*p + 13. Let h(s) = -s**3 - 12*s**2 + 15*s + 30. Let v be h(-13). Let j be (-102)/42 + v/(-7). Let t be o(j). Which is bigger: t or 1/18?
t
Let p = 4.4 - 1.4. Let n = 0.1563 - 0.1563. Is n greater than p?
False
Suppose 3*z = 4*p + p - 112, -5*z = 4*p + 236. Let u be (-3)/18 - 317/18 - (-44)/(-198). Are u and z equal?
False
Let n = 0.23 + 0.77. Let p = -210 - -79. Which is smaller: p or n?
p
Let t = -424.829 + 425. Let w = t - 300.171. Is 0 greater than or equal to w?
True
Let b = -131552 - -107477960/817. Which is greater: b or -1?
b
Suppose 0 = -4*d - 4*t, 3*d - 36 = -d + 5*t. Suppose -2 = -r + d. Let k be r/(5/(-12)*-3). Which is smaller: k or 5?
k
Let q = -4116 - -8747. Is 4630 smaller than q?
True
Let b = 29.95 - 29.89. Which is smaller: 53 or b?
b
Let b = -1.3 + 7.3. Let h = 139.69 + -108.69. Is b greater than h?
False
Let x(i) = -1020*i + 6272. Let w be x(6). Which is smaller: 133 or w?
133
Let y = 15180 - 667965/44. Which is bigger: -1 or y?
-1
Let m(i) = -91*i - 1001. Let z be m(-11). Let u = 12 + -8. Suppose -4*w + z*w - 7 = g, -2*g = -u*w + 2. Which is greater: 2/101 or w?
2/101
Let s(u) = -10*u**3 - 2*u**2 - 6*u + 16. Let m be s(2). Let w = 84 + m. Let t be ((-2)/18)/(2 - 1). Which is greater: t or w?
w
Suppose -4*j + 5*d = -249, -5*d + 154 = 4*j - 45. Suppose -p + 4*y + j = -2*p, 2*p + 99 = 5*y. Which is greater: -51 or p?
-51
Suppose l = -1 - 2. Let p = -13467/7 + 1921. Which is smaller: l or p?
l
Let y(d) = d**3 - 4*d**2 - 12*d + 3. Let w be y(6). Suppose 0 = -n - q, -5*n + 10*n - 24 = w*q. Which is smaller: 2 or n?
2
Let o = 1.15 - 0. Let q = -1.05 + o. Is q equal to -4.3?
False
Let m = -34148 - -41626406/1219. Is m smaller than -1?
False
Let r = -7 + 17. Suppose -5*p + 7 = 4*f, 21 = -p - f + 22. Suppose -15 = -q - p*w, 14*q - 12*q + 4*w - 24 = 0. Is q not equal to r?
True
Let i = -3207 - -2440. Which is smaller: i or 3?
i
Suppose 2*t + 2*g + 7375 = 3013, 2*t + 4370 = -g. Is t != -2184?
True
Suppose 4*r + h - 9057 = 0, -3*r + 4*r + 5*h = 2250. Which is bigger: 2267 or r?
2267
Let f = 144 - 243. Let r = f - -99.42. Let z = -45.58 - r. Is 1/2 at most z?
False
Let j(p) = 20*p - 36. Let f(r) = -10*r + 18. Let x(g) = 5*f(g) + 2*j(g). Let k be x(2). Do 14 and k have the same value?
False
Let u = -2 - -2. Let t = 169/24 - 163/24. Which is greater: u or t?
t
Let g be (-101)/(-3) + 2/(-3). Let z(q) = -q. Let u(y) = -38*y - 2. Let s(w) = u(w) - 3*z(w). Let i be s(-1). Are g and i unequal?
False
Let h be 2/150*-15 + ((-210941)/(-175780) - 1). Is h less than 0?
False
Let j be 0*(1 + (-3)/2). Let p be (-154)/(-35) + -4 - 3520/40800. Is p != j?
True
Let o = -4310 - -4748. Is o < -2?
False
Let b be (37/(-1702))/(8/(-16)). Are b and 8.9 nonequal?
True
Let q = 31055 - 31055.0412. Is q at most 2?
True
Suppose 4*g + 3*c = -g - 34, 0 = g - c + 10. Let u be 105/(-20) - 2/g - 72. Is u greater than or equal to -77?
True
Let n = 99 - 1983/19. Let g = n + -1407/152. Which is bigger: -16 or g?
g
Suppose 4*s + 5*b = -0*b + 4872, -3*s + 3654 = -4*b. Suppose p - 74 = 3*y - s, -2*y = -2*p - 764. Is y greater than 0.1?
True
Let i = -7/13353 - -300269/12404937. Which is smaller: -1 or i?
-1
Let q = 0.037 - -0.041. Let r = -24.078 + q. Let i = 24.2 + r. Is 14 != i?
True
Let f = 34 - 33.76. Let i = -41.76 - f. Let p = i + 41.8. Which is bigger: p or 4?
4
Suppose 3*w = 5*w - 8. Suppose x + w = 7. Suppose x*d + 4*b = -9, d + 1 = -d - b. Are -2/41 and d unequal?
True
Let c be -4 - ((-87)/(-29) + (-10)/2). Does -66/35 = c?
False
Let c = -2660 + 212797/80. Let k = c - -63/16. Is k > 5?
False
Suppose -4*v = 3*m - 904, 35*v - 30*v - 1153 = 2*m. Which is smaller: v or 232?
v
Let u be (-80)/3 + (-4 - 33/(-9)). Let k(q) = -7*q + 149. Let d be k(u). Are 339 and d equal?
False
Let k = 245 + 118. Which is bigger: 3 or k?
k
Let f = -637678/65 - 313349/13. Let g = f + 8199163/240. Let k = g + -249. Which is bigger: k or 0?
0
Let u be 370/4 - (-3)/(-6). Let b be 0 + (-3 - -1) + 4. Suppose p + u = -b*i - 21, -84 = i - 5*p. Which is bigger: -60 or i?
i
Suppose 0 = -3*w - 3*r + 750, 130 - 115 = 5*r. Which is greater: 251 or w?
251
Let k(t) = t**3 + 15*t**2 - 3*t - 32. Let i be k(-15). Suppose 307 + 3502 = -i*a. Is -292 < a?
False
Let r(k) = 2*k**2 + 31*k + 92. Let n be r(-7). Let a = 17 + -41. Which is smaller: n or a?
n
Suppose 0 = -2*r - 2*r + 460. Let p be -7 - -18 - (3 + -1). Suppose 4*h - p*h = -r. Which is greater: h or 22?
h
Let y = -1511.3168 + 0.3168. Is -1 smaller than y?
False
Let g = -2388 + 2472. Which is bigger: g or 2?
g
Let o = 2.7 + -3.31. Let s = 8.61 + o. Let y = 8.33 - s. Which is smaller: y or 0?
0
Let v(m) = -43*m - 4211. Let a be v(-98). Which is smaller: 26/17 or a?
26/17
Let t(g) = -7*g - 2. Let o be t(-4). Suppose 130 = -4*u + 230. Which is greater: u or o?
o
Suppose 19 = 3*v + 2*h, 4*v - 6*h = -2*h - 8. Suppose -2*x + o - 2 + 1 = 0, -v*o = x - 3. Suppose z = -2*i + 10, 5*z - 2 = 4*i - 8. Which is bigger: x or z?
z
Let t be (-2 - 2/2)*8/(-3). Suppose 0 = 5*j - j - 52. Suppose -j = -5*d - 2*o, 3*d - t = -5*o + 15. Is d less than 1/54?
False
Let x(p) = -22 - 15*p - 40 - 283 + 141. Let b be x(-11). Which is bigger: -4 or b?
-4
Let z be ((-48)/28)/(4/1510). Let q = z - -646. Let a be 5/(-1)*10/25. Which is smaller: a or q?
a
Suppose 5*h - 806 = -2*g, 0 = 5*g - 5*h - 1781 - 234. Which is smaller: g or 400?
400
Let o(j) = 129*j**3 + 8*j**2 + 86*j - 292. Let z be o(3). Which is smaller: z or 3520?
3520
Let o(x) = 22*x - 65. Let b be o(6). Suppose -144 = -63*d + b*d. Is -3 < d?
False
Suppose -3*c - 121 = -19. Let m = 24 + c. Suppose 845 = -40*r - 91*r - 465. Is m > r?
False
Let c be (6 + 1)/(3771/18 - 0). Are 0 and c unequal?
True
Let o = -1643 + 1008. Is o < -638?
False
Let l = -652.0512 + 0.0512. Let q = l - -652.1. Is 15/16 smaller than q?
False
Suppose -16 = -4*b - c, b - 2*b + 17 = -3*c. Let a be b + (-2)/((-8)/148). Let v be (-3)/5 - (a/30 - 1). Which is smaller: -2/267 or v?
v
Let c(r) = -r**2 + 13*r - 13. Let g be c(12). Let m be (g - -5)/12*12. Suppose 25 = -5*o, -2*t - 2*o - 36 = -m*t. Which is smaller: t or 12?
12
Suppose -5*q - 15 = 5*l, 18 = -3*q + l + 1. Let d be (q/(-10) - 0)*-10. Let p(c) = c**3 + 5*c**2 + 3*c + 12. Let k be p(d). Which is smaller: -7 or k?
-7
Let f(z) be the first derivative of -z**2/2 - 5*z - 198. Let t be ((-4)/3)/((-8)/(-12)). Let a be f(t). Which is greater: a or -6?
a
Let m be (-14)/36 - 392/(-1764). Let t be (-2)/(-17)*(-30 + 3) - -3. Which is smaller: t or m?
t
Suppose -5*w = 10*a + 10, 0 = -3*a + 3*w - 14 + 11. Is a bigger than -1/3703?
False
Let p be -2 + 5 - (72/30 + 2/(-5)). Is p greater than 29/266?
True
Let s(g) = g**3 + 24*g**2 + 34*g - 69. Let q be s(-22). Let j = 103 - q. Is j at least as big as -46?
False
Let j = 59.7 - 60. Let n = -5512.09 - -5513. Is n smaller than j?
False
Suppose -4*i + 6 = -6*i, -r + 5*i = -714. Which is smaller: r or 689?
689
Let z = 3/3583 + 3571/14332. Is z less than 123/2?
True
Let y = 29527 - 30668. Which is bigger: y or -4?
-4
Let h(r) = -3*r**2 + 37*r + 23. Let d be h(12). Let f be (28/d)/((-14)/(-10) - 1). Which is bigger: 24/17 or f?
f
Let d be (1 - 1)*((-106)/(-1007) - 63/57). Which