ose -4*b = 366 - 86. Let n be ((-950)/76 - 4/(-8))*6. Which is smaller: n or b?
n
Suppose 48 = 3*s + s. Suppose 3*f + 36 = s*f. Suppose f*i - 72 = 2*i. Which is smaller: i or 0?
0
Suppose -4*h = s + 15, 4*h + 9 = -3*s + h. Let o(n) = 59*n**2 + 6*n - 4. Let k be o(s). Let f = -130 - -190. Which is greater: f or k?
k
Suppose 8*z = 221 + 299. Suppose -18*k - 6*k = -1584. Which is smaller: k or z?
z
Suppose 0 = 31*p - 5858 + 21434 + 15610. Which is bigger: p or -1005?
-1005
Suppose -5*z + 31*z = -650. Which is smaller: z or -268/11?
z
Let s = 0.6 - 0.6. Let d be (15/390)/((-10)/(-240)). Which is smaller: s or d?
s
Let c(i) = -i**3 - 9*i**2 - i - 20. Let u be c(-9). Let s be ((-5)/(-15))/(u/18). Which is bigger: s or -0.14?
-0.14
Let u(w) = 2 + w**2 - 6*w + 8*w + 4*w - 17. Let z be u(-8). Let t be (8/10*5/31)/6. Is t less than z?
True
Let x be 1/(-2) - (-10)/(-16). Let l(a) = -3*a + 41. Let s be l(15). Let p be (12 - 12)*2/s. Is p less than x?
False
Let t be 7600/(-6840) + 23*2/36. Is t at least as big as -4990?
True
Suppose -5*z + 10*a + 73 = -4*z, 368 = 4*z - 2*a. Which is bigger: 75 or z?
z
Let c be ((-567)/(-28))/9*1104/9. Let s be (1173/c)/(1/28). Which is smaller: 117 or s?
117
Suppose -2 = y - 3*f, y = -112*f + 116*f - 2. Is -152/59 bigger than y?
False
Let t be (-7)/(420/(-96))*15/(-2). Let f(g) = -12*g - 107. Let m be f(t). Let c = -45 - -83. Which is greater: m or c?
c
Let r = -499 + 504. Suppose 35 = s + 5*h, 29*s + 135 = 34*s + r*h. Which is smaller: s or 31?
s
Let j be 2343/45 + 600/60 - (-10)/(-6). Is j less than 61?
True
Let b = -8592 - -8591. Do -14/463 and b have the same value?
False
Let m be (-3 + (-2851)/(-951))/(23/3). Is 0 > m?
True
Let j(l) = 18*l**2 + 13*l + 4. Let z(a) = -37*a**2 - 24*a - 9. Let b(w) = 13*j(w) + 6*z(w). Let y be b(-4). Which is bigger: y or 91?
91
Let o(c) = -c + 2. Let v be o(-5). Suppose -w + 30 = 3*w - 2*j, w - 15 = -2*j. Suppose f + v = -x, -w*x + 7*x = -2. Which is bigger: -27/4 or f?
-27/4
Let s = 0.2142 - 1.2142. Do -2531 and s have different values?
True
Let h = -25206.6092 - -25206. Is h less than -0.1?
True
Let r be (-15)/((-10)/4 - -3). Let t be (r/8)/(9/(-24)). Let q be (t/15)/(88/(-54) + 2). Which is smaller: 1 or q?
1
Suppose 123*r = 41379 + 6345. Is 385 greater than or equal to r?
False
Suppose -62*y + 63*y + 3 = 2*n, -3*n + 4*y = -12. Which is smaller: -2/1023 or n?
-2/1023
Let i be 505 + -3 - (10/5 + -5). Let z = i + -505. Are z and 36/35 unequal?
True
Let r = -22109 + 22095.8. Which is smaller: r or 10?
r
Let f be (-7)/(-126)*-24 - (1 - 3242/(-3)). Which is smaller: -1084 or f?
-1084
Let g(i) = -i**3 - 41*i**2 - 507. Let c be g(-41). Is c <= -508?
False
Let a be (9/12 - 24/(-96))*(-1 + 2). Which is smaller: 47/303 or a?
47/303
Let n = -9.94 - 0.06. Let o = 1096 - 1086.1. Let c = o + n. Does 76 = c?
False
Let w = -3536.93 + 3573. Let b = w - -0.03. Let m = 36 - b. Which is smaller: m or -0.06?
m
Let p(n) = n**3 + 14*n**2 - 12*n + 44. Let j be p(-15). Let c be (j/4)/(75/350). Is c smaller than -1?
True
Suppose 480*q + 8*c + 51 = 475*q, 4*c = 4*q - 32. Let z(b) = -b**2 - 7*b - 4. Let t be z(-6). Let o be t - q/((-31)/(-66)). Which is smaller: 1 or o?
o
Let o(b) = 64*b**2 + 391*b + 2973. Let u be o(-8). Is 3941 bigger than u?
False
Let z(g) = -3*g + 65. Let r be z(21). Let o be (r + 2)*-1*(-6)/1496. Which is smaller: 0 or o?
0
Let d(n) be the third derivative of n**6/120 + 9*n**5/20 - 4*n**4/3 - 20*n**3/3 - 2620*n**2. Suppose 65 - 9 = -2*m. Let l be d(m). Is 72 != l?
False
Let l be 3/(-2)*4*(-252)/(-189). Let v be (5*l/40)/1. Which is bigger: 4/129 or v?
4/129
Let n = -346503301/195735 - -31/39147. Let j = 1772 + n. Let t = -14/15 - j. Which is smaller: t or -1?
t
Let j be 1/4 + 945/(-756). Let l = -0.37 + -5.03. Is j > l?
True
Let l = -1547 - -5997. Is 4450 smaller than l?
False
Let h = 1103 - 1216.1. Let u = 82.1 + h. Is 2/9 equal to u?
False
Suppose -8*p = -81 - 295. Suppose p*c = 37*c + 570. Is 58 greater than or equal to c?
True
Let d = 0.06264 + 344.93736. Which is bigger: 0.08 or d?
d
Suppose -410*w + 434*w - 17712 = 0. Which is greater: w or 736?
w
Suppose -5*h - 2018 = 3*r, -17*h - 32 = -21*h. Is r greater than -7552/11?
True
Let z = 155.64 + -154. Let d = -1.37 + z. Which is smaller: 2/5 or d?
d
Let x = -12768 - -12889. Is x < 1584/13?
True
Let j be 3603/(-1248) + (-2)/8. Let k = 42/13 + j. Let y = -10402 + 10403. Which is greater: k or y?
y
Let z be 6 + 2/((-14)/35). Let b be 3 + -8 + (z - 1). Does 3/7 = b?
False
Let o(z) be the third derivative of z**5/60 - z**4/3 + 5*z**3/6 + 6*z**2. Let j be o(7). Let v = 0.144 - -0.056. Is v bigger than j?
True
Suppose 40 = 2*w + 126. Suppose 0*l - 68 = 2*l. Let t be (-1 + -87)*(-17)/l. Which is bigger: t or w?
w
Let z be 3/(-12)*((-32998)/154 - -13). Which is smaller: 50 or z?
50
Let r = -0.0192 - 220.9808. Let b = r + 223.46. Let c = b + 0.54. Is c > -0.3?
True
Let s = 6 + -49. Let k = 44.334 + -0.334. Let m = k + s. Which is bigger: m or 22/7?
22/7
Suppose j = -13 + 21. Suppose -j + 116 = 2*z. Is z greater than or equal to 53?
True
Let a = 7 - 7. Let i be 4 - (-1 - -18*(-2)/(-4)). Let c be (-2)/i - 130/244. Which is greater: c or a?
a
Suppose 7*r + 17 = 28 - 18. Is r >= -30/787?
False
Let i(f) = 42*f - 589. Let o be i(14). Is o less than or equal to -18/77?
True
Suppose 0 - 2 + 4 = 2*s. Do s and 196 have different values?
True
Suppose 5*h - 7 = 12*h, 2*x - 1 = h. Which is smaller: x or 1/23157?
x
Suppose -3*k - 39 = -3*g + k, 33 = 5*g + 4*k. Suppose -g*m - 5 = -4*m + 5*b, 0 = -5*m + 4*b - 5. Let q be (2 - 0) + (-42)/27. Which is greater: m or q?
q
Let b be 4*(-2 + -1)/6. Let w(u) = u. Let a be w(b). Let s be 2/120 + (4/(-5))/a. Is s <= -1?
False
Let j(f) = -f**2 + 16*f + 26. Let z be j(9). Suppose -8*h + z = -15. Let u(y) = -6*y + 56. Let p be u(h). Which is smaller: p or 0.1?
p
Let c = 9/7460054 - -1064154320823/1753112690. Let g = -607 + c. Which is smaller: g or 0?
0
Let x be (-170)/374*(-1593)/105. Let b = 275/56 + -93/8. Let c = x + b. Do -5 and c have the same value?
False
Let r = 54 - 199. Let t = -10.38 - -9.38. Which is smaller: r or t?
r
Let p(s) = -240*s - 363. Let f be p(-17). Let t be 2 + (6369/f)/((-6)/7). Are t and 1 non-equal?
True
Suppose -5*y = p - 32, 24 = 3*p - 0*p - 3*y. Let g be 256/(-6) + -2 + p/2. Which is smaller: g or -38?
g
Let k(w) = 16 + 42 + 14*w - 4 + 10. Let a be k(-11). Let x = a + 62. Which is smaller: x or -29?
-29
Suppose 119*v + 34 = -6 - 79. Which is smaller: -40/59 or v?
v
Suppose 3*x + 4*v = 2*x - 18, 4*x - 3*v - 23 = 0. Let r be -2*49/14*5. Let z be (8/14)/(10/r). Is z less than x?
True
Suppose 3*l + 1 = 5*d - 0, 0 = -3*d - 3*l - 9. Let p(t) be the first derivative of -t**3/3 - t**2/2 - 101. Let i be p(d). Which is bigger: 10/13 or i?
10/13
Suppose -24*q + 1560 = -1536. Suppose 2*o = 3*w - q, -9*w + 194 = -3*o - 5*w. Which is greater: o or -62?
-62
Let f = -1449453057/7307 + 198365. Let g = f - -29730/1834057. Which is greater: g or 0?
g
Let t = 4637.3 - 4599.271. Let x = -38 + t. Let g = -0.171 - x. Which is smaller: g or 3/4?
g
Let i = 5314 + -5344. Is -12 less than i?
False
Suppose -2*l + 3*g = 2*l - 12, -3*l + 8 = -2*g. Let u = -1397 + 166246/119. Do u and l have the same value?
False
Let v(l) = l**3 + 9*l**2 - 9*l + 15. Let f be v(-10). Suppose 4*k = 20, -k = -f*h + 2*k - 20. Is h at least 1/50?
False
Suppose -4*m + 40 = 36. Let u be (m/3)/(56/1968) - -4. Do u and 16 have the same value?
False
Let d = 23278 - 23278.271. Are 0.008 and d equal?
False
Let p = -6 + 5. Let s be 3/9*3 + ((-3118)/520 - -5). Is s > p?
True
Let p = -197/33 - -321/55. Which is bigger: p or -52?
p
Suppose 0 = -177*r + 180*r - 1674. Let y = r - 555. Is y bigger than 39?
False
Let z = 21/6649 + -6796/46543. Let o = 109/12 - 28/3. Which is smaller: o or z?
o
Let l = 22 - 23. Let z = 3.3 + l. Let p = z + -2.1. Is p bigger than 0.01?
True
Suppose -114 = -14*h + 26. Let d = -416 + 431. Which is greater: h or d?
d
Let r be -35 + (-1)/(2 + 1 + -4). Let l = 6534 + -26003/4. Let m = r + l. Which is bigger: 0 or m?
0
Let r = 37/31 - 5572/279. Which is bigger: r or -19?
r
Let c = 0.02 + -0.03. Let q = c - 0.29. Let a = 2768 + -2754. Is a < q?
False
Let m be (-2)/(-9) - (5283/81 - 0). Let l = 153 + m. Which is smaller: l or 87?
87
S