8*(-10)/(-25)*0. Let w be -2 + (114/22)/3. Which is bigger: m or w?
m
Let x = 577.3 - 577.3. Which is smaller: x or 3446/7?
x
Let q be (-100)/(-144) - (-1)/(-52)*13. Are -59 and q non-equal?
True
Let s = -298 + 301. Suppose 9*c + 18 = d + 10*c, -d = -s*c + 2. Is 86/7 at least as big as d?
False
Let v = -6336 + 9594. Is -1 greater than or equal to v?
False
Let b = -38 - -28.4. Let m = -7.3 + b. Let s = m - -17. Which is smaller: s or 30?
s
Let f be 12/36 - 5555/15. Let z = f + 388. Which is greater: 1/3 or z?
z
Let c = -329 - -187. Let j = c + 142.1. Let l(v) = -v + 8. Let s be l(0). Does j = s?
False
Let l be 299/11 + 64/(-352). Let h be -1 + l - 3 - 1. Suppose -3*r - r = 0. Which is greater: r or h?
h
Let g be (0 - -5)*(-35)/455. Is g smaller than 2/13?
True
Let b(w) = 5*w + 26. Let x be b(-5). Suppose 2*v - 7*d + x = -4*d, 4*d - 5 = -v. Let t(z) = -z**2 - 3*z - 1. Let c be t(-4). Is v < c?
False
Let h = -0.127 + -95.873. Let q be (-2 + (-2)/(-54)*51)/((-286)/1287). Which is smaller: q or h?
h
Let y = -0.1031 - -0.0531. Is 5/21 != y?
True
Let m = 83 + -31. Let a be m/(-6) - (-6)/9. Let y be (-34)/a - (2 + 21/(-12)). Is y not equal to 8?
True
Let d be 2*((-54)/12 + 4). Let l = 27 - 31. Let i be 4/(-16)*l/(-19). Is i less than d?
False
Suppose 32 = -4*s + 20. Let n be -5 - (s + 2)*2011. Let u be (n/(-85))/((-2)/5). Which is bigger: -2/7 or u?
u
Suppose -5*p = q - 4*q + 11, 5*q + 3*p = 7. Let r be (1/q)/(2/16). Suppose -c = -r*c + 12. Which is smaller: 8/3 or c?
8/3
Let q be (-2)/7 + 2/7. Suppose -3*r = 5*u + 33, 3*r - 7*r = -4*u - 20. Let z be 1/(u + 168/18). Which is smaller: q or z?
q
Let g be (-12)/(-5670)*10135/3. Let v = 11/81 + g. Let k = 225/28 - v. Is k at most -0.04?
False
Suppose -4*d - 162*f + 159*f - 496 = 0, 0 = f - 4. Suppose -m - 9*m = 1270. Is d greater than m?
False
Suppose 2*o = 3*r, r + 23 = -3*o + 1. Is o at least as big as -198/31?
True
Let c = 2210 - 2212. Is 309/4 >= c?
True
Let o = -547705688/4493 - -121902. Is o < 0?
True
Let y be (11/(-2))/((-6)/24*-2). Let f = y - -39. Let p = f + -51. Is -22 < p?
False
Let x(o) = o**3 - 13*o**2 + 19*o - 9. Suppose -6*n + 32 = -34. Let s be x(n). Which is bigger: -44 or s?
s
Let a = -100 + 146. Let l = -126 + 77. Let q = a + l. Which is smaller: q or 2/15?
q
Let h be (2 - -220)/(8/(64/12)). Let y = -170 + h. Which is smaller: -45/2 or y?
-45/2
Suppose -4*f - 524 = -4*q, -3*q + 4*f - 6*f = -413. Let t be 5402/40 - (-4)/(-5). Let o = q - t. Which is smaller: -1/8 or o?
-1/8
Let d be 68/((-1230)/204 - -6). Which is smaller: -2313 or d?
-2313
Suppose 112*o - 111*o + 15491 = -3*b, 3*b + 61937 = -4*o. Which is bigger: -15484 or o?
o
Suppose -12*n + 40*s + 12684 = 37*s, -3*n - 2*s = -3182. Do n and 1050 have different values?
True
Let d be 9/3*2/33. Let h = -0.85 + 1. Let i = h - 0.45. Are i and d equal?
False
Let j = -4088 + 3914.9. Let m = 173 + j. Let v = -0.87 - -1. Which is greater: m or v?
v
Suppose -29*t + 26 = -148. Let x be 3 - 8/(8/(-3)). Is t smaller than x?
False
Let z = 1944 + -1944. Let p = 2305 + -25406/11. Let k = p - -1752/385. Is k at least as big as z?
False
Let r = 1661.4 - 1661.2. Which is smaller: -5286 or r?
-5286
Let h be -307 + (880/(-8))/(-11). Is 1 smaller than h?
False
Let g(b) = 4*b. Let t be g(1). Suppose t*s = 11 - 3. Suppose -r - 2 = -s. Which is greater: r or 9/8?
9/8
Let b = -1283/223 - -767857/136253. Which is bigger: 1 or b?
1
Suppose 532*b - 575*b - 7611 = 0. Is -166 equal to b?
False
Suppose -5*q + 51 = -l, 3*l = 3*q + 88 - 289. Which is greater: l or -9?
-9
Let t(f) = 2*f**2 + 50*f + 30. Let d be t(-28). Let z = -278 + d. Is -315/4 bigger than z?
True
Let i(l) be the second derivative of l**4/12 + 10*l**3/3 - 41*l**2/2 - 14*l. Let v be i(-21). Let u be 6/v - (66/(-45))/11. Which is smaller: u or 0.02?
u
Let j = 4 - 2. Let d = -39.2 - -20.9. Let l = 18.4 + d. Is j greater than or equal to l?
True
Suppose 3*u + 5*f = 5*u + 18, -5*f = -5*u - 30. Let s be (-1)/((80/(-164))/u). Suppose -4*l + 14 = -6*l. Which is smaller: l or s?
s
Let b = 104649.944 + -105045. Let i = b + 395. Is i equal to 0?
False
Let k = -516 - -291. Let j = k + 136. Is j > -89?
False
Let y = -3372 - -3380. Let s = -17.2 - 5.8. Let g = y + s. Which is greater: g or 1?
1
Let l be (-15)/(-90) - (1272425/(-30))/5. Which is smaller: 8482 or l?
8482
Let x = -1045/354 + 49157137/16652514. Is 0 at least as big as x?
True
Let n be 137*18*(54/(-60) + 1). Let z = -247 + n. Is 15 smaller than z?
False
Let j(p) = 47 - 51*p**2 + 5*p + 6*p - p**3 + 64*p**2. Let a be j(14). Suppose 0 = 2*o - a - 23. Which is greater: 12 or o?
o
Let m = 0.08126 + 548.91874. Which is bigger: 0.2 or m?
m
Let x = 637510/9 - 70653. Let d = x - 182. Let a = -53/63 - d. Is a less than 0?
True
Suppose -107*h + 97 + 33 = 23. Which is smaller: h or 33/266?
33/266
Let r be ((-1)/69417*45)/(1/(-9)). Which is bigger: r or 1/2?
1/2
Let h(i) = -i**2 + 8*i + 6. Let w be h(8). Suppose -9*n + w = -15*n. Is 4 >= n?
True
Let n = 130 + -59. Let y = -70 + n. Do -2/5 and y have the same value?
False
Suppose -10*k = -6*k - 32. Suppose -43 = -3*p + 5*a, -p - k*a = -7*a - 1. Let t be 4*(0 - -1)*1. Which is bigger: p or t?
p
Suppose -25*h - 1858 = 1367. Which is smaller: h or -3.8?
h
Suppose -j = -4*o - 488, 2*j - 6*o + 7*o = 994. Let y be (-12)/(-186) + (-218)/j. Which is greater: y or -21?
y
Suppose -2948*r - 26400 = -2918*r. Are -0.2 and r equal?
False
Let y(f) = -f + 24. Let o be y(0). Let v be o/156 - 784/26. Let a = -29 - v. Which is smaller: a or 9/10?
9/10
Let z = 5 + -4.88. Let v = 45602 - 319213/7. Which is smaller: z or v?
z
Let f = -30.06 - -0.06. Let s = -435 + 431. Is s < f?
False
Suppose -4*z + 2316 = 2*w - 1944, -z + 1065 = 3*w. Are 9578/9 and z equal?
False
Let o be 12501/(-7965) + 2/5. Which is bigger: -2 or o?
o
Suppose 343*u + 3668 = 371*u. Are 261/2 and u unequal?
True
Let j(w) = 57*w**3 - w**2 - 31*w + 54. Let b be j(2). Is b smaller than 8?
False
Suppose 0*l + 2*d + 14 = 2*l, 0 = -3*l - 2*d + 6. Suppose -19*g = -l - 15. Which is greater: 39/22 or g?
39/22
Let p(h) = -h**3 + 19*h**2 - 90*h - 3. Let d be p(9). Let z be 75/250*d/(3*-3). Let m = 1.1 + -0.1. Do z and m have the same value?
False
Let x be (2 - (-10 - -11))*(5 - 1011). Is x equal to -1007?
False
Let i = -210 - -209. Let d be (-1)/2*8 - (i - -3). Let n(s) = -s**3 - 3*s**2 + 6*s + 4. Let a be n(-4). Which is greater: d or a?
a
Let c = 8667 - 4995. Which is smaller: c or 3671?
3671
Suppose -7*y + 30 = -y. Let r(f) = f**3 - 3*f**2 - 11*f + 10. Let t be r(y). Suppose -t*c - 35 = 5*x, 0*c = 2*x - 2*c - 2. Which is smaller: x or -4?
-4
Let h = 96 + -19. Let t be (-6 + -1 - -4) + h. Which is smaller: t or 220/3?
220/3
Let a be (-6)/(-3) - (3 + -4 - -1). Suppose 56 = -4*c + a*c. Let r be (-3)/((-9)/(-12))*(-11)/c. Is -2 less than or equal to r?
True
Let v be ((-6)/(-4))/((-7)/966). Let a = v - -1038/5. Let b = -0.2 + -0.8. Are b and a unequal?
True
Let r = 50/9 + -277/45. Let t(x) = x**2 + 19*x**3 - 50*x**3 + 20*x**3 - 10*x + 12*x**3 + 6 + 1. Let a be t(-4). Which is smaller: a or r?
a
Suppose 85*f - 67*f = 44*f - 71630. Is f less than or equal to 2755?
True
Let b = -564 - 980. Which is greater: -1543 or b?
-1543
Let c be 5 + (-340)/55 + 5/5. Let t be (-15)/(-6) - (-13)/(260/(-50)). Is c bigger than t?
False
Let f = 12.7 - 11.85. Let b = 9.15 + f. Is b > -3/10?
True
Suppose -20*h = 35 - 15. Let m be (9 + -8)/((-3 - h)/(-2)). Is m > -2/207?
True
Let s(o) = -o**3 - 75*o**2 + 79*o + 225. Let z be s(-76). Which is smaller: 1 or z?
z
Let z be (55292/240)/((-30)/(-135)). Let d = z + -2073/2. Which is smaller: -1 or d?
-1
Suppose -1985070 = -92*w - 459066. Is w greater than or equal to 16587?
True
Let l = -12/10729 - 91365/4645657. Let q = -7469/5196 - l. Are q and 0 non-equal?
True
Suppose -5*m + 9*m = -392. Let h = m - -98. Let l = 0 - -2. Which is smaller: l or h?
h
Suppose -2*c + 206 = 2*u, 4*c - 4*u - 470 = -50. Suppose -2*v + 2*x + 207 - 17 = 0, 2*x = -v + c. Are v and 98 non-equal?
False
Suppose -7583 = 45*d + 4162. Which is bigger: d or 6?
6
Let n be 6/(-14) + (-4)/7. Let x = -2503115/7579 - -3633/11. Is n > x?
False
Let u(i) = -6*i + 65. Let o be u(8). Suppose -20*n + 217 = o. Which is smaller: 1.1 or n?
1.1
Let x be (27/(-72) - 150/(-144))*-867. Are -570 and x non-