 q be -3 - (-1)/((2/k)/1). Suppose -7*o + q = 4*o. Which is bigger: 32 or o?
32
Let i = 5557 + -5375. Which is smaller: i or 361/2?
361/2
Let p = 26 + -47. Suppose 8 = 3*h + h, 4*h + 120 = 2*m. Let j = 41 - m. Which is bigger: j or p?
p
Let s be 0 + (1 - (-4)/(-3)). Suppose -14*b + 13*b = -4*v + 16, -2*b + 5*v - 26 = 0. Let x(r) = -r**3 - 9*r**2 - 10*r - 21. Let m be x(b). Are s and m equal?
False
Let w(a) = -a**2 - 58*a + 112. Let x be w(-42). Is 1 not equal to x?
True
Suppose -691 = -3*n - 2*v, 2*n - 4*v - 948 = -2*n. Let y = n - 701/3. Which is smaller: y or 5?
y
Let d(x) = -x**3 - 5*x**2 - 9*x - 19. Suppose 0 = 2*u - 9*u - 35. Let s be d(u). Which is smaller: s or 2?
2
Let l(x) = 2*x**2 - 5*x - 51. Let b be l(7). Suppose 0 = -k - b*k. Is k less than or equal to -10?
False
Let l = -17 + 10. Let k(n) = 43*n**2 + n - 4. Let j be k(2). Let g = 169 - j. Is g greater than or equal to l?
True
Let s be (-1824)/453 - -6 - (3 - 1). Which is greater: s or 5?
5
Let o be 69/(-46)*(-1382)/3. Let p = 670 - o. Which is smaller: p or -133/6?
-133/6
Let j = -38495739/172 + 100339902675/448318. Let i = j - 1/1604. Which is greater: i or 1?
i
Let m be 2 - ((-22)/(-20) + 0). Let a = 159 - 159. Suppose 3*s - b - 2 = a, s + 2*b = b + 6. Are s and m unequal?
True
Let b = -7.4121 - 1.0139. Let p = -0.074 + b. Let c = p - -8.24. Is -0.2 > c?
True
Suppose 0 = g - 20 + 17. Suppose -4*c + 3 = -1, 73 = 4*a - g*c. Which is greater: a or 32?
32
Let w = 12449 - 12450. Is -15/511 at most w?
False
Let u = -100 - -94. Let i be 3/(-5) - 189/(-15). Suppose i = -s - s. Are s and u equal?
True
Let y = 16776 - 17100. Which is smaller: -326 or y?
-326
Let x be (-7 + 11)*(0 + -3). Let i be x/(-12)*(0 + -1). Let a = 0.082 + 11.918. Is i > a?
False
Let z(q) = 546*q + 3810. Let d be z(-7). Is d != -412?
True
Let s be (-1 - 88) + (-6 - -6 - 2). Let b = -69 - s. Let k = -196/9 + b. Which is bigger: k or 2?
2
Suppose 403*c - 9016 - 15164 = 0. Let l = 19 - -41. Is c at most as big as l?
True
Suppose 79*b = 8653 + 5172. Is 161 at most as big as b?
True
Let z = 152 + -121. Let n = 64 + z. Is n != -1?
True
Let t = 8018 + -7942. Which is greater: t or -5/12?
t
Suppose -387*f + 385*f + 4*w + 2590 = 0, 3*f - 3878 = 5*w. Is 1285 less than f?
False
Let n(i) = -90*i**2 - i. Let w be n(-1). Let x = 10721 + -10810. Is w not equal to x?
False
Let w be 84/12 - 558807/79832. Is w greater than or equal to -1?
True
Let z = 695 + -647. Let o = -3287/2 + 1692. Is o > z?
True
Suppose 60 = 2*j + 44. Let a(p) = -p**3 + 10*p**2 - 8*p - 15. Let s be a(j). Do 48 and s have the same value?
False
Let b(m) = 39*m - 1571. Let y be b(41). Let j be (-91)/(-3) - 2/(-3). Is y less than or equal to j?
True
Let l = 17.08 - 17.12. Let w = -7 - -14. Is w greater than l?
True
Let c = 28 - 16. Suppose -4 = -s, q - 3*s = -s - c. Let g be (-25)/(-70) - (-1)/q. Is 0 greater than g?
False
Let k = 0.3 + 0.7. Let u be 6/(-15) - 113037/(-255). Let g = 443 - u. Which is smaller: g or k?
g
Let q(n) = 37*n**2 + 3543*n - 96. Let r be q(-95). Which is smaller: r or -2753?
r
Suppose 0 = 1265*i - 1264*i - 1. Is 2/40617 < i?
True
Let x(g) = -g**3 + 16*g**2 + 40*g + 1. Let f be x(18). Suppose -16*k - 234 = -3*q - 13*k, 3*k - 58 = -q. Is f at least as big as q?
True
Suppose -k + 244 = -5*j, -8*k = -4*k + 2*j - 800. Which is greater: k or 225?
225
Let h be 4/(-10)*(-15294550)/452. Which is smaller: 13534 or h?
13534
Let i be ((-3)/12*-6*(-1016)/381)/2. Which is smaller: -2735 or i?
-2735
Let k(z) = -4*z + 5. Let n be k(-2). Let w = 47.75 + -48. Let l = w - -0.45. Is l at most n?
True
Suppose 5*t + 2*z - 30 = 0, 0 = -3*t + z + 2*z - 3. Suppose -k = t*y + 12 + 84, 2*y = k - 48. Which is smaller: -159/7 or y?
y
Let x(m) = 2*m**2 + 112*m - 351. Let v be x(-53). Is v bigger than -668?
False
Let u = 84.3 + -84.4. Let i = -2.1 - -2. Let g = i + -0.4. Which is smaller: u or g?
g
Let o be -11*(-72)/(-1716) + 3784/(-26). Which is greater: 2/13 or o?
2/13
Suppose -192*x - 3339 - 3389 = -134*x. Is -175 at most x?
True
Let x = -130819/1518 + 517/6. Is -1 bigger than x?
False
Let t = 1 - 1. Let g = 1616 + -64633/40. Let o = 5/8 + g. Which is bigger: o or t?
o
Let h = -1048 - -660. Let p = h + 392. Which is greater: 9 or p?
9
Let j be (((-5949)/(-6384))/(-1) + 1)*2. Let u = j - -1/152. Is u greater than -1?
True
Let b be 3660/2562*(11244/2790 - 4). Suppose 3*o = -d - 8, d - 2*o = 2*d + 5. Is d less than or equal to b?
False
Let n(b) = -3*b**3 - 2*b**2 + 2*b + 2. Let u be n(-2). Suppose 2*d = -0 + u. Suppose 0*x = 3*s + x - 25, s - 5*x - 3 = 0. Which is bigger: d or s?
s
Suppose 7*y + 4*y - 44 = -5*l, -5*y = -l - 20. Which is greater: -1/534 or l?
l
Let l(i) = 2 - 3 - 52*i**2 + 0. Let b be l(-1). Suppose 172*a - 1134 = 193*a. Which is smaller: b or a?
a
Let i be (0 + 4)*1/2. Let j(n) = 50*n - i*n**2 - 74*n - 7 - 3. Let t be j(-12). Which is greater: -8 or t?
-8
Suppose 5*f + 601*o = 606*o + 40, 2*f = -5*o - 96. Let a be ((-2)/(-6))/(33/(-900)). Which is greater: a or f?
f
Let i be 102/20*(-3 - 1). Suppose -16479*s + 4*y + 31 = -16480*s, -5*s - 5*y = 110. Is s smaller than i?
False
Let l = 0.02378 + -3.02378. Is -1.71 < l?
False
Let f = 0.5 - 1.5. Let k = -24.654 - 0.046. Let t = k - -24. Which is smaller: f or t?
f
Suppose -2*f = 2*k, 3 + 3 = 3*k. Suppose -2*a + 3*o + 969 = 0, -83 = -a + o + 402. Let m = 1453/3 - a. Are f and m nonequal?
True
Let m = 11/2419 + -152419/4838. Let l(i) = -i**2 + 4. Let c be l(6). Which is smaller: m or c?
c
Let u = 44 + -50. Let o be ((-9)/36)/((-6)/(-32)) + 2. Is u >= o?
False
Suppose 0 = -3*u - z - 7, u + 6 = 52*z - 56*z. Let j = 28.2 - 29.9. Which is smaller: j or u?
u
Let b = -442.52 - -438. Let y = -0.32 - b. Is 0 bigger than y?
False
Let u(c) = c**3 + 7*c**2 - 4*c - 4. Let z be u(-8). Let q = -10066 + 10031. Is z at most as big as q?
True
Suppose p = -167 - 33. Let v be ((-663)/(-68) - 9) + ((-46)/40)/1. Which is greater: v or p?
v
Let v = 68167/250772 - -5/10596. Which is smaller: -1 or v?
-1
Let m(s) = -s**3 - 6*s**2 - 3*s - 1. Let j be m(-2). Suppose 4*i + 5 = -h, -8*h + 3*h = 5*i + 40. Which is smaller: j or h?
j
Let w = 16358 - 90541528/5535. Which is greater: -1 or w?
w
Suppose 0 = j - 2*u - 10, 4*j + 3*u + 1 = 2*j. Which is greater: j or 24/5?
24/5
Let d = 15057/226321373 + -1/31366. Is d at least 1?
False
Let k = 27534 - 27275. Do -1 and k have different values?
True
Suppose -4*q = -3*r + 29, -2*r + 6*r - 3*q - 20 = 0. Which is smaller: r or -1/4242?
r
Let x = -5289 + 2816. Which is smaller: -2471 or x?
x
Suppose -16*l - 2*k = -12*l - 184, 0 = 3*l - 4*k - 149. Let h = l - 46. Which is bigger: -43/6 or h?
h
Let g = 2793 + -2811. Which is bigger: g or 0.35?
0.35
Let s = -481.702 - -481. Are -1/3 and s equal?
False
Suppose 6*m = m - 100. Let y be 4 + 0 + -6 + 6. Suppose 3*o = -4*s - 56 + 6, -y*s + 60 = -2*o. Which is smaller: o or m?
o
Let u be (24/46)/(-3) - 0. Let m = -230927 - -230927. Which is smaller: m or u?
u
Let j be 1/3 + (-625)/(-15). Let m = -387 + 233.2. Let y = 154 + m. Which is greater: y or j?
j
Let s = 18.79 + 263.21. Which is greater: 7/10 or s?
s
Suppose -29*s + 34*s = 25, -2*s = 4*l - 54. Is l != 29?
True
Let q(r) = -r**3 + 9*r - 3. Let w be q(-4). Let h be (-2036)/(-98)*((5 - -1) + w). Let i = 644 - h. Is -1 at most as big as i?
True
Let v(a) = -a**2 + 23*a. Let w be v(23). Suppose w = -16*x + 15*x + 2*r - 164, -3*r = x + 169. Is x equal to -165?
False
Let g be ((-54)/36)/(10029/(-4)). Let s = g + 598389/13372. Which is greater: 44 or s?
s
Let d(w) = w**3 - 4*w**2 - 83*w. Let v be d(0). Which is bigger: -28/1179 or v?
v
Suppose 35*x = -29*x - 105*x - 22477. Do x and -1725/13 have the same value?
False
Let s be (0 - 5/12)*(-52 - (-13920)/270). Which is greater: s or -11?
s
Let h = -555 + 555. Which is greater: h or 15/46?
15/46
Let b be (-20256)/28 - (-5 - (-39)/7). Let o = b - -665. Which is smaller: -57 or o?
o
Suppose -3*q + n = -0*n - 38, 3*q + n = 40. Suppose -2*z - 3 = -q. Suppose -17 = -z*v - 12. Does v = 0.04?
False
Let m = 105.942 + 1.258. Let x = m - 51.8. Let u = x - 55. Which is greater: u or 5?
5
Let s = -82 + 75. Let h = -12 - 18. Let j = h + 32. Which is bigger: j or s?
j
Let h = 417 + -615. Let d = h - -191. Which is greater: -13 or d?
d
Suppose -6*l + 4*l = -612. Suppose -2*r +