 i*c = -3*m + 20, 5*m - 4*c = -0*c + 70. Which is bigger: z or m?
m
Let d = 269 + -257. Let l be -54 + (5/(-15))/(1/d). Is -58 smaller than l?
False
Let d be (-10 + 20)*(-1 + (-7)/(-5)). Let u = 13 - 14. Let v be (u - d)/(((-21)/(-9))/7). Are -31/2 and v non-equal?
True
Let v = -1361 - -937. Let r = v - -426. Which is smaller: r or 64?
r
Let d(j) = 3*j**3 - 26*j**2 - 8*j - 56. Let b(g) = 4*g**3 - 27*g**2 - 7*g - 56. Let u(a) = -4*b(a) + 5*d(a). Let w be u(-22). Which is smaller: 1 or w?
1
Let s = 87 - 49. Let u = s - 0. Let n = 43 - u. Is -3 not equal to n?
True
Let v = 464 - 461. Suppose 4*k = -2 - 10, -2*g - v*k - 25 = 0. Which is smaller: g or -19?
-19
Suppose -1418567 = -197*t + 120564 + 544735. Is t at least 10579?
False
Let l be (3/566)/((-18)/8)*2046/2728. Which is smaller: 1 or l?
l
Suppose -h = -5, -m + 3*h - 9 = 10. Let f = -24 - -29. Suppose -6*x - f = 37. Which is smaller: x or m?
x
Suppose 4*j = -5*i - 49 - 35, j = -2*i - 24. Is 5 < j?
False
Let j be (624/32 - 24)*4/412317*-3. Which is bigger: 0 or j?
j
Let l = -140.4 - -136.4. Which is bigger: 93/4 or l?
93/4
Suppose 34 = 7*c + 76. Suppose -z + 7 = -n, -n + 3 = 3*z + 2. Which is bigger: c or n?
n
Suppose -3*s - 1627 = 4*y + 1090, -3*s = y + 2693. Is s bigger than -895?
False
Let f be (-132)/(-20) + (-42)/(-105). Let n = -3 - -5. Suppose -f = -n*l - 5. Which is smaller: -1/16 or l?
-1/16
Let m(j) = -26*j + 157. Let i(f) = 3*f - 93. Let g be i(33). Let u be m(g). Which is bigger: u or -1/30?
u
Let n = 132 + 114. Let x = n + -245. Let k = -1272/7 + 182. Is k smaller than x?
True
Suppose -9*x = -8*x. Suppose x*i - i + 12 = -q, q + 12 = -2*i. Let j = -65 - -54. Which is smaller: q or j?
q
Suppose -5*n - 3950 = -10*g, 2*g + 5*n = -2*g + 1622. Which is smaller: 393 or g?
393
Suppose -14*k = 41*k - 55. Which is smaller: k or 6/649?
6/649
Let d = 4143/28 + -148. Let u = -982 + 11783/12. Which is smaller: u or d?
u
Let c be (-4)/(-68) - 5718/102. Is -52 at most as big as c?
False
Let d = 0.1 - 0.1. Let h = -24.26 - 2.94. Let n = -37.2 - h. Is n greater than d?
False
Let z = -374 + 585. Suppose 0 = 6*d + z - 79. Let m = d + 25. Which is smaller: 0 or m?
0
Let n = -2566 - -1111. Is n at least as big as -1456?
True
Suppose -33*p - 28503 = -30*p. Which is smaller: p or -9502?
-9502
Let g = -98/5979 - -280759/21141744. Which is smaller: 0 or g?
g
Suppose -y - 4 = -2*h, -2*y + 4 = 9*h - 10*h. Let c be (-60)/10 - (-50 + (1 - h)). Is c not equal to 3/2?
True
Let b(z) = -z**2 - 9*z + 2. Suppose -3*j - 3*c = 36, -7*j = -2*j + c + 52. Let i be b(j). Is i equal to 8?
False
Let j be (-63)/14 - (0 + (-5599)/1265). Which is bigger: j or 0?
0
Let i = 1111512182/67 + -16590757. Let d = -1023 - i. Let c = 2080 + -2081. Is c smaller than d?
True
Suppose -4*z + 4 = -w + 59, 66 = -5*z + 4*w. Let h(d) = -193*d**2 + 5*d + 3. Let y be h(-1). Let r = 178 + y. Does r = z?
False
Let j = -4 - -3. Suppose -437*s = 347*s + 7840. Which is smaller: s or j?
s
Let w be (6/21)/(100/(-242) - 0/22). Which is smaller: w or -2?
-2
Let x = -278 + 278.077. Let p = x + 11.123. Is p at most as big as -0.1?
False
Suppose -z - 3*z = 28. Let t(p) = 8*p**3 - 3*p - 13 - p + 2*p - 7*p**2 - 9*p**3. Let j be t(z). Which is bigger: j or 4/9?
j
Let m be (0 + -1)/(-6 - -7). Let s be -11 + 1872/168 + (-106)/350. Is s smaller than m?
False
Suppose 0 = -8*w + 4*w + 28. Suppose 0 = s - w*s - 0*s. Which is greater: -1/171 or s?
s
Suppose -244 = -4*t + 356. Let n = t + -148. Which is bigger: 7 or n?
7
Let m = -5.51 - -6.191. Which is smaller: m or 0.1?
0.1
Let q = 7748 - 7747.56. Do 12/5 and q have the same value?
False
Let h = -3/5323 - -11477/1474471. Is -0.03 less than h?
True
Let q be (87/(-15) + 7)/(4/661). Let d = q + -198. Which is smaller: d or 1?
d
Suppose 153*n + 29802 = -3399. Which is greater: n or -196?
-196
Let u(b) = 42*b + 873. Let z be u(57). Which is smaller: z or 3270?
z
Suppose 3*s + 11 = 2, 5*w + 4*s - 8 = 0. Suppose w*f + 57 = 17. Let v be 4/f - (-7)/80. Which is greater: v or -1?
v
Let v = 306 - 297. Suppose -108 = v*j - 0*j. Do j and -1 have the same value?
False
Let g be ((-11)/(-18) - 1) + (-2710)/24390. Is 0.418 greater than g?
True
Let o be (2826/(-32)*6)/((-6)/120*-30). Is -0.2 greater than or equal to o?
True
Let i(c) be the third derivative of -c**5/60 + 5*c**4/24 + 61*c**3/6 - 66*c**2. Let g be i(10). Is 21 equal to g?
False
Let x = 65699/356 + -17/356. Is x bigger than 184?
True
Let s = 117668 - 117668. Let k be (1 - -1) + (-159)/77. Is s at most as big as k?
False
Let a be (-4)/14 + 126/98. Let v = 10/227 - 1524/24289. Are a and v non-equal?
True
Let g be (-115)/4 + (-5)/20. Let z be (3/((-637)/140 + 5))/((-10)/45). Which is bigger: z or g?
g
Let t = 63/478 - -261729/5258. Which is greater: 51 or t?
51
Let s be (-251)/((-185)/30 - -8). Which is bigger: -136 or s?
-136
Let l = -27029 + 26692. Is l less than 31?
True
Let w(o) = 16 - 20*o + 0*o**2 - 7 - 126*o + 4*o + 12*o**2. Let h be w(12). Do 193/6 and h have the same value?
False
Let i = -3142 - -3141. Which is bigger: 3/305 or i?
3/305
Let t(u) = u**3 - 4*u**2 - 4. Let s be 1*((-1)/(-1) - -3). Let o be t(s). Let i be (o/(-32)*4/2)/(-2). Which is greater: i or 0?
0
Suppose -5*q + 190 = -2*i - 20, -i - 84 = -2*q. Let u = 27 - q. Is -13 less than or equal to u?
False
Suppose 5*h + c - 3682 = 0, 9*h - 4*h - 4*c - 3697 = 0. Let b = h + -738. Is b != 1/369?
True
Let c be 2/(-12)*-8*27/12. Let l be c*1/(-3) - -3 - -2. Let p = 0.25 - 2.25. Is p greater than l?
False
Suppose 0 = p - 2, 6*p - p = -4*n + 10. Let r = -87023.1 - -87020.26. Is r > n?
False
Let p = -2393 - -4203. Is p less than -1?
False
Let u = -15499/20370 - 1/970. Suppose -105*s - 486 = 145*s + 14. Which is bigger: u or s?
u
Let z = -21307 - -21307. Let o = -20/281 - -5018/78399. Which is bigger: o or z?
z
Suppose -74*q - 4552 + 14926 = -87*q. Is -799 greater than or equal to q?
False
Suppose 0 = -m + 12 + 77. Suppose 8*i = -w + 10*i - m, -3*w + 3*i - 264 = 0. Are w and -85 unequal?
True
Let r(k) = 4*k**2 - 255*k - 259. Let o be r(65). Are o and 48 nonequal?
True
Let u = 268 - 37243/139. Are 0 and u nonequal?
True
Let g = 423/4 + -3383/32. Are 60 and g non-equal?
True
Let q = 315 + -922. Let k = 605 + q. Which is smaller: k or -48/29?
k
Suppose -5571 = -3*k - 3*w, -3622 + 12970 = 5*k - 4*w. Are 1865 and k equal?
False
Let f(g) = -8*g + 17. Let r be f(3). Let v be 7 + r + 7 + -1. Is v greater than or equal to 1?
True
Let m = 1.729 + -0.189. Let y = m - 1.64. Which is smaller: y or -77?
-77
Let u = 817905/29038 - 2/43557. Which is greater: u or 28?
u
Let v = -24400/637 + 12/637. Let z = v - -38. Let a = 10028/77235 + 18/5149. Are a and z non-equal?
True
Let f = 4175 - 4355. Which is greater: f or 5?
5
Suppose -4*q - 3924 = l + 2541, -2*l - 10 = 0. Is -2 > q?
True
Let h(g) = -g**3 + 12*g**2 - 10*g - 5. Let a(s) = -2*s - 39. Let q be a(-25). Let u be h(q). Let t be (35/15)/((-4)/u). Are t and -0.1 equal?
False
Let b(s) = -3*s - 62. Let p be b(0). Let l be ((-4 - -83) + 1)/1. Let q = l + p. Is q at least as big as 18?
True
Let d(j) = 90*j - 8118. Let f be d(91). Let m be 2 + (70 + 0 - 1). Which is bigger: f or m?
f
Let o be ((-5940)/120)/((-6)/170). Is 1402 less than o?
True
Let k = -628/21 + 543743/18186. Is k less than -1?
False
Let l be 5/7 - 2/(-7). Let u be -5 + 12/(-18)*-6 + 38. Let d = u - 1661/45. Which is smaller: l or d?
d
Suppose -717*i + 48997 = -118781. Let w be 3 - (0 - (-2)/2). Which is bigger: w or i?
i
Suppose -8*o + 4*o = -8. Suppose 5*z = 10, 5*u - o*u - 5*z = -13. Let h be 29 - 19 - 1176/117. Is h greater than or equal to u?
True
Suppose 6*t = 4*t + 516. Let s be (-5)/(-1)*(t/60 - 4). Is -53 >= s?
False
Let z = 340 - 557. Let h = 217.2 + z. Does h = 1/69?
False
Let x = 112 + -108. Let y = -12.1 - -22.1. Which is smaller: y or x?
x
Let d = 67959557/1412 + -48130. Is 1 greater than d?
True
Suppose 0 = -10*i + 13*i. Is -3/838 at least i?
False
Let i(o) = 64*o**2 - 120*o - 10. Let c be i(3). Let u = 588 + -380. Which is bigger: c or u?
u
Let l = 22 - 22. Let f = -1611 - -1611.13. Which is smaller: f or l?
l
Let w = -258 - -264. Which is smaller: -0.95 or w?
-0.95
Let s = -52.5 - -33. Let a = -616 + 614.5. Let w = s - a. Which is bigger: 2/5 or w?
2/5
Suppose 2*t + 1216 = 2*d, -2*d = -5*t - 133