/2930*8*-1. Suppose 48 - 51 = -3*b. Is b smaller than w?
False
Let p be (18/54)/(21/2). Which is bigger: p or 0.057?
0.057
Suppose -18*k - 170 + 152 = 0. Let l be ((-182)/(-273))/(((-14)/(-6))/k). Which is greater: l or -18/11?
l
Let y(v) = v + 9. Let q be y(-6). Suppose -40 = -5*w + 4*b, 34 = 5*w - q*w + 2*b. Suppose w*i - 18 = 9*i. Which is smaller: 0 or i?
0
Let g = 804 - 45832/57. Suppose 0 = -3*a - 3*f - 21, 73*a + 35 = 85*a - 5*f. Which is smaller: g or a?
g
Let g = 2090/29 - 8099/116. Is g at least as big as 69/4?
False
Let x = 9 - 9. Let t = -3244593/283 + 11465. Is t less than x?
False
Suppose 132 - 326 = -2*c. Let m be ((-70)/(-14) - (-7292)/80) + 1/4. Which is smaller: m or c?
m
Let w = -1181 - -1240. Let d be (-403)/(-9) - 2/(-9). Let h = d - w. Which is smaller: -13 or h?
h
Let q be (-2)/(-7)*14/(-28). Suppose -o + 19 + 16 = 2*p, 67 = 2*o + 5*p. Suppose 2*d = -o + 51. Which is smaller: d or q?
q
Let z = 0.942 - -0.058. Let a = -24.3 - -25.22. Are z and a equal?
False
Let h(r) = r**2 - 231*r - 3430. Let l be h(-14). Is -28/257 > l?
False
Suppose -2*b - 2*w + 4 = 3*w, w = -3*b - 20. Let f be (b/10)/(10/(-850)). Suppose 4*z + 3*s - f = s, -3*z + 3*s = -42. Which is smaller: z or 14?
14
Let m be (-7)/6*(1/(-9) + (-7783)/(-11403)). Is 2732 bigger than m?
True
Suppose 4*k = -0*k + 24. Suppose -3*s - k = 12. Let j be (-43)/8 + 20/(-32) + 1. Does s = j?
False
Let x = -27145 - -27156. Let b = -0.19 - -0.09. Which is smaller: x or b?
b
Let f be 13/(-1) - -8 - 5/((-5)/6). Which is bigger: f or -7469?
f
Let q be -19 + 34 - (-71928)/(-4764). Which is bigger: 0 or q?
0
Let r(t) = 5*t**2 - 12*t - 33. Let x be r(5). Which is smaller: 6 or x?
6
Let i = -91/3 - -30. Let h = -31.882 - -101.882. Is h at most as big as i?
False
Let u be 6/6462*(-2 + -13)*-2. Is -1 at most u?
True
Let d be 3/1 + 7125/475. Suppose -4*w + 44 = -2*w. Do w and d have the same value?
False
Suppose 4*m = 2*p + 10, -12*p - 15 = -5*m - 9*p. Suppose -4*d - 2*s + 456 = m, -4*d + 4*s - 132 + 612 = 0. Is 115 at least d?
False
Suppose 10715 = -21*z - 35863. Does z = -2219?
False
Let z = -51 + 68. Let a = 4992 + -24873/5. Which is greater: z or a?
a
Suppose -4*f - 161 = -32*f + 5*f. Is f bigger than 306/55?
True
Let u be (-2)/3 + (-1184)/(-93). Let j = 17 + -5. Let l = u - j. Is -1 at least l?
False
Let u(j) = 2*j**2 + 47*j + 10. Let f be u(-20). Let p be 18/10*f/(-1092). Let a = -1 + 1. Which is smaller: a or p?
a
Let k = 57 + -304. Let u = 248 + k. Which is smaller: u or 2.2?
u
Let o = 2164.251 - 5.251. Are o and 1/3 equal?
False
Let m = 439 - 440. Which is bigger: m or 3/583?
3/583
Suppose 4*l + 13496 = -5*h, 9*l - 10*l = 4*h + 3374. Which is bigger: -3375 or l?
l
Let t be 5/(200/(-144))*786/10. Let n = t + 283. Let q(r) = r**3 - 11*r**2 + 10*r + 1. Let u be q(10). Are n and u equal?
False
Suppose 128*n = 129*n - 103. Let i = n + -103. Is 78/5 equal to i?
False
Let q be 1/(-10)*-6 - 15/400. Let p = -1/2 + q. Is p at least 1?
False
Let r = -3.2315 + -0.7685. Which is greater: 1/1122 or r?
1/1122
Suppose -6630 = 21*u + 1266. Is u greater than or equal to 0.5?
False
Let t = -0.39 - -18.39. Let y = -18.07 + t. Let k(l) = 13*l**2 - 169*l + 1. Let q be k(13). Is y bigger than q?
False
Let i = -195.69 + 197. Let j = i + -60.31. Let l = j - -50. Is -2 greater than or equal to l?
True
Let c = -0.33 - -44.33. Let q = 40 - c. Is -6 >= q?
False
Let q be 898*(-9 + 75/10). Let y be -2*672/q + 33 + -34. Are -1 and y equal?
False
Let y be (126/1323)/((3/(-70))/(-1)). Suppose -2*h + 2*s = -4*h - 2, 4*s + 12 = 0. Are y and h equal?
False
Let w be (-16)/(24/3)*(2835/6)/3. Which is smaller: w or -314?
w
Let j be 2 + -7 - (12084/(-2310) + 2/7). Suppose -2*v + 7 = -5*z, 0 = -3*v + 3. Which is greater: j or z?
j
Suppose 4*o - 10 = m - 3, 4*o - 59 = -3*m. Suppose 0 = -6*d + 35 + 1. Let n be (-1)/((d - 2)/(-4))*11. Is m smaller than n?
False
Let p be ((-6)/(-3))/((-33672)/(-18)). Which is greater: -1 or p?
p
Let n(t) = -25*t - 703. Let b be n(-29). Let k be 8*(-13)/(143/b). Let p = 1 + 0. Is p > k?
True
Suppose -626 = -31*j + 428. Let i = 0 + -4. Let u be i/(-14) + (-486)/(-14). Which is greater: u or j?
u
Suppose 4*x + 62 = 2. Let w = 175 + -17. Suppose w = -23*g - 233. Which is greater: x or g?
x
Let k(c) = c**2 + 66*c - 609. Let p be k(8). Is p smaller than -103/6?
False
Suppose 57*h = 55*h + 114. Let k = h - 9. Suppose -d - 4*d + 4*c - 19 = 0, -4*d = 5*c + k. Is d greater than or equal to -6?
False
Suppose 0 = -16*k - 6 + 54. Suppose 6 = -5*g + q, k*q - 4*q = g. Which is smaller: 6/47 or g?
g
Let n be (3/(-2))/((-10)/(-75)). Let m be 264/(-28) - 208/364. Which is greater: n or m?
m
Let a = -57 - 175. Let m = 231 + a. Which is bigger: m or -5.2?
m
Let h(u) = -u**2 - 12*u + 27. Let s = -272 + 254. Let x be h(s). Let g = -107 - -26. Is g < x?
False
Let p = 206 - 202. Suppose -3*k = 8*a - 10*a, 0 = 3*a + p*k. Which is greater: -1/43 or a?
a
Let g = -3279 + 3167. Are -114 and g non-equal?
True
Let t = -328.8 - -335. Let y be ((-54)/(-315))/((-3)/5). Does t = y?
False
Let a be 1 - (-14 + (-2 - -14) + 1 + -1). Are 43/79 and a non-equal?
True
Let g = 211 + -105. Suppose 11189 + 2485 = -48*j + 177*j. Is g <= j?
True
Let d = 286 + -285.891. Let t = -8.891 - d. Are t and 14 equal?
False
Let u = -2550 + 2547. Which is smaller: 129 or u?
u
Let v = 130505/32 - 4078. Which is greater: 0.1 or v?
v
Let a = 22430/49 + -3204/7. Which is smaller: a or 1?
a
Suppose -18*b - 33 = -29*b. Let n be b + (3 - 5) + -2. Let q = 11.7 + 2.3. Which is bigger: n or q?
q
Let p = -177 - 59. Let j = p + 237. Is j at least as big as -74?
True
Suppose -39*b - 19*b + 2*b - 10*b = 0. Which is bigger: 13/530 or b?
13/530
Let l(m) = -49*m - 142. Let w be l(-3). Let v(p) = -10*p + 64. Let q be v(w). Is q >= -1.7?
True
Let v(t) be the second derivative of -1/2*t**4 - 16*t + 0 - 3/20*t**5 - 3/2*t**2 - 4/3*t**3. Let z be v(-3). Are z and 48 non-equal?
False
Let a be 9/(-2)*(-140)/(-105). Let b(d) = -3*d**3 - 19*d**2 - 5*d + 1. Let w be b(a). Let s be (-116)/24 + 2 + -1. Which is greater: s or w?
s
Let w = 402 + -399. Suppose -3*m = -p - 20, -p - m = w*p + 41. Suppose 45 = -5*s - 2*h, 3*s + 0*h + 16 = h. Which is smaller: s or p?
p
Let n = 5693 + -5360. Which is bigger: n or -3?
n
Suppose 63 - 6 = 206*x - 149. Are x and 7/457 equal?
False
Suppose n + 0 = -4, 2*n = -5*g + 2. Suppose -4*q + 184 = 4*u - 2*u, -4*q - 5*u = -190. Let a be (-10)/(-16)*9/q. Are a and g unequal?
True
Let r = -11807221358/32983 - -357979. Is 1 at least r?
True
Let t = 79.9 - 84.9. Suppose -l - 107 + 330 = 5*d, 4*d - 188 = 4*l. Which is bigger: t or d?
d
Suppose 3*i + 80 = 2*u, i + 2*i + 2*u + 100 = 0. Let q be 3/(i/85)*-8. Is 69 bigger than q?
True
Suppose 8584*i + 4484 = 8565*i. Which is bigger: i or 9?
9
Let l be 56/(-45)*(-2)/12*15. Let k be (6/(-8))/(1/(-4)). Which is greater: k or l?
l
Suppose 0 = -64*g + 83*g + 4522. Let v be 3*(-2 - 0)*49/g. Are 2 and v nonequal?
True
Let k = 47 - 232/5. Suppose -14*x - 12 + 54 = 0. Suppose -x*b + 3*y + 18 = 0, 3*b + 3*y = -5 - 7. Which is smaller: b or k?
k
Let s = -31342 + 218844/7. Which is smaller: -79 or s?
-79
Let w be (-126)/(-10) + (-6)/(-15). Let r = 56 - 43. Let a = r - w. Do -2/9 and a have the same value?
False
Suppose 0 = 31*m - 37*m - 984. Let k = 173 + m. Is 8 <= k?
True
Let m(o) = -101*o**2 + 406*o - 8. Let k be m(4). Is 9/65 at most as big as k?
False
Let s = -2176.5 - -2174.5. Let i = 61.3 + -59. Are s and i equal?
False
Suppose m - 33 = 4*g, 3*m + 5*g - 4*g - 99 = 0. Let a = 68 + m. Which is smaller: 102 or a?
a
Let x = 21 - 18. Suppose 5*v + f - x = 0, 2*v + 9 = 4*f - f. Let h = -7/281 - -597/1405. Which is greater: v or h?
h
Let d be (1/2)/(((-36)/6)/(-36)). Suppose -d*i = i - 56. Let t be ((-2)/(-4))/(2 - (-102)/(-52)). Which is smaller: i or t?
t
Let f(p) = p**2 - 12*p + 13. Let x be f(11). Let l = -72 + x. Let j = l + 75. Is j greater than or equal to -0.1?
True
Let d be (-430)/25 + -3 - (-66)/55. Which is smaller: -25 or d?
-25
Let o = -10329 - -10414. Which is bigger: o or 36?
o
Let q(b) = -b**3 - 33*b**2 - 34*b - 29. Let x be q(-32). Suppose 2*t = 4*r + 10, -3*t - x = 3*r + t. Is -4 greater than r?
True
Let v be 4210/12 - (46 + -26). Is 331 at most v?
False
Suppose -21*x + 48 = 3*x. Suppose -5*l + 3 - 