Let g be i(-7). Which is bigger: g or 241/3?
g
Let n(w) = 6*w**2 - 3 - 2 - 2 - 7*w**2 + 8*w. Let a = 7 - 0. Let b be n(a). Is b smaller than 4/5?
True
Let x be ((-3)/(-17))/((-8)/44). Let s = x - -157/442. Which is smaller: 0 or s?
s
Let c(p) = -p**3 - 12*p**2 + 12*p - 7. Let n be c(-13). Suppose -2*x + 952 = -n*x. Let u be x/(-56) + (-2)/8. Is 0.2 > u?
False
Let p = -2.12 + 2.32. Let z = 88 - 28. Which is greater: p or z?
z
Let w = 872.6 - 873. Is -1/37 less than or equal to w?
False
Let u be (-11 + 11)*(0 - 1/(-2)). Suppose 8*d + 3*d + 11 = u. Let y be (6/(-8))/((-2)/(-4)). Is y less than or equal to d?
True
Let w = 0.76 - -0.24. Let l = 5.5 - 4. Let x = l + -2. Which is smaller: w or x?
x
Suppose 0 = -6*g + 2*g - 32. Let n be (g/(-1))/(-15 + 10). Is -1 < n?
False
Let d = 236 - 1181/5. Which is smaller: d or 0?
d
Let l = 14 - 14.4. Let w = -117 - -120. Is w at most l?
False
Let f(y) = -y**3 + 33*y**2 - 29*y - 97. Let z be f(32). Do z and -11/34 have the same value?
False
Suppose -5*c - 2*o = -4*o - 23, 5 = 5*o. Suppose 4*f - c*f - 3 = 0. Which is smaller: -7 or f?
-7
Let b(z) = 2*z**3 - 4*z**2 - 4*z - 3. Let o be b(4). Let u = -25 + o. Let s = 19 - u. Which is smaller: 2 or s?
s
Let v = 49.1 - 47. Let a = v + -2.1. Which is greater: 9 or a?
9
Let h(v) = 6*v**3 - v**2 - 2*v + 2. Let w be h(1). Suppose -4*l + 9*l - 90 = -w*z, -5*z + 76 = -2*l. Let a = z + -19. Is a > 0.3?
False
Let n = -23314 - -69023/3. Which is smaller: n or -1?
n
Let d be (-8)/(-5) - (-134)/335. Let u = 24/121 - -10915/484. Let c = -23 + u. Which is smaller: d or c?
c
Let o(c) = -2*c + 2. Let f be o(2). Let t be 1/f*(-4 + 4). Let s be ((-6)/(-4))/((-108)/48). Is s > t?
False
Let y(w) = 6*w + 18. Let z be y(-4). Let x be 1*3 + -1*z/(-6). Which is smaller: 7/9 or x?
7/9
Let t be -1 - -5 - 17530/5115. Let l = t + -14/31. Which is greater: l or 0?
l
Let r be (-1 + -134)*(-3 - (-26)/10). Suppose 8*m + r = 26*m. Let y = -1/10 - -18/5. Which is smaller: m or y?
m
Let u(s) = 12*s - 37. Let o be u(3). Is o bigger than 5/16?
False
Let g = -48.5 + 31. Let f = g - -18. Let p(w) = w**3 - 5*w**2 - 5*w - 3. Let z be p(6). Which is smaller: z or f?
f
Let n be (12/(-54) + 0)/((-5)/(-15)). Which is smaller: -1/58 or n?
n
Let w = 463 + -437. Let d = -0.8 - -27.8. Let a = w - d. Is a <= 0.2?
True
Let w be (-47)/(-9) + 2/(-9). Suppose -6*y + 4*y = -66. Let b = 38 - y. Is w at least as big as b?
True
Let a = -54 + 33. Let r be (-332)/(-12) - -1*1/3. Let z = r + a. Is z at most as big as 7?
True
Let h = 12 + -13. Let y = 1 + h. Let m = y - -0.1. Which is smaller: m or 1?
m
Let r(t) = -34*t - 160. Let m be r(-5). Do 10 and m have the same value?
True
Let b be 3/3 + -5 + 3. Let y be (-5)/3 + (-4)/(-6). Is b smaller than y?
False
Let t(s) = 3*s**2 + 8*s - 2. Let a be t(-3). Which is smaller: a or -3/91?
-3/91
Let h = 69 - 68.9. Let w be 217/224 - 3 - -2. Is h greater than w?
True
Let u = 97.9 - 100. Let q = u + 1.1. Is 2/179 < q?
False
Let p = 2061 - 2245. Which is smaller: -189 or p?
-189
Let i be 1/(-1) + -3*(-142)/6. Let h = i - 56. Which is greater: h or 10?
h
Let w = -311/189 + 11/7. Suppose 4*k = 2 + 2. Is w smaller than k?
True
Suppose 10*b = 50*b. Which is bigger: 1/1840 or b?
1/1840
Let q(y) = 20*y - 478. Let f be q(26). Is f <= 8?
False
Let r(f) = -f**3 + 22*f**2 + 22*f + 27. Let z be r(23). Let q be z + -1 - 54/36. Which is bigger: q or 1.2?
q
Let v = -1124946/5 + 224069. Let k = -923 - v. Which is smaller: -3 or k?
-3
Let m = 223204/61 + -3659. Is 0 < m?
True
Let r = 28 - 4. Let f = 28 - r. Let x be ((-3)/(-184)*f)/(-3). Is x less than 1?
True
Suppose 2*v + 4 = -2*d, 3 + 12 = -5*v. Suppose -b + 0 + d = 0. Is b smaller than -2/15?
False
Suppose -4 = -3*o + 2. Let v be 20/28 - (-2 + o). Let y(p) = 2*p**2 - 3*p + 2. Let t be y(1). Is v greater than or equal to t?
False
Suppose 2*t - 19 = -5*f, -5*t - 6 = -2*f + 19. Is f greater than or equal to 5?
True
Let o = -12/23 + 129/115. Let p = 25/3 + -9. Does p = o?
False
Let u(d) = d**3 + 7*d**2 + 6*d + 19. Let z be u(-3). Is 36 less than or equal to z?
True
Let k = -589 - -589. Which is greater: k or 0.818?
0.818
Let x = -439 + 206. Let r = x - -225.92. Let z = r - -7. Do 0.1 and z have different values?
True
Let l = -107 + 110. Suppose -l = -o - 6. Which is smaller: o or 1?
o
Suppose -6*g + 15 = 57. Let m = -3.82 + -0.18. Which is bigger: m or g?
m
Suppose 2*j = 5*r - 19, 3 = 2*r - 4*j - 11. Suppose 5*a = 15, r*i + 2 = -a + 8. Which is smaller: -2/93 or i?
-2/93
Let u = -0.1153 + 55.1153. Is 1/7 >= u?
False
Suppose p - 2*p + 62 = 5*l, -2*l + 23 = p. Suppose 4*w = l + 7. Suppose -2*y + w + 1 = 0. Which is bigger: y or 4?
4
Let l = -77 - -89. Is 34/3 bigger than l?
False
Let m = 42 - 33. Suppose 0*q - m = -q + 2*k, -q + 9 = 5*k. Which is bigger: q or 7?
q
Let b be 18/6 + (-10094)/3367. Which is greater: -1 or b?
b
Let r = 37 - 37. Suppose -4*b + 10 + 6 = r. Which is smaller: b or 0?
0
Suppose -16*n = -25*n. Which is greater: n or 5/6?
5/6
Let g be 25/8 - (-2)/8. Suppose 8 = -4*y - 4*u, 648*y + u - 14 = 643*y. Which is greater: g or y?
y
Suppose 2*w = 5*v + 1, -w - 4*v - 6 = -0. Let z be (-5)/40*w/(-28). Are z and -1 unequal?
True
Suppose 4*u + 240 = -24. Let n be (-12)/u - (-20)/11. Suppose -n = 2*d + 4. Are -2 and d nonequal?
True
Let g(h) = -h**2 + h + 61 + 2*h**2 - 118. Let w be g(-11). Which is greater: 105/2 or w?
w
Let y = -3.33 - -3.33. Is -74/9 less than or equal to y?
True
Let v = -221/33 - -48/11. Which is smaller: v or -1?
v
Suppose 0 = f - 9 - 1. Let n be 1*f/34*20/150. Let r(s) = -s - 5. Let w be r(-4). Which is bigger: n or w?
n
Suppose -181 + 415 = 3*s. Which is smaller: 2/3 or s?
2/3
Suppose r + 3*w + 2 - 11 = 0, 3*w - 6 = 0. Suppose 0 = -o - r + 17. Which is smaller: o or 0?
0
Let w(f) = 13 + f**2 - 14*f + 5*f - 3. Let y be w(8). Let x be -3 + 92/24 - y. Which is smaller: x or -1?
x
Suppose 9 = 4*c + 13. Which is greater: c or 15/47?
15/47
Let t = -1.09 + 0.09. Which is smaller: t or 6/163?
t
Let f be 1370*(-28)/(-172) + 4. Let h = 227 - f. Is 0 > h?
True
Suppose 2*r = 3*z + 3, 2 - 9 = -2*r - z. Let u be r/(-5)*(-5 - -20). Let g = u + 0. Which is bigger: -4 or g?
-4
Let u = 243 - 151. Is u less than or equal to 93?
True
Let x be 38/(-133) - (-989)/7. Is 140 less than x?
True
Suppose -5*r + 3*r + 2 = 0. Let l = -15/86 - -625/1118. Let w = l - 49/195. Is w >= r?
False
Let y = 56 - 54. Suppose -2*m = -2 + 6, y*j - 24 = 2*m. Which is smaller: j or 32/3?
j
Let m be (-3)/(1/(8/(-12))). Suppose -m*h + 0*h = 0. Suppose 3*p - 2*p = h. Are p and 1 non-equal?
True
Suppose -5*m + 4*m = 42. Let n = -44 - m. Let h = 2 + -3. Which is smaller: h or n?
n
Let t(r) = -3*r - 3. Let p be t(-1). Suppose 0 = -9*y - p*y - 63. Which is smaller: -5 or y?
y
Let w = -0.39 - -0.59. Which is bigger: -21 or w?
w
Suppose 2*c - 17 = -21. Which is smaller: c or -5?
-5
Let n be (1/(-18))/(4/15584). Let r = 635/3 + n. Let p = 5 + r. Is -1 greater than or equal to p?
False
Let o = -156.9 - -157. Is o less than or equal to 0.132?
True
Let m = -36.952 - -37. Let w = m + -0.048. Is w smaller than 40?
True
Let a(m) = -m**3 - 3*m**2 - 3*m**2 - 682 + 683 + 7*m. Let q be a(-7). Is -1 at most as big as q?
True
Let s = 14 - 2. Let g = s + -9. Suppose -3*v - t = -4, 0 = -g*v - 5*t + 7 + 1. Which is bigger: v or 2/5?
v
Let z(x) = -x + 4. Let l be z(-6). Let n be (7/(-2))/((-358)/1074). Does l = n?
False
Let l be (-622)/4 - (85/(-34) - -3). Is l less than -4?
True
Suppose 197 = 15*p - 118. Which is greater: p or 17?
p
Let w = -4042 + 7917/2. Which is bigger: -83 or w?
-83
Let g = 23745315/13 - 2116048540/1157. Let q = 2347 + g. Is -1/3 at least as big as q?
False
Suppose d = -5*w + 23, -4*w + 5*w - 3 = -d. Which is smaller: 47 or d?
d
Suppose -3*o - 26 = 4*s, 8 = 33*s - 37*s. Is -15 not equal to o?
True
Let m be ((-1)/8*-2)/(80/(-128)). Which is bigger: -1.12 or m?
m
Let z = 0.3 - -7.7. Let b = z + -6. Let a = -6.7 - -7. Which is greater: a or b?
b
Let h = 55 + -57. Let s be (3408/345)/(-4) + 2. Let r = s + -3/23. Which is bigger: h or r?
r
Suppose -c - 5*a = -4*a - 4, c + 3*a = -6. Suppose -c*g = -g - 48. Let h = 5 + 1. Are g and h nonequal?
False
Let y be 8 + -4 - (4 - 4). Let r be (-3 - (-19)/6)*y. Which is bigger: -1 or r?
r
Let v be 126/(-112) - (-1)/8. Let c = -6 + 13