h is smaller: 6 or n?
n
Let q(r) = -8 + 77*r**2 + 10 - 2*r - 2*r. Let c(x) = -x**3 - 17*x**2 - 14*x + 33. Let l be c(-16). Let u be q(l). Which is smaller: 74 or u?
74
Suppose -36*v + 32620 = -50*v. Is v smaller than -2329?
True
Let f = -1964 - -2078. Is 1/3 <= f?
True
Suppose -5*w + 3804 - 1369 = 0. Let p = w - 488. Which is smaller: p or -2/89?
p
Let j(n) = -7*n + 40. Let x be j(-10). Let k = x - 111. Which is bigger: -4/5 or k?
-4/5
Let v = -351.484 + 280.4. Let a = 71 + v. Let g = a - -0.084. Which is bigger: -6 or g?
g
Suppose -3*y - 2 = 5*u - 4*u, -2*y = 5*u - 3. Is u greater than -2/7413?
True
Let j = -44 - -45. Let s(h) = -h**2 + 10*h - 19. Let g be s(7). Let c be 8/14*(-3)/12*g. Which is bigger: c or j?
j
Let l = -9876 + 22363. Let p = -6830392/547 + l. Let x = p - -1349/46495. Which is bigger: x or 1?
1
Suppose 6 - 36 = -6*u. Suppose 0 = 4*z - u*f + 13, -2*f - 34 = 4*z - 0*f. Which is smaller: z or -5?
z
Let q(w) = w**3 + 11*w**2 + 5*w + 57. Let t be q(-11). Suppose -t*m - 7 + 32 = 5*f, f = -3. Does 98/5 = m?
False
Suppose -36 = 3*p - 4*d, -7*p + 4*p = d + 21. Let m(s) = -s**2 - 9*s + 25. Let r be m(-11). Suppose r*h = -2*h - 15. Which is greater: h or p?
h
Let r be (-206 + 209)/(2/(12/(-5))). Let t be (-236)/30*(-2)/4. Let i = r + t. Is -1/31 less than i?
True
Let q(c) = c**2 - c + 5. Let g be q(0). Let b(w) = -5 + 3 + g*w - 6*w + 3*w. Let r be b(-2). Which is bigger: r or 3?
3
Suppose 4*x + y = -2, -x - x + 2 = 2*y. Let t = 12/277 + 269/25761. Is x less than or equal to t?
True
Let r = 1.111 - 6.111. Is r > -126/5?
True
Suppose 3*v - 4*h - 23 = 0, 4*v = h + 14 + 34. Suppose -6*z - 92 = -10*z. Let c = z - 9. Is c smaller than v?
False
Let m = 2856116/26427 + -7432/69. Do m and -1 have the same value?
False
Suppose i + 514 = 3*d, -3*i - i + 8 = 0. Suppose 0 = d*t - 166*t - 12. Which is greater: t or 9?
9
Let d be (-10521)/(-126) - ((-6)/33 - 29/22). Does -9 = d?
False
Suppose 5*b - 27*b = -176. Suppose b*g + 10 - 2 = 0. Is g less than -5/12?
True
Let u = -550 + 662. Suppose 0 = 3*q + 2*z - 1589, -4*z - 1565 = -u*q + 109*q. Is q less than 527?
False
Suppose 57 = -q - 2*q. Let a = 21 + q. Suppose 3*g = -g - z - 12, -5*g - a*z - 18 = 0. Is g != 0?
True
Let f be -2*(-198)/20 + 32/(-40). Let i be ((-2)/12)/(151/(-16761)). Is f <= i?
False
Suppose u + 4 = -3*u. Let n = 202294/39 + -5187. Is u at least n?
False
Let i(f) = 5*f - 1. Let m be i(-1). Let j be ((-22)/m - 3)/(10/4). Let r be 0/(-4 + -4 + 0). Is r less than or equal to j?
True
Let r = -268 + 324. Let s = -55 + r. Let v = -48/29 + 665/174. Is v < s?
False
Suppose 0 = 4*q + 4*c - 36, -3*q + 0*c - c = -29. Suppose -2 - q = 4*f. Let g be 2/((-2)/7) + 50 + 7 + -52. Is g > f?
True
Suppose 2*w - 3*j - 3 = 0, -187 = 2*w + 4*j - 169. Is -2494 bigger than w?
False
Suppose w - 3 + 30 = -26. Is -54 less than or equal to w?
True
Let n = 7777 - 7812. Which is smaller: n or 0.032?
n
Let l be 11/(66/(-12))*2. Let z be 36/1056 - l/(-32). Is z smaller than 0?
True
Let u be (-1 - -1) + 38/(-11). Suppose -19289*f = -19183*f + 212. Which is bigger: u or f?
f
Let n = 225 - 230. Suppose 6 = -9*b + 6*b. Is n smaller than b?
True
Let k be (2/1)/(-2) + 13536/(-47). Which is smaller: 8 or k?
k
Let i = -41.93 - -41.89. Which is bigger: i or -1/18?
i
Let l be (-8)/(-2)*2 - (-4543 - 2795). Are 7346 and l unequal?
False
Let u = -1317 + 2436. Which is greater: u or 7832/7?
u
Suppose 0 = -13*y + 30330 - 30473. Suppose -2*v - 70 = 3*v. Which is smaller: v or y?
v
Let l be (2/6*4)/((-54)/(-132597)). Is 3273 > l?
False
Let t be -4 + (-4 + (-66570)/(-16798) - -4). Let n = t - 10/227. Which is smaller: 1 or n?
n
Suppose -4*b + 112 = 2*f, -4*b - 4*f + 84 = -b. Let u be -1 + b/(-8) + 12/8. Let k(x) = -2*x - 1. Let a be k(u). Are a and 6 equal?
False
Suppose -24*x + 31*x = 434. Suppose 6*r + x + 16 = 0. Let u(q) = -q**2 + 4*q - 7. Let i be u(5). Which is greater: i or r?
i
Let l be (-3)/(-15) - 196/230. Let y = l - 967/69. Is y at most -15?
False
Suppose 0 = 12*v - 26 - 10. Suppose -9*k - 2 = -j - 5*k, 4*j + v*k = -11. Do -35 and j have different values?
True
Let j(b) = 386*b - 175. Let l be j(-2). Are -948 and l nonequal?
True
Let p = -133.57 - -133. Let i = 52.57 + p. Let q = i + -49. Which is bigger: q or -27?
q
Let i be (-1049032)/476840 - 44/(-20). Which is smaller: 1 or i?
i
Let f(o) = -7*o**2 - 21*o - 163. Let t be f(-12). Is -921 less than or equal to t?
True
Let y = 313.77 - -107.23. Is y less than or equal to -2?
False
Let f = -8.9 + 11.4. Let h = f - 3.01. Which is smaller: h or 1?
h
Suppose 5*w - 23 = -61*w + 43. Which is smaller: -4/2485 or w?
-4/2485
Let l(f) = 3*f - 30. Let j be l(0). Let s = j + 45. Suppose -15*h = -21*h. Does h = s?
False
Let h(t) = 10*t + 61. Let a be h(8). Let n = -187 + a. Which is greater: n or -45?
-45
Suppose -4*j + q = 815, 84 = -2*j + q - 325. Let g = j + 2637/13. Which is bigger: g or 0.02?
0.02
Let k(x) = -16*x + 6. Let h be k(-1). Let z be 50 + -34 + -1 + 8. Is h at most z?
True
Let b = -8 - -29. Let j = b - 10. Let h be 390/780*(-2)/12*-4. Which is greater: j or h?
j
Let k = 5498/27565 - -3/5513. Is 188.5 < k?
False
Let a = -6.98698 + -0.01302. Is a equal to -20/13?
False
Let i = 35499 + -22012. Is -2 smaller than i?
True
Let g = -770871/13 + 59364. Are 66 and g non-equal?
True
Let n be (-8)/36 - (-14)/(-18). Let v be (0 - 2/(-4)) + (-8)/((-1792)/(-40)). Which is bigger: n or v?
v
Let n be (-34)/12 + (-7)/168*4. Let p be (-12)/1*((-195)/66 - n). Which is greater: p or -2/19?
-2/19
Let x(m) = m**2 - 195*m - 6707. Let p be x(-32). Do 545 and p have the same value?
False
Suppose -891 = -6*w + 15*w. Let q be (0 - (-1 + 2))*(-25)/5. Suppose -111 = -q*f - 601. Which is bigger: f or w?
f
Let o be (-20320)/6 + (-14)/(-336)*16. Is -3387 smaller than o?
True
Let l = -5445 + 5444.922. Which is smaller: -9 or l?
-9
Let m = 3328 - 3327. Which is bigger: m or 2/481?
m
Let m be (-2)/(-58) - (-26419984)/(-11716). Which is smaller: -2257 or m?
-2257
Suppose 53 = 6*v - 109. Suppose -v*b + 7710 - 1257 = 0. Are 237 and b equal?
False
Let q = -19.39 + 17.3. Let a = -0.07 - q. Let v = a - 2. Which is greater: -1 or v?
v
Let x be ((-5)/(-1415))/(-2 + (-21)/(-10)). Is 0 at least x?
False
Let w = 20 + 1. Let h = 121.8 + -124. Let s = -2 - h. Is s smaller than w?
True
Let k = -0.594 + -3.586. Let d = k + 4.08. Which is smaller: d or -378?
-378
Suppose 0*z + 5*z + s = 12, 3*z = 2*s + 2. Let m be 0 - z - -1 - (-520)/(-16). Is -33 >= m?
True
Let p(l) = -171*l + 1. Let y be p(-5). Suppose -4*j + g = 840, 0 = -4*j - 9*g + 14*g - y. Is -210 less than j?
True
Let u be ((-852)/428 - -2)*-211 - -2. Suppose 66 = 3*w + 69. Are w and u non-equal?
True
Let v(r) = -r - 7. Let t be v(-7). Let s(o) = 67*o - 271. Let n be s(4). Let w be (n - (t - 0)) + -22 + 11. Are w and -12 equal?
False
Let i = -0.05468 + -5.94532. Is 14/47 at least as big as i?
True
Let o = 305 - 117. Let k = o - 204. Which is bigger: k or -0.4?
-0.4
Suppose -65*x - 129 = -166*x - 28. Are 16/1645 and x nonequal?
True
Suppose q + 5*w - 66 = 0, 169 = 3*q + 4*w + 37. Which is greater: -59 or q?
q
Let n = -141 - -144. Let l be (-34 - -33)/((n/(-166))/(-3)). Is -166 less than l?
False
Let n = 2.891 + 8816.109. Is -0.1 bigger than n?
False
Let m(k) = -k**3 + 9*k**2 + 78*k - 141. Let z be m(-22). Do z and 13146 have different values?
True
Let c(f) = 10*f**2 - 10*f - 75. Let r(j) = 7*j**2 - 7*j - 50. Let k(h) = -5*c(h) + 7*r(h). Let x be k(-13). Is x at most as big as -156?
True
Let i = 526 - 522. Suppose -w - 14*v + 10*v + 74 = 0, 4*w - i*v = 216. Is 64 smaller than w?
False
Suppose 5*j - 5*a - 50 = 0, j - a - 2*a = 20. Let m be 3*j/(-15)*-3. Suppose -5*y + m*u = 253, -5*y + 2*u + 0*u = 257. Is y <= -52?
True
Suppose 2*i + 7*k - 3*k + 1126 = 0, -2252 = 4*i + 4*k. Let m = i - -511. Which is smaller: m or -56?
-56
Suppose -138*y + 92*y - 2576 = 0. Suppose -5 - 3 = 4*a. Which is bigger: a or y?
a
Let r(o) = -1320*o + 4530. Let c be r(0). Is 4533 less than or equal to c?
False
Let y = 1240 - 3377. Which is smaller: -2/5 or y?
y
Let b = -18204 + 17812. Which is smaller: b or -400?
-400
Suppose 3228 = -2*u + 3*j, -5*j = 2*u - 7*j + 3230. Which is greater: -1619 or u?
u
Let d be 3/(33*(-18)/(-593802)). Is 20991/7 less than d?
True
Let v = 0.19 + -0.24. Let 