 -5*s + 130 = m, -q*m = -s - s + 52. Let o(d) = 4*d + 1. Let n be o(6). Is n at least as big as s?
False
Suppose -41*b + 45*b = -628. Let g(f) = -3*f**2 - 5*f + 10. Let u be g(2). Let r be (-1)/b*-469 + (-9 - u). Which is bigger: 1 or r?
1
Suppose 2*n + 2 + 8 = 0, -5*c - 2*n = -30. Suppose -v = b - 2, -5*v + c*v = 3*b. Is 19/9 less than or equal to v?
False
Let g = -14973970 + 524135893/35. Let x = g + -1341. Which is smaller: x or 0?
0
Let b be (-402)/(-10) + 4/10. Let t be 7 + 1558/30*-1 + 7. Let n = t + b. Which is greater: 0 or n?
n
Let m = -618 - -620. Suppose -z - 13*j + 12*j = -7, -m*z = 3*j - 19. Is z < 26/11?
True
Let n be (51/(-153))/(1/(-30)*2). Which is bigger: 0.78 or n?
n
Suppose 0 = 2*z - 6*z + 2*d + 18, -5*d = -15. Let h be (-27)/6*2*11. Let f = -103 - h. Is f >= z?
False
Suppose -15*k + 14*k = -7. Suppose -41 - 57 = -k*b. Is -3 >= b?
False
Suppose 182940 = -176*v - 139140. Which is greater: -1829 or v?
-1829
Let q = -4 - -2. Let w(f) = -f**2 - 4*f - 3. Let x be w(q). Let i = 3867/53 - 19229/265. Which is greater: x or i?
x
Let v be (4/(-15))/((-18)/5). Let h be 4/(1 - 1418/1422). Let z = 8533/6 - h. Is z smaller than v?
False
Let d(b) = 244*b**2 - 13*b + 83. Let r be d(5). Is 6117 less than r?
True
Let i = 0.3 + 0.3. Let u = -0.4 + i. Let h = -2.41443 + 0.01443. Are h and u non-equal?
True
Let d = 4.6 + 31.4. Let p = 0.045 + -37.045. Let a = p + d. Is -7/6 > a?
False
Let w(y) = y**2 + 15*y + 55. Let l be w(-9). Let z be (l/(-3))/((-66)/594). Are -1 and z equal?
False
Let c = 72499/5 + -14521. Is -11 != c?
True
Let k be (28/(-63))/(-8 + 12). Which is greater: 0.15 or k?
0.15
Let c(q) = -34 - 6*q - 17 + 0*q - 29 - 40. Let p be c(-20). Which is smaller: 11 or p?
p
Suppose 6*k - 4*d = 16576, -4*k + 15*d + 11032 = 17*d. Which is smaller: 2763 or k?
k
Let b(o) = 2*o - 41. Let t be b(19). Let s be (2/4)/((-6)/(-3028)). Let h = -256 + s. Is h at most as big as t?
True
Let t = 180.921 + 1.179. Let h = t - 182. Which is greater: -4 or h?
h
Let d be (-122)/(-5 + 17 + 15). Which is smaller: -4 or d?
d
Suppose 0 = -3*o - 5 + 41. Let c be 0 - (1 + 1/((-4)/o)). Let b be (6/18)/(c*3/(-30)). Which is bigger: -3 or b?
b
Let p = 1109 - 9971/9. Suppose 27 = g + 4*a, -4*a + 3*a - 72 = -5*g. Suppose -4*y = -5*r + 7 - g, -8 = 3*r - 4*y. Is r smaller than p?
True
Let b = 249.9797 - -0.0203. Let n = -249.8 + b. Which is smaller: -0.25 or n?
-0.25
Let l = -4737/8 - -593. Let w = 65.5 - 60. Let h = w - 6.5. Is l > h?
True
Let n = 371.17 + -205.17. Is n <= -69?
False
Suppose -2*i - 4*q = -24, -2*i + 28 = 6*q - q. Suppose i = -5*o + 6*o. Let t be (-2 + 70/24)*o. Does t = 3?
False
Suppose 0*k = -k + 3*g, -7 = -3*k + 2*g. Let h be 0 + 25 + (1 + -7)/k. Suppose -h*w + 12 = -19*w. Which is smaller: 2 or w?
2
Suppose 0 = -27*l - 1593 + 5238. Suppose 3*k - 2*p + 9 = 411, -5*k - 3*p + 689 = 0. Let g = k - l. Is g <= -1/82?
False
Let z be ((-92)/80 + -5)/(1/(-2)). Suppose 3*y - 3*u - 48 = 0, 9 = 2*y + 2*u - 11. Which is bigger: z or y?
y
Suppose 0 = -4*h + 693 + 243. Let m = 240 - h. Which is smaller: 5 or m?
5
Suppose -2*v - 3*v - 70 = 0. Let j be 1 + ((-44)/v)/(-2). Let u = 54468 + -54468. Is u at least j?
True
Suppose 107*c + 52 = 159*c. Which is bigger: 158/131 or c?
158/131
Let h = 144.7 + -1.7. Let v = 117 - h. Let i = -15 + v. Which is bigger: i or 0?
0
Let d = -0.03772 + 1.03772. Which is smaller: d or -2303?
-2303
Let h be ((-20)/84)/(2/(-12)). Let t(r) = r**3 + 6*r**2 - r - 22. Let a be t(-5). Suppose a*j = 3*j + 15, 0 = -5*s + 3*j - 9. Which is bigger: h or s?
h
Let b = 4668 - 3280. Which is greater: b or 0.1?
b
Let d = -722 - 1276. Is -1998 > d?
False
Let c be (2/10)/((-10)/(-25)). Let b = 2442 + -2468. Which is smaller: c or b?
b
Suppose 18*l - 1054 = -16*l. Suppose -54 = 2*y + 18. Let x = y + l. Which is smaller: -7 or x?
-7
Suppose -181 - 573 = -5*v + 261. Is 199 != v?
True
Suppose 6*t = 3*t + 138. Suppose -t*c = -48*c. Suppose -q = -c*q. Is q greater than 1/5?
False
Let r(z) = -2*z + 63. Let p be r(36). Suppose -x = 4*x + 25. Which is smaller: p or x?
p
Let q = -24 + -36. Let h = -55 + -4.9. Let k = q - h. Is k < -4?
False
Let s be (-3)/((-36)/8) + (-231)/252. Is -1897 at most as big as s?
True
Let o = 0.085 - 49.085. Let n = -64 - o. Let k = -6 - n. Is k less than or equal to 3/2?
False
Suppose 112 = -13*b + 177. Let m(r) = -r**2 + r + 9. Let j be m(b). Do j and -72/7 have the same value?
False
Suppose -2*f - 3*f - 5 = 0. Let t be -2 + -1 + -1 + 3134/(-16). Let h = -200 - t. Do f and h have the same value?
False
Let j be 245 + 2*3/(-2). Let u = -259 + j. Which is smaller: u or -10?
u
Let i be 2/(-92) - (-46189)/6578. Is 186/23 greater than or equal to i?
True
Let s(w) = -24*w**3 + w**2 + 27*w - 2. Let m be s(-5). Which is smaller: 2889 or m?
m
Let u be (1*-3 - 21/(-21))*-63. Suppose -2*z - l - 89 + 8 = 0, 0 = 3*z + 3*l + u. Which is greater: z or -4?
-4
Suppose -6*a = -0*a - 222. Let i = a + -37. Let k be -1 + 4 - 180/50. Is i >= k?
True
Let l be 27390/(-275) - 3/(15/2). Let d be ((-468)/(-45))/(136/l). Do -8 and d have different values?
True
Let u = 39 + -113. Suppose -371 + 362 = 3*p, -p + 219 = -3*c. Is u at most as big as c?
True
Let x be -2*-1*5/2. Let n be 76/1976 + (-58)/156 - 489/(-9). Which is smaller: x or n?
x
Let o = 353 - 292. Suppose o - 72 = -u. Let s be (-1 + 13)/(6/4). Which is smaller: s or u?
s
Let x(w) = -w - 27. Let m be x(-28). Let t = -0.2 - -0.4. Let l = t - 0.25. Which is greater: m or l?
m
Let u = -1.0029 + 0.9029. Which is smaller: u or -2/4323?
u
Let t = -2683/6 + 449. Let m(w) = -10*w - 112. Let c be m(-15). Suppose -22*v - 16 = -c. Are v and t nonequal?
True
Let q = -222 + 232. Let r be -3*10/(-6)*q/25. Which is smaller: r or 4?
r
Let t be (-12)/(-8)*(3 - 20/12). Suppose -5*v + w + 7 = 3*w, -5*v + 5*w + 35 = 0. Suppose 0 = -v*q - q - 20, 0 = -5*b + 4*q + 25. Which is smaller: b or t?
b
Suppose -f + 2084 + 1964 = 15*f. Is 249 at most f?
True
Suppose y = -11 + 13. Suppose 0 = -3*q + 15, 3*q + 1 = -y*v + 14. Suppose 3 = 5*b + 53. Do b and v have the same value?
False
Suppose 4*m + s = 57, -m - 2 = 2*s - 5*s. Suppose -2548 = 27*f - m*f. Is f less than -183?
False
Suppose 0 + 0 = -85*q - 0*q. Let x = 2283 + -493129/216. Which is smaller: q or x?
x
Suppose 0*h = 9*h. Let q = h + -13. Let v = -42 - q. Which is smaller: -28 or v?
v
Let f(s) = -14*s + 85. Let l be f(6). Let k be (-25)/(-12550)*(l - 13). Is k at most as big as 0?
True
Let g = 2421 + -1631. Suppose 0 = 4*r - 9*r + g. Which is smaller: 157 or r?
157
Let l be (4/(-8))/(4/(-1304))*-10. Let h be l/(-200) - ((-36)/15)/4. Is 10 bigger than h?
True
Let f = 9 + -20. Let u = 7 + f. Let w = u + 4.3. Is w less than 0?
False
Let v(s) = 25*s - 14. Let f(j) = -24*j + 14. Let i(l) = 3*f(l) + 4*v(l). Let c be i(1). Let t be 12/42 - 4/c. Which is bigger: t or 4/15?
4/15
Let d be (20/30)/(4*1/12). Suppose -r + 7 = 3*x - 13, -d*x + 25 = 3*r. Which is smaller: 50/9 or r?
r
Let p = -2.464 - -2.364. Let l = 114.8 - -416.2. Which is smaller: l or p?
p
Suppose -4*v - n = -48, v + 3*n + 11 - 12 = 0. Let t be -2*v*(12 + -8 + 2). Is t greater than or equal to -156?
True
Suppose 0 = 9*y - 1784 - 8251. Are y and 1115 nonequal?
False
Let u = 3565 + -3635. Do -65 and u have different values?
True
Let g be (56/5)/((-30)/15). Let z(k) = k**2 - 22*k - 29. Let s(n) = -2*n + 1. Let o be s(-11). Let d be z(o). Is d > g?
False
Let t(d) = d**3 + 11*d**2 + 8*d + 4. Let h be t(-10). Let y be h/8 - 117/24*2. Which is bigger: y or -7?
y
Let m = 23413/1239 - 7/177. Which is smaller: -0.1 or m?
-0.1
Let z = 69 - 47. Let d = -20 + z. Let a = -0.057 - -0.557. Do a and d have the same value?
False
Let i = 634.207 - 26.227. Let y = i - -1.02. Is y greater than 1?
True
Let i(w) = 26*w - 2416. Let h be i(17). Is h at most -1974?
True
Let i = -14/27 - -20/27. Let l = -54 + 54.04. Let p = 1.04 - l. Which is smaller: p or i?
i
Let b = 346.3 + -346.6. Is -0.174 at least b?
True
Suppose 0 = -674*v + 658*v. Are v and 1/2138 equal?
False
Let f(q) = -2*q + 21. Let k be f(6). Let n be 41 + ((-55)/(-15) - (-3)/k). Suppose -6*w = 129 - n. Is -12 at most as big as w?
False
Suppose -929 = -4*z - 5*a, 173*z + 4*a = 175*z - 458. Do z and 2068/9 have different values?
True
Let p(q) = 70*q - 141. Let w be p(-34). Which is b