4, 0 = -4*b + j*k - 2*k + 2. Which is bigger: 1/17 or b?
1/17
Suppose 44*w + 3*w - 47 = 0. Which is smaller: w or 1/2407?
1/2407
Suppose 7*m - 2*m - 10 = 0, 272 = 5*w + m. Suppose -1224 = -15*f + 3*f. Let t be (-259)/(-5) - -1 - f/(-510). Which is greater: w or t?
w
Let i be (-4)/10*(-275)/10. Let y be (8 - 1)*1980/924. Which is smaller: i or y?
i
Let z be 0/(40/35 + 1/(-7)). Let l be (-4 - (-4 + z))/1 - 5. Suppose 4*t + 31 = 5*s, -2*t + 4*s - 7 = 13. Is t at most l?
False
Let d = -118.2 + 125. Let b = 6.83 - d. Which is smaller: b or 3/5?
b
Let f = 4666.4 + -4666.5. Let w = 78 + 35. Is f not equal to w?
True
Suppose 2*p + 16 = 5*r + 4, 2*p - 4 = r. Suppose 114 = -3*u - 2*l, -26 = r*u + 5*l + 119. Is u greater than -40?
False
Let w(m) = -30*m + 1078. Let d be w(36). Which is smaller: -72/73 or d?
d
Let j(h) = -7*h**2 + 625*h + 3791. Let d be j(95). Let w be 10*(-2 - (-28)/10). Let i be (0 - 2) + (-58)/w. Is i < d?
True
Let d(g) = 36*g**2 - 6*g - 2. Suppose i - 2*i + 2 = 0. Let v be d(i). Do 129 and v have different values?
True
Let s be 120/(-36) + (-8)/12. Let n = s + 186. Does 0.1 = n?
False
Let j(n) = n**2 + 224*n + 6406. Let s be j(-29). Which is greater: 0.5 or s?
s
Let p be 284/12*(2710/670 - 4). Which is smaller: 2 or p?
p
Suppose -3*v + 7*v = -7*v. Suppose 7*s - 42 + 105 = v. Let a be ((-2)/(-15) - (-12)/s)/(-2). Is 0 > a?
False
Suppose -16*f + 5*f - 1991 = 0. Let l = 395 + f. Is 214 smaller than l?
False
Let h(f) = f**2 + 9*f - 12. Let x be h(-8). Let z be 4/38 + x/190. Which is smaller: 3/7 or z?
z
Suppose i - 4*z - 4 = -20, -2*i + 3*z - 12 = 0. Let y(x) = 2*x**2 - 10*x - 7. Let s be y(6). Suppose s*u - 67 + 62 = 0. Which is greater: i or u?
u
Let s = -0.16312 + 26.16312. Which is bigger: 0 or s?
s
Suppose 29*g = 33*g - 12. Let w be (-1)/g*-9 - -185. Let n be (-4)/(-30) + w/390. Which is bigger: n or 2?
2
Suppose 92 - 160 = 17*r. Let t be (r + 3)/(9/9). Let j = -292 - -4376/15. Which is smaller: j or t?
t
Suppose 9*l + 192 = 597. Suppose -40*o + l*o - 220 = 0. Let f = o + -69. Is -25 at least as big as f?
True
Suppose 3*x - 122 = 3*o - 368, 0 = -4*o + x + 337. Suppose 5306 = -78*t + o*t. Is t > 759?
False
Let a be (-3)/2*3/((-18)/(-8)). Let g(d) = d**3 - 4*d**2 - 5*d - 3. Let p be g(a). Let q(o) = -o - 18. Let v be q(p). Is v at least 3/10?
False
Let y(f) = 26*f**2 - 8*f + 4. Let k be y(2). Let g = k + -459/5. Let x = -0.7 + 2.2. Which is greater: g or x?
x
Suppose 3*s - 81*a + 76*a - 3828 = 0, 3*s = -a + 3810. Is 1272 greater than s?
True
Let r = 4466 - 4578. Which is smaller: r or -11?
r
Suppose l + 438 = 506. Suppose -l*r = -76*r - 8. Is 3/391 at most as big as r?
False
Let z(i) = 23*i + 78. Let c be z(-8). Let t be (c/689)/((1 + -40)/1). Do t and 1 have different values?
True
Let o = 25 + -25. Suppose o = -y - w - 8, 2*y + w - 31 = 4*y. Let t = -62/11 - 151/22. Which is smaller: t or y?
y
Let f(x) = 11*x**2 - 20. Let l be f(5). Do 256 and l have different values?
True
Let t be (-10)/35 + (-163)/(-7) + -4. Suppose t*u = 16*u + 249. Suppose -12 = u*r - 80*r. Is -21/5 greater than r?
False
Suppose -2*p + 4*g = g + 80, -g = -3*p - 113. Suppose 0*r - 3*r = -108. Let y = r + p. Is -14 bigger than y?
False
Let d = -265.4 + 252.07. Let j = d - -13.8. Let r = j + -0.07. Is r at most as big as -4/3?
False
Let z = 46 - -2. Suppose 0 = -12*m + 4*m - z. Let s = -605/87 + 18/29. Which is greater: m or s?
m
Let c = -0.023 - -25.023. Let v = c - 19. Let f = 0.16 + 0.04. Is v > f?
True
Let k be (-19 + -2)/(12/(-12)). Suppose 0 = k*v - 132 - 2304. Do 117 and v have different values?
True
Suppose 6*v - 38594 = d, -103*v - 4*d + 19315 = -100*v. Which is smaller: 6435 or v?
v
Let s = 706 + -790. Let o = s + 85. Is o < 8/129?
False
Suppose 81 = 6*x + 196 + 263. Which is bigger: 5 or x?
5
Let m = 5 - 13. Let z(w) be the third derivative of 5*w**4/12 + 130*w**3/3 + 306*w**2. Let j be z(-26). Is j < m?
False
Suppose 60 - 5 = q. Suppose -5*l = -q - 5. Suppose 14*y = l*y. Is y < 1/129?
True
Let k(t) = -t**2 - 1. Let y be 13/11 + (-2)/11. Let h(p) = 2*p**2 - 13*p - 5. Let n(j) = y*k(j) - h(j). Let w be n(6). Are w and -27 equal?
False
Let q be 13/(910/(-651)) + 10/25. Is -10 at least as big as q?
False
Let s be 11 - (1216/11 - 9). Is 1 less than s?
False
Let w = -3883366180 - -81224487049385/20916. Let u = w + -1/581. Let q = u - 10/9. Which is greater: 0 or q?
q
Let w(l) = l**3 + 26*l**2 - 25*l + 59. Let k be w(-24). Which is smaller: 1808 or k?
1808
Let m = 0.061 + -29.161. Let q = m - -28.1. Which is greater: 209 or q?
209
Let v(f) = -10*f + 16. Let y be v(10). Suppose 1066 - 1398 = 4*c. Is c at most y?
False
Suppose -183 = 16*f + 5113. Let p = 341 + f. Let j = -2 - -11. Is p less than j?
False
Let v = 10.68 + -9.2. Let y = v + -33.28. Which is bigger: y or 1?
1
Let h = -248 - -246. Let a be h + 1 - 39/1. Is 0.5 smaller than a?
False
Suppose -3*m = s - 2*s, s + 5*m = 0. Suppose s = -2*a - 5*c - 15, -3*a + 2*c + 15 = -10. Suppose u = -2*f + 63, -u + 2*f = -a*u + 252. Is 63 >= u?
True
Let z(w) = 4 + 11 - 20 - w + 7. Let q be z(1). Let f = -5 + 6. Is q < f?
False
Suppose 0 = -195*b + 197*b + 158. Let u(m) = -2*m**2 + 4*m - 8. Let p be u(7). Which is bigger: b or p?
p
Let f(s) = -54*s - 54. Let d be f(-1). Let k = 139 + -698/5. Which is bigger: d or k?
d
Let h be (69/(-95))/(93/(-1395)). Which is smaller: h or 12?
h
Let q = -54 + 56. Suppose q*n + 2*n = -316. Let z = -74 - n. Which is smaller: 30/7 or z?
30/7
Let u be 1/6*27/(-5)*(-60)/1818. Which is smaller: u or 1/23?
u
Let q be 48/16 + -23 + -2. Let o be -4 - ((-3)/(-18)*q - 0). Which is bigger: o or -0.2?
-0.2
Let c be -15*(-21*4/(-12) + (-164)/12). Which is bigger: c or 95?
c
Let y be (855/135 - (-3 - -7))*-1743. Which is bigger: -4066 or y?
-4066
Let y = 429.98 + -434. Let n = -3.606 + -0.394. Let z = y - n. Is z less than -0.1?
False
Suppose -61*k + 65*k = 308. Suppose 3*l + 5*m = 149 + k, 2*m + 284 = 4*l. Let p be -2 - (1 - 3) - l/(-10). Is 6 not equal to p?
True
Let f = -489.8 + 519.2. Is 0.3 less than or equal to f?
True
Suppose 5*n - 12 = 13. Suppose n*h + q = -8, q - 4 - 4 = 3*h. Let a be (-3 - (1 + -7)) + (-3 - h). Is a at least as big as 1?
True
Suppose 0 = -p + 38*k - 42*k - 2650, p - 5*k + 2605 = 0. Is -2632 at most p?
True
Let s be ((-4)/6)/(48/(-36))*62. Let y be ((-2)/10)/(6/(-6)) - s. Which is smaller: y or -32?
-32
Let d(z) = -2*z**2 + 19*z - 78. Let h be d(8). Suppose 5*c + 255 = 5*i, -5*c - 3*i + 7*i = 260. Is c > h?
False
Suppose -3*y - 5*p = -8*y, 3*y = -p - 12. Let d = 2845 - 2844.937. Does y = d?
False
Let o be -2*5*5/(-2). Let a = -1.44468 + 1.41468. Which is smaller: o or a?
a
Suppose -41*d + 45 = -26*d. Let g = 1217 - 8495/7. Which is bigger: d or g?
g
Suppose 4*q - 5 = 3, 5*q = -3*f - 116. Let c = 6 - f. Is 49 less than or equal to c?
False
Let p = -1 + 2. Let y be 206/(-2*(-1)/(-2)). Let w = -10508/51 - y. Is p < w?
False
Let w = -142177143849/305 + 466153799. Let p = w - -771. Which is bigger: p or -1?
p
Suppose 0 = -57*k + 55*k + 46. Let g = k + -116/5. Let p(x) = x. Let w be p(-7). Which is smaller: w or g?
w
Let q = 18608 + -10147. Which is smaller: 8462 or q?
q
Let h = 17846.5 + -17846. Is h >= 0.772?
False
Let s = 10405 - 62689/6. Is s bigger than -42?
False
Let u = -4994 + 4997. Suppose -12 = 2*v + 4*x, -5*x = -5*v + 35 + 10. Suppose -r + v = 2, -r = u*z - 2. Which is bigger: z or 2/261?
2/261
Suppose 3*q + 8*v + 4 = 3*v, 3*q - 5*v + 14 = 0. Let n(x) = -2*x - 7 - 4 - x. Let f be n(q). Which is smaller: -17/6 or f?
-17/6
Let q = -668286395/5074 - -131708. Which is smaller: q or 0?
q
Let n(p) = 93*p - 1022. Let f be n(11). Which is smaller: -1/3191 or f?
-1/3191
Suppose 143*g - 528*g = 0. Let s = 224/9 + -8951/360. Is g < s?
True
Let t = -41112 + 22664. Which is bigger: -18449 or t?
t
Let o be (-8)/(-12) + (-28816)/24. Let q = -123599/103 - o. Is 1 greater than or equal to q?
True
Let l = 0.0181 + -0.0004. Let d = l + 2.9823. Is d greater than -26?
True
Let s = 3057991/259 + -11807. Are s and -1 equal?
False
Let i = 1300 - 1300. Which is smaller: i or -523/2?
-523/2
Let q be ((-35687)/7770 - -5) + (-682)/55 + 12. Is q less than or equal to 0?
False
Suppose 30*g - 25*g = 0. Suppose -64 = 4*m + s - 0*s, g = 2*m - 5*s + 54. Let x(r) = r**3 + 18*r**2 + 15*r - 32. Let b b