 120 = 3*j. Suppose 0 = -2*h - 5*q - 55, 5*h + 129 + 96 = 5*q. Which is bigger: n or h?
n
Let n be (-15313255)/(-4876)*(-266)/(-95). Let l = -17587/2 + n. Which is smaller: l or 0?
0
Let j = -2691 + 29650/11. Let i be 4/((-120)/(-138)) - (-4)/10. Are j and i equal?
False
Suppose 5*c + 8 = 2*a + 24, -2*a = -4*c + 12. Suppose h + 4*h = 0. Suppose h = 2*b - c*b + 2. Is 3/4 bigger than b?
False
Let r = 642.5 + -696. Let p = r + 53.5. Suppose 0 = -0*h - 4*h - 184. Which is bigger: h or p?
p
Let g = 2846 + -603351/212. Which is smaller: g or 0?
0
Let a be -328 + 336 + 316830/(-39604). Which is bigger: 0 or a?
a
Let d(m) = -267*m + 8073. Let t be d(30). Suppose 3*q - 189 = -3*r - 0*q, 0 = r + 2*q - 62. Is r not equal to t?
True
Let i(g) = -3*g + 71. Suppose 3*f - 72 = 4*a, 4*a + 9 = -2*f + 57. Let m be i(f). Which is smaller: 2/73 or m?
m
Let g(k) = k**3 + 2*k**2 - 47*k - 160. Let v be g(-5). Which is bigger: 2/9443 or v?
2/9443
Let k = 4393 + -4429. Suppose 0 = f - 0*f - 52. Let b = k + f. Is -2/11 > b?
False
Let s be -5 - (-65)/2 - (-42)/(-14). Which is smaller: 25 or s?
s
Let b(v) = v - 4*v - 18 + 4*v + 19*v - v**2. Let g be b(20). Is g <= 1?
True
Let c = 57 - 25. Suppose q + l + c = 0, 2*q + q = -2*l - 91. Let z = q + 26. Which is smaller: z or -2/29?
z
Let c = -11 - -30. Let h = 118.2 + -118.1. Is c bigger than h?
True
Let s = -67.54 - -1.54. Let r = -2.93 + -64.47. Let t = s - r. Is 0.2 >= t?
False
Let m = -249 - -115. Let f = m + 219. Is -2/5 not equal to f?
True
Let w = 8824 - 8784. Which is bigger: 2 or w?
w
Let m = -0.053 + -0.035. Let r = -0.212 + m. Are r and 0.06 non-equal?
True
Let o be 43 + 1 + (-2 - -1). Let i = -169874 - -169915. Which is smaller: i or o?
i
Let m = 33 + -31. Suppose m*z - 10 = 0, -2*v - v - 3*z = -27. Suppose 11 = 5*i + 3*s - 4, -v*s = i - 20. Which is greater: 15/7 or i?
15/7
Let o(y) = -y**3 + 5*y**2 + 4*y + 2. Let c be 15*(-2 - (42/(-30) - 1)). Let a be o(c). Which is smaller: -12 or a?
-12
Suppose 188 = 136*c - 1580. Which is bigger: 188/13 or c?
188/13
Suppose 0 = 4*o + 3*k - 9 + 25, 2*o + 30 = 4*k. Let s = 9/73 - 2527/365. Which is bigger: s or o?
s
Let c(z) = -41*z**2 - 6*z - 19. Let r be c(-10). Let m = -1489651/367 - r. Which is smaller: 1 or m?
m
Let d = 52 + -17. Let a be ((-2)/(-7))/(5/d). Suppose 0 = 2*q + a*q + 180. Is q < -46?
False
Let g = -1172 + 1175. Let m = 8 - 19. Let w = m + 11. Is g equal to w?
False
Let c be (4/10 + 0)/(15 + -17). Let a = -27 + 26.83. Is a != c?
True
Let g(z) = z**3 + 4*z**2 - 12*z + 4. Let q be g(-4). Let r = 2477 + -2421. Is q <= r?
True
Let r = 15.33 + 14.67. Which is smaller: r or 1/21?
1/21
Let f = 0.59 - 164.99. Let p = f + 165. Which is greater: 17 or p?
17
Suppose 3*c - 595 = 425. Let y be 2/5*20/c. Suppose 0*g = -5*g. Is g at least y?
False
Let r(c) = -c**2 - 14*c + 3. Let h be r(-13). Let i(b) = 13*b - 282. Let q be i(23). Is q >= h?
True
Let b be 7/(-35) - 116/(-5). Let f = 47.09 + -47.19. Which is smaller: f or b?
f
Suppose -11*p + 8*p + 50*p = 198152. Which is bigger: 4215 or p?
p
Let q = -4.94 - -4.44. Which is bigger: q or -0.97?
q
Suppose 22*k = -59*k - 1944. Which is greater: 2 or k?
2
Let n be (19 - -2) + 2/(-2). Let q(t) = -426 + 1212 - 414 - t + 3*t - 416. Let f be q(n). Which is greater: -5/2 or f?
-5/2
Let f = -9161 + 9222. Which is bigger: 64 or f?
64
Let q = 0.13 - 0.91. Let c = 4.78 + q. Let o be ((-3)/6*3)/(6/(-28)). Which is smaller: c or o?
c
Let v be -6*(25/(-30) + 0). Suppose -2*l - 2*f + v = -1, 6 = 2*f. Suppose -6*a + 0 + 18 = l. Does a = 42/11?
False
Let g = -0.4821 + -1831.5179. Which is smaller: 3 or g?
g
Let u be 18/(-27)*21*(-3)/6. Let c be u + 30/6 + -13. Let s = -9 - -2. Is s at least c?
False
Let i = -133 + 207. Let o = -56 + i. Let r = o - 17. Which is greater: r or 12?
12
Let s(d) = -4*d**3 + 4*d**2 - 2*d + 65. Let n be s(5). Which is greater: -348 or n?
n
Let z = 1693 + -1622. Let u = 11 + -5. Suppose -4*h + u*h - 144 = 5*p, 144 = 2*h + 5*p. Which is greater: h or z?
h
Suppose -8*o = -4*o + 112. Let t = -26 - o. Which is bigger: 2/3 or t?
t
Let o = -532 - -488.5. Let i = -43.8 - o. Are 139 and i equal?
False
Let v(b) = 12*b - 13. Let j be v(2). Let l(y) = 3*y**2 + 11*y - 5. Let g be l(-5). Are j and g unequal?
True
Let z be (-4)/(-5) + 184408/(-2670). Which is smaller: -1/2 or z?
z
Let m = -0.05 - -0.39. Let u = 443/28 - 109/7. Which is bigger: u or m?
m
Let f = 276 - 4136/15. Which is smaller: f or 4/3?
f
Let f = -2582.1 - -2582.7. Are -733 and f equal?
False
Let j(f) = -f - 7. Let d be j(-7). Suppose z + 4*c = -3 + 7, d = -2*c + 2. Which is greater: 5/41 or z?
5/41
Let j be (31/(-5) + 5)/((-1896)/45). Is j greater than -1?
True
Let d = -555/56 + 72/7. Let p(b) be the first derivative of -b**3/3 + b**2 - b + 1. Let f be p(2). Is d greater than f?
True
Let p(g) = g**3 - 24*g**2 + 70*g - 146. Let t be p(19). Is -3106/5 >= t?
False
Let g = 210 + 9. Let u = g + -238. Is u at least as big as -18?
False
Suppose 325*a = 330*a - 7*v - 61000, -5*v = -5*a + 61010. Which is smaller: a or 12209?
a
Let r = 150/247 - 65983/494. Let x = -133 - r. Is 2/3 at most x?
False
Suppose 3450 = 13*p - 12995. Which is bigger: p or 1263?
p
Suppose -66 = -9*h + 12*h. Let x = -20 - h. Let o be (24/(-60))/(1/25). Which is smaller: o or x?
o
Let y(i) = 19*i**2 - 69*i + 1502. Let k be y(19). Which is smaller: 7052 or k?
k
Let f(i) = -5*i + 106. Let y be f(21). Let l = -10117 - -212497/21. Which is greater: y or l?
l
Let v(n) = -388*n + 431. Let f be v(2). Is f <= -352?
False
Suppose 0 = -14*n - 744 + 2480. Suppose -5*z + 196 = -4*d, -6*z = -3*z - 4*d - n. Is z smaller than 145/4?
True
Let d be ((-36)/(-27) - (-12)/(-9))/(-2). Is -1/4416 != d?
True
Suppose 130*s = -140*s + 8166 + 12084. Is s bigger than 54?
True
Let y = 3574.9358 - 3575. Which is bigger: y or -2?
y
Suppose 70*x = 66*x - g - 65, -2*x - 5*g - 1 = 0. Are -472/25 and x non-equal?
True
Let c be ((-4)/6)/(102/(-459)). Suppose -c*h + 2*v = -100, -4*h + 114 = -5*v - 17. Which is smaller: h or 232/7?
232/7
Let t = -0.7383 - -0.693. Let k = 1.9547 - t. Which is smaller: k or 0.19?
0.19
Let r be (0/303)/(-3 + (1 - 0)). Is 17 >= r?
True
Let p(s) = -s**3 - 7*s**2 - 7*s - 12. Let d be p(-6). Let n = 17 + -28.3. Let g = 12 + n. Which is greater: g or d?
g
Let j = -3/373 - -854/152557. Let v = 17 - 16. Which is bigger: v or j?
v
Let c = -3576 + 3574. Which is bigger: c or -50?
c
Let i = -45 + 27497/611. Let p = -2962 - -2962.1. Which is smaller: i or p?
i
Let h be 1 + (-7 - 1)/(-48) + 21/(-18). Which is bigger: h or -17/287?
h
Let l(w) = -2*w**3 + 42*w**2 - 78*w + 1. Let a be l(19). Suppose -3*b + 68 = 2*m, 3*b - 64 = -0*b - 4*m. Let f = b + a. Which is smaller: f or -12?
f
Let c be 1*((-4)/(-11) - (-140)/(-385)). Is -57/217 at most as big as c?
True
Let n = 342.251 + -341.151. Let x = -0.1 - -0.2. Is x at least n?
False
Let b = -0.206 - -0.032. Let d = b + -1.626. Is d at most as big as 2?
True
Suppose -14*h + 2*v + 196 = -12*h, -4*h - 3*v + 413 = 0. Let a = -99 + h. Let u = 0 - 1. Is u bigger than a?
False
Let u = -1.84 + 3.19. Let v = u + -1.25. Let n be 16/(-5) + 9/15. Is n at most v?
True
Let w be 2/((-80)/12) - (-391)/170 - 12743. Which is greater: w or -12742?
w
Suppose -1023 + 4969 = u - 3*s, 4*s + 19796 = 5*u. Do 3963 and u have different values?
True
Let t be ((-8)/10)/((-78)/195). Suppose 0 = 9*s - 7*s - t, -2*h - 4*s + 6 = 0. Which is smaller: 1/125 or h?
1/125
Suppose 4*t + 20 = -4*k + 44, k - 3*t + 10 = 0. Is k bigger than 41/14?
False
Let s = 86 + -206. Let h = -120.2 - s. Let b = -7/9 + 4/9. Which is smaller: h or b?
b
Suppose -12*o + 4*r + 54348 = 0, 4*o - r - 23200 = -5082. Which is greater: o or 4530?
o
Let b = 27.0788 - -1.9212. Are b and 239 equal?
False
Let w = 701/8 - 6733/72. Which is greater: -7 or w?
w
Let h(s) = 82*s + 4677. Let i be h(-39). Is -0.5 at most as big as i?
True
Let n(g) = -16*g - 150. Let q be n(-6). Which is smaller: q or -46?
q
Let s = 0.0064 - -531.9936. Let a = 551 - s. Are a and -1.5 non-equal?
True
Let c = -1947 - -1955. Let m(d) = -d**2 - 2*d + 4. Let y be m(-4). Let k be 3/(y + 1) + c. Which is greater: k or 6?
k
Let z = 2059/306 + -101/18. Which is greater: z or 0?
z
Let a(b) = -b + 19. Let f be a(17). Let z(u) = 6*u - 3*u**f + 11 - 3*u**2 + 0*u**2 + 7*u**2. Le