
Let w = -2/5 + 1/5. Suppose 9 = 2*o + l, 0 = -5*o - l + 7 + 8. Let j be ((-2)/(-4))/(1 - o). Which is smaller: w or j?
j
Let l = 1 + 25. Let s = l - 6. Let o = s - 20.3. Is -1/5 greater than o?
True
Let j be 71309/14518 - (2/2 + 4). Which is smaller: 1 or j?
j
Let u(c) = -2*c**2 + 29*c + 43. Let h(a) = -a**2 + 15*a + 22. Let n(t) = 5*h(t) - 3*u(t). Let v be n(15). Which is smaller: v or 27?
v
Let b be -2 + (-4 + 4)*1. Let i be b/10*(2 - 4). Which is smaller: i or 36?
i
Let o = -14 + 315. Is 300 smaller than o?
True
Let c(r) = 10*r**3 - 15*r**3 - 4 + 3 - r. Let f be c(-1). Suppose o - 80 = f*o. Do -21 and o have the same value?
False
Let a be 20/50 - (-96)/(-15) - -108. Which is greater: 104 or a?
104
Let c = -26043/19 + 1371. Let j = 118/133 - c. Which is smaller: 1 or j?
j
Let n = 57.4 - 57.7. Which is bigger: n or -34?
n
Let k(y) = -2*y + 5. Let f(c) = c**2 - 4*c + 10. Let n(x) = -2*f(x) + 5*k(x). Let o be n(-4). Let r be (-2)/3*6/(-14). Which is greater: o or r?
r
Let y = -556 - -456. Is -100 < y?
False
Let f = -13 - -9. Let h be (1/((-3)/2))/((-8)/36). Suppose 6*l = h*l + o - 12, -o + 2 = -l. Which is bigger: l or f?
f
Let q = -0.14 - 2.66. Let m = q + -7.2. Which is bigger: 0.2 or m?
0.2
Let w be 2*30*(165/22 + -6). Is 91 less than w?
False
Suppose 5*n - 37 = 68. Suppose -n = 4*m - 21. Do m and -4/9 have the same value?
False
Let q be (-27)/(-402)*1*(-1)/3. Which is smaller: 0 or q?
q
Suppose h + 4*h = -20. Let o be (-12)/h*(-4 - -1). Let v = 15 + o. Which is greater: 7 or v?
7
Let c be (1 - -1)*(-3 - 220/(-70)). Is -107 at least as big as c?
False
Let i = -1034.3 - -1034. Which is bigger: -30/7 or i?
i
Let w = -0.061 - -0.971. Let f = 1.81 - w. Which is smaller: -1 or f?
-1
Let u be (4*(-3)/(-10)*-5)/10. Which is smaller: 69 or u?
u
Suppose -5*d - 18*d = -782. Do 232/7 and d have the same value?
False
Let d = -103289/527 + 196. Does -1 = d?
False
Let j = -195.11 + 193. Let y = -0.145 + 0.035. Let x = j - y. Are x and -2 unequal?
False
Let p be (-1328)/(-7) - 42/(-147). Let l be (((-16)/p)/(28/70))/2. Is l greater than or equal to 5?
False
Let y = 7 + 0. Let u = -1343 - -1343. Let a = u - y. Which is greater: -8 or a?
a
Let b = 3.2 + -82.2. Is b at most as big as 0.2?
True
Let f = 0 + -1. Let d = f - -4. Let i be -12 + 15 + -22*(-1)/(-8). Is d greater than or equal to i?
True
Let b = 168 - 172. Is b less than 4?
True
Let t(o) = 10*o + 339. Let m be t(-39). Which is smaller: -58 or m?
-58
Let g(d) = -d**3 + d - 1. Let i be g(-1). Let u be ((-448)/(-12))/7*(3 + i). Are u and 11 nonequal?
True
Let x be (30/9 - 0)*-90. Let s = 1350612 + -33772798/25. Let j = s - x. Which is smaller: j or 0?
0
Let o = 20 - 9. Let j = o + -20. Let m = j + 9. Is m <= -1?
False
Let p = 13554/77671 + -2/3377. Let i(a) = -2*a**3 - 7*a**2 + 5*a + 3. Let u be i(-4). Is p <= u?
False
Let x(g) = -g**3 - 4*g**2 - 3*g - 10. Suppose -2*b + 5*i - 23 = 0, -4*i + 2*i = -6. Let c be x(b). Is 4/7 at least as big as c?
False
Let f = -2.4 + 2.4. Let z = f - 2. Which is greater: z or -0.3?
-0.3
Let h(q) = -5*q. Let r be h(-5). Let a be (-1)/4*r/10. Let l = a - -9/8. Is l bigger than 1?
False
Let f = -0.59 + 18.59. Let j = 20 - f. Is j less than 0?
False
Let i = -0.395 - 0.605. Is i not equal to 0?
True
Let s(z) = -2*z**2 + 6*z + 8. Let w be s(-2). Is w greater than or equal to 0?
False
Suppose j - 4*s - 1 = 0, s = -j + 3*s - 3. Let x = 91 - 96. Which is bigger: j or x?
x
Let b be ((-20)/(-114) + 0)/((-3)/(-6)). Let i = b + 6/19. Is -1.3 less than or equal to i?
True
Suppose 0 = -12*p + 30*p - 288. Which is bigger: p or 5?
p
Let a be (6/8*2)/(3/(-6)). Let c be (-17)/a + (-3)/(-9). Which is greater: 7 or c?
7
Let a = 796 - 807. Let p = 7 + -8. Let z = -8 + p. Which is greater: a or z?
z
Let w(n) = 0*n**3 + 4 - 3*n - 2 + 2*n**3 + 3*n**3. Let r be w(1). Let y be (-2)/(r + -6)*24. Is 25 greater than y?
True
Let r be (99/(-18))/((-14)/4)*1. Which is bigger: r or 3?
3
Suppose 0 = -8*j - 740 + 756. Let c = -16 + 10. Let d(m) = m**2 + 5*m - 6. Let g be d(c). Are g and j equal?
False
Let x be -1*((-4 - -2) + 1). Which is smaller: 2/1549 or x?
2/1549
Let j = -17 + 67/4. Let i be 2*(1 + 2/(-4)). Suppose -i = 4*p + 3. Is j smaller than p?
False
Let r be -63*((-4)/30 + (-35)/(-75)). Which is smaller: r or -19?
r
Suppose w = 2*z - 3, 5*z - 1 = -2*w + 20. Suppose 7*j + 15 = 12*j. Is j smaller than z?
False
Let u be 3/40*(-750)/(-180). Which is bigger: -1 or u?
u
Let p be 40 - ((-2)/2 + 30 + -32). Which is bigger: p or 0?
p
Let v = 361/2 + -42953/238. Let m = 233/4522 - v. Which is greater: m or 0?
m
Suppose -181*x + 186*x - 5 = 0. Which is greater: x or 4/9?
x
Let d = -29695 - -88193/3. Let a = -300 - d. Which is bigger: -3 or a?
a
Suppose 4*k - 4*f + 932 = 0, -k - 165 = f + 76. Is -235 greater than or equal to k?
True
Let a = 1337 + -1045. Is 2/3 >= a?
False
Let d = -7.91 + 8. Let c = 1304 - 11758/9. Let y = -28/9 - c. Which is greater: d or y?
d
Let i = 102 + -103. Is -1/19 less than i?
False
Let j = 0.1 - -11.5. Let w = j - -0.4. Let p = 11.9 - w. Is p less than or equal to -1/7?
False
Let l = 16.5 - 10.8. Let w = l - 5.2. Let p = 0.3 + 0. Is p smaller than w?
True
Suppose -o + 1 = -2*g - 0*g, -3*g - 33 = -5*o. Let s(w) = 6*w + 37. Let x(t) = -3*t**3 + 7*t**2 - 3*t - 3. Let l be x(2). Let z be s(l). Is o > z?
True
Suppose 6*n - 9 = 15. Let w be (4/(-72))/((-1)/n). Which is smaller: w or -17?
-17
Suppose 0*k + k - 57 = 3*z, 5*k = -2*z + 200. Let p be 24/7*k/4. Let s be (-65)/(-6) - (-6)/p. Which is smaller: s or 12?
s
Let z(c) = 2*c**3 - 14*c**2 - 2*c + 15. Let h be z(7). Let u = 4 - -11. Suppose 4*b - u = -b. Which is greater: h or b?
b
Let v be (-2 - -1)*(-21)/((-189)/(-360)). Which is smaller: v or 282/7?
v
Let s(o) = o**3 - 11*o**2 + 11*o - 5. Let f be s(10). Let t = 2.1 + -2. Is t greater than f?
False
Let h = -86256/59 + 1462. Are -1 and h equal?
False
Let m = -3.976 - -0.076. Let t = m - -3.9. Which is smaller: -14 or t?
-14
Let x be (5/((-10)/(-8)))/2. Suppose -2*g - 2*h = -4*h - x, -3*g - 2*h = 2. Is g greater than -2/77?
True
Let m(j) = 2*j**2 + 28*j - 30. Let n be m(-14). Is n at least -146/5?
False
Let g(s) = s**3 + 11*s**2 - 42*s - 7. Let n be g(-14). Let d = 15 - 6. Let m be (-16)/3 + (-6)/d. Which is smaller: n or m?
n
Let a = -1.2 - -0.2. Let w = -123.774 - -124. Let f = w + -1.226. Is a smaller than f?
False
Let r = -21174343/23376465 - 29/29855. Let u = r - -22/29. Let i(v) = -v**3 - 2*v**2 - 3*v. Let p be i(0). Is p > u?
True
Let w be (0 + (-3)/6)*10. Let a be (w - -2) + (-208)/(-65). Is 3/7 bigger than a?
True
Let w(r) = r**2 + 7*r + 7. Suppose 0 = -c + 5, -23 + 123 = 5*i + 5*c. Suppose -2*m - 6 = -2*p + 8, -2*m + 3*p - i = 0. Let a be w(m). Which is bigger: a or 1/4?
a
Let l(o) = 4*o + 241. Let s be l(-60). Let a be (-476)/(-8) - 2/(-4). Let i be (-22)/a + (-4)/(-12). Is s at most i?
False
Let w = 0.82 + 1.18. Which is smaller: 22 or w?
w
Suppose 10*o - 55 = -55. Which is bigger: 145 or o?
145
Let r = -0.4036 + 25.4336. Let y = -0.716 - -25.716. Let b = r - y. Which is smaller: b or -2?
-2
Let v be 2*((-175)/(-2))/7. Suppose 30 = -0*y + 4*y - 5*g, 0 = -4*y - 4*g + 12. Suppose v = -4*q - 0*q + y*m, m = -q + 5. Is q less than -2/3?
False
Let l be 480/78*28/(-112). Which is greater: -1/12 or l?
-1/12
Let a(i) = -i + 2. Suppose 3*l - 19 - 20 = 0. Let f = l + -11. Let r be a(f). Which is smaller: r or 1/9?
r
Suppose -18*i + 14*i - 3*b = -2341, 0 = -i + 5*b + 591. Which is greater: i or -3?
i
Let o = 913 - 922. Let m(l) = 10*l**3 - 1. Let r be m(-1). Is o at most as big as r?
False
Let f be ((-22)/6)/(((-1085)/60)/31). Which is greater: f or 2?
f
Let c = -189 - -194. Let z be 63/(-28)*c/15. Let v = -106/639 - 4/71. Do v and z have different values?
True
Let x(f) = 2*f**2 - 7*f + 11. Let p be x(3). Suppose 5*u = 7*u - p. Suppose 0*s - s - 1 = 4*t, 3*t - 3 = -2*s. Which is smaller: u or t?
t
Suppose 0 = 6*o + 3*o + 18. Let p(i) = -2*i**2 - 4*i - 1. Let s be p(o). Are s and 3/100 non-equal?
True
Let l(j) = j**3 - j**2 + j + 1. Let u be l(3). Suppose 6*w - 4*w = 5*b + 49, 2*b - 2*w + u = 0. Let v = -5 + 5. Which is greater: v or b?
v
Let y = 10 - 7. Let z = 10 - y. Is z smaller than 5?
False
Let p be 4*(-4 + (-27)/(-6)). Suppose d = -p*m + 4, -5*m + 5*d + 6 = -19. Is 1 less th