x = -258 + 257. Which is bigger: 0.101 or x?
0.101
Suppose 10 = 4*x - 4*m - 14, -3*x = 3*m - 30. Let y be (-80)/(-15)*18/x. Is y < 14?
True
Let j(g) = 14*g + 1. Let l be j(-5). Let p = 184556/7 + -26295. Let h = p + l. Which is bigger: 0 or h?
h
Let j(t) be the second derivative of -t**5/20 - t**3/6 + 5*t**2/2 - 3*t. Let m be j(0). Let p = -24 + 26. Is p at least m?
False
Suppose -5*s + 3*s + 2*m + 106 = 0, -4*s - 5*m + 176 = 0. Which is smaller: 51 or s?
s
Let n = -1.2 - 2.74. Let d = n + 3.7. Let q = d + 0.34. Which is smaller: -18 or q?
-18
Let t be 2/4 - (-2 + (-1395)/(-6)). Is -230 bigger than t?
False
Let v = -202 - -185. Which is bigger: v or -16?
-16
Suppose c - 288 = -8*c. Is c equal to 32?
True
Suppose 4*u = u + 3. Let j = 5398/95 - 1080/19. Which is smaller: u or j?
j
Suppose 132*v = 142*v + 10. Which is greater: v or -1/3?
-1/3
Let o(c) = -c + 2. Let x be o(10). Let a be (-9)/(-105) + x/28. Let z(r) = -2*r - 15. Let u be z(-8). Which is greater: a or u?
u
Let w(x) = 2*x**2 + 15*x - 6. Let r be w(-8). Suppose r*z = 5*y + 13, -z - z - 3*y = 11. Let c be (-2)/5 + (-29)/40. Is z > c?
True
Let v = 0.8 + -0.2. Let q be 320/(-400)*(-10)/28. Is q at most as big as v?
True
Let l = -65 - -58. Let r be (-3 - l/((-63)/(-24)))*15. Is -3 bigger than r?
True
Suppose -7 = -2*f + 7. Let q = -5.66 + -0.34. Let u = q + 6.2. Is f equal to u?
False
Let q = 1001.1 - 1001. Is 4.36 < q?
False
Let o(s) = -19*s - 8. Let y be o(3). Let p = -131/2 - y. Which is bigger: -42 or p?
p
Let i be (1/(-3))/(6/9 - 1). Which is bigger: i or -1/8?
i
Suppose -q + 49 = -2*y, -3 = -4*y + 13. Let r = q - 55. Which is greater: r or 0.5?
r
Let n be (6/(-18))/(4/318). Let h = n + 27. Is -7 != h?
True
Let p(y) = y - 5. Let k be (-2 + 12)*(-8)/16. Let t be p(k). Is -11 greater than or equal to t?
False
Let a = -21 + 18. Let j be (-68)/(-76) + 3/a. Let i be -2 + -1*(-1 + 0). Is j not equal to i?
True
Let b = 16 - 13. Suppose 4*k - 2*c - 3*c = -20, -b*c + 12 = 2*k. Let y be (-4)/114*(-13 - -10). Which is greater: k or y?
y
Let o = -19.39 - -20.2. Let y = -0.11 + o. Is 0.1 < y?
True
Let o = 342 + -370.3. Let d = o + 27. Which is smaller: d or 0?
d
Suppose 2*l - 2*x = 2, 4 = -3*x + 1. Which is smaller: l or -2?
-2
Let g be 12/3*142/(-8). Let z = 12 + -84. Which is smaller: g or z?
z
Let m be 2 - (6600/3301 - (-2 + 2)). Are -1 and m non-equal?
True
Let l(t) = t - 4*t + 4*t - 2 + 1. Let u be l(5). Suppose -3*c - 24 = -39. Which is smaller: u or c?
u
Let z = 768 + -758. Does 114/13 = z?
False
Suppose -2*m - t + 29 = 4*t, -5*m + 35 = 5*t. Suppose m*o + 10 = 4*o, -o = -5*a + 205. Are a and 42 nonequal?
False
Let x(d) = d**3 - 21*d**2 + 20*d - 1. Let f be x(20). Is f less than -2/1925?
True
Let d = -475 - -390. Is d bigger than -87?
True
Let t be ((-3)/(-6))/((-1)/(-2)). Let d = 0 - t. Let h(c) = -2*c**3 - 72*c**2 - 3*c - 108. Let g be h(-36). Which is greater: g or d?
g
Suppose u + 3*o - 15 = 0, 5*u = o - 0*o + 11. Let g(c) = -c**2 - 4*c + 3. Let h be g(u). Let l = h - -18. Which is smaller: -1 or l?
-1
Let w be (-2 - -54)/(-4) - -2. Which is smaller: w or -13?
-13
Let f = 6.73 + -8.876. Let q = f + 0.146. Which is smaller: q or 1?
q
Suppose -30*w = 229 - 199. Which is bigger: w or 9/347?
9/347
Suppose -217 + 562 = -5*d. Is d at least -69?
True
Let m = -3/4661 + -992760/51271. Which is smaller: -20 or m?
-20
Let u = -1135/43 + -47507/129. Which is smaller: u or -396?
-396
Let j = -96238 - -1057886/11. Which is bigger: j or -66?
-66
Let p be (-2 + 1 - (-5)/(-5)) + 89. Let t = p + -55. Which is smaller: 33 or t?
t
Let y be (-1635)/60 - (-1)/4. Let n = -10 - y. Let h = -18 - -34. Which is smaller: n or h?
h
Let m = 19 + 34. Let c = -52 + m. Suppose 4*z + 3*y = 6, -5*y = -9 - 1. Do z and c have different values?
True
Suppose 0 = x - 2*c - 14, 2*c - 53 = -2*x - 19. Suppose -4*i - x = -2*i. Let t be 4*((-4)/i - 0). Is 2 at least t?
True
Suppose 4*b - 3*x = 55, 5*b - 2*x - 65 = x. Suppose -b = -5*k - 0*k + 5*p, 3*k - 2 = -p. Suppose o - 2 = 1. Which is bigger: o or k?
o
Let g = -12 + -7. Let j = g - -16. Which is greater: j or 1.2?
1.2
Let i = 12.57 + -11.57. Which is smaller: i or 3/98?
3/98
Suppose 9 = -8*c + 11*c. Suppose 0 = c*r + 15, 4*x - 3*r = -462 - 319. Let k = x - -6369/32. Which is bigger: k or -1?
k
Let a = -309 + 297. Which is bigger: a or -0.05?
-0.05
Let q = 15/7 - 359/161. Let c = -1 + 2. Let a(y) = -y**2 + y - 1. Let w be a(c). Does w = q?
False
Let k(m) = -m**2 + 4*m + 7. Let y be k(4). Suppose d + 0 = y. Which is smaller: 36/5 or d?
d
Let r = 413.92 - 25.92. Which is greater: r or 2?
r
Suppose 3*b + 186 = -120. Let r = 509/5 + b. Which is smaller: r or 1/21?
r
Suppose -5 = -2*d + 7. Suppose 3*u + 16 = s, -4*u - 19 = 2*s - 1. Suppose s = -7*n - d. Which is smaller: 6/23 or n?
n
Let z be ((-21852)/(-2733))/(-2) + (21 - 17). Which is smaller: z or 1?
z
Let t be 548/2*1/(-18)*2. Let p = -1559/45 - t. Which is smaller: p or -4?
p
Let h(a) = -9*a - 463. Let t be h(-14). Is -336 less than or equal to t?
False
Let d = -272/165 + 50/33. Let i be (1/2 + -1)*0. Which is smaller: i or d?
d
Let o = 368 + -250. Is 119 greater than o?
True
Suppose 4*l + 36 = 4*d + 12, -2*d - 4*l = 0. Let w be -1 + 2 - (-2 - (0 - -1)). Suppose 0 = -0*r + 5*r - 3*h - 8, w*r = 2*h + 8. Is r at most d?
True
Let v = 3 + -4. Let o = -1 - v. Let r be (-2)/(-19) - 396/(-570). Which is greater: o or r?
r
Let l = -0.45 - -7.45. Let a = -1.9 + 1.5. Are a and l unequal?
True
Let y(b) = b**3 + 39*b**2 - 75*b + 42. Let z be y(-41). Which is bigger: z or -246?
z
Let m = 5319 - 5317. Let t = 4.9 + -30.9. Which is smaller: m or t?
t
Let i(r) = -2*r**2 - 28*r - 19. Let s(y) = -3*y**2 - 27*y - 18. Let o(b) = 5*i(b) - 4*s(b). Let p be o(16). Is p > -25?
True
Let f = -54167133 + 528942053266/9765. Let c = -1/217 - f. Is 0 bigger than c?
False
Let z = -217 - -1518/7. Let l be (-4)/(144/(-28)) + -1. Are z and l equal?
False
Suppose 14 - 2 = 3*o. Let p be 826/(-1820) - o/(-26). Let a = -4 - -5. Is a less than p?
False
Let i(c) = -2*c**2 + c + 10. Let z be i(-2). Let o be (6/(-232))/(2/(-32)). Let v = 262/493 - o. Which is smaller: v or z?
z
Let v = -1 + 1. Suppose v = -2*l - 0*l + 2. Suppose -2*d = 4, 97 = 4*y + 3*d + 95. Which is smaller: y or l?
l
Suppose 80 = 3*m + 2*m + y, -3*y = -5*m + 100. Let t(v) = v - 21. Let d be t(m). Let c be d/(-10) - 38/(-5). Is c >= 7?
True
Let m = 139 - -44. Suppose 3*r + u = m, -2*r = -0*r + 4*u - 122. Suppose 5*w = 19 + r. Do -1 and w have the same value?
False
Let h = 805 + -793. Which is smaller: h or -0.06?
-0.06
Let t = -18634621/60170 + -14/30085. Let h = t - -310. Suppose -4*g = g. Does g = h?
False
Let t = -47 - -32. Does t = -14?
False
Let j(x) = -40*x + 79. Let z be j(2). Which is bigger: -1/820 or z?
-1/820
Let d(h) = -h**2 - 18*h - 88. Let y be d(-10). Is -19 < y?
True
Let l = -1.16 + 1.2. Suppose 0 = 4*z + 5*b + 28, z - 2*z + 14 = -4*b. Is z greater than l?
False
Let x be (-10166)/374 + 6/33. Is x <= 19?
True
Suppose p + 4 - 4 = 0. Let x be 5/(-5) + p - -7. Suppose -3*l + 5*y = -40 + 6, 0 = 5*l + 5*y - 30. Which is bigger: x or l?
l
Let d(u) = -8*u. Let c be d(-1). Let t(j) = -j**2 - 31*j - 49. Let o be t(-29). Is c < o?
True
Let o = 4 - 7. Let n = 0.28 - 0.05. Let s = n + -0.13. Which is greater: o or s?
s
Let s be ((-4)/112)/(1/(-2)). Let k = 17 + -13. Suppose 5*t - i + 3 = 0, -4*i + 6 = -k*t - 2*i. Are s and t non-equal?
True
Let l(h) = h**3 + 3*h**2 - 2*h. Let o be l(2). Let n = -15 + o. Are -1 and n non-equal?
True
Let m = 17 + -15. Suppose n - 5*j = 2, -n = -5*n + 5*j - 22. Let d be (n/32)/(m/(-52)). Is d > 8?
False
Suppose -9*z + 2*z = 0. Let k be ((z - 2) + 2)*-1. Suppose k = 7*d - 5*d - 4*u + 26, 5*d + 2*u = -101. Is -19 > d?
False
Let o = -336 + 336. Which is smaller: -813 or o?
-813
Let x be (-115)/506*(-12)/5. Which is bigger: 2 or x?
2
Suppose 2*m + 660 = 662. Is 10/21 >= m?
False
Let y = -0.751 + -0.049. Let p be (12/9)/(2/(-3)). Is y at least as big as p?
True
Let o = 10.8 + 21.1. Let g = o + -32. Is g >= -8?
True
Let x = -3.19 + 3.19. Which is bigger: x or 2.5?
2.5
Suppose 210 = -2*m + 600. Which is smaller: 197 or m?
m
Suppose m = -3*g - 8, -8 = 2*m - g + 3*g. Is m bigger than -9?
True
Let s = -86 + -44. Which is smaller: -128 or s?
s
Let l(z) = -28*z**2 + 9*z - 