. Let q be (2/(-4))/((-5)/(-120)). Let j be 4/(-5)*30/q. Is j > a?
False
Let v be 1*(-3)/(-15)*4189/(-531). Which is smaller: v or -3?
-3
Let t be (-468)/1521 + 18206/(-572). Which is smaller: t or -33?
-33
Let f = 1457.954 - 0.954. Is f less than or equal to -1/3?
False
Suppose 5*b + 4*d + 204 = 0, -b - 124 = 2*b + 4*d. Let r = b - -40. Suppose -v - 1 = r, y - 4*v = 2 + 2. Which is smaller: y or 4/13?
y
Suppose -3*g = 3*p + 36, -p - 2*g - 12 = -0*g. Let w be (-15)/p*8/(-2). Let t be (-13)/w - (-6)/(-10). Which is smaller: 6/5 or t?
6/5
Suppose -4*d + 659 = -3*i, d - 176 = i + 43. Let o = i + 205. Is -13 greater than or equal to o?
False
Suppose -2*l - 9 + 3 = -2*o, -31 = -2*o - 3*l. Let m be 142/((o + -2)/3). Let v = 10 - m. Are v and -61 equal?
True
Let u be (1 - 1) + -1 + (12 - 11). Let i be (u - 0) + (-286)/10. Is i bigger than -29?
True
Let x = -11801.81 + 11610. Let p = 4.19 - x. Let s = -109 + p. Is s less than or equal to -1?
False
Suppose -c + 2*y + 3757 = 0, -2*c - 5*y + 6823 = -709. Is c less than 3762?
True
Let d be 72/(-18) + (-25)/(10/(-2)). Are d and -9/784 nonequal?
True
Let x = -70/27 - 1682/351. Let h = -478/65 - x. Let g(a) = -340*a + 2039. Let t be g(6). Is t >= h?
False
Let q = 5097 + -5098. Which is smaller: 7/911 or q?
q
Let j = -238 - -202.78. Let u = -121 + 156. Let p = u + j. Is p > -0.2?
False
Suppose -3*d + 6*q = 4*q + 1, 4*q = 20. Let v be (68754/198)/(2/6). Let p = v - 1039. Which is smaller: d or p?
p
Let g(t) = 10*t**2 + 4*t + 1. Let x be g(-1). Suppose -28 = 5*c + 3*z, -4*c = 4*z + x + 9. Let s be (-904)/132 - (-2)/11. Is s < c?
False
Let i = -7.6 + -91.4. Let h be 0*(-1)/(-8)*(-1 - -2). Which is smaller: i or h?
i
Let h = -4011 + 4231. Let q = -338 + 559. Which is bigger: h or q?
q
Let u = 12.4 - 11. Let f = u - 1.68. Let h = 670 + -670.2. Is h equal to f?
False
Suppose 13*b - 16*b = 4*k - 79, -3*k + 69 = -b. Suppose 0 = 4*y - 3*y - 18. Which is smaller: y or k?
y
Suppose 23*x = -259*x - 8460. Is x < 83?
True
Let p(k) = 3*k + 54. Let s be p(0). Let y be (1/(-2))/(s/36). Let u = -66 + 66.27. Which is bigger: y or u?
u
Suppose -3*l - 11 - 91 = 0. Let f = l + 49. Suppose -c = 3*m - 36, 3*m - 25 = 4*c + 26. Which is greater: m or f?
f
Let x = -15174 - -15155. Which is bigger: -18 or x?
-18
Suppose -o + 5533 = p, 5*o - 4*p = -12597 + 40244. Which is bigger: o or 5532?
5532
Let l(z) = z**3 - 6*z**2 - 4*z - 1. Let c be l(7). Let n = 1803 + -7133/4. Let w = c - n. Is w equal to 31?
False
Let v = -7/270 - 4769/3510. Which is bigger: v or -2?
v
Suppose 51*n + 1 - 31 - 21 = 0. Is n greater than or equal to -135?
True
Suppose u = 2*r - 109, 0*r = 4*r - 20. Let y be 397/(-9) - 11/u. Suppose 2*o + 102 = -3*c, -4*o + 4*c = -o + 119. Is o < y?
True
Let i(d) = -301*d + 3796. Let k be i(17). Is -1319 >= k?
True
Let j(h) = h**2 + 26*h + 41. Let y be j(-24). Suppose 0*d - 24 = 6*d. Is y >= d?
False
Let u be 85/(-34) + -12*(-2)/(32/(-186)). Is u < -142?
False
Let k be (-4)/10 + (-1292)/(-30). Let c(y) = 3*y**2 - 409*y - 5780. Let f be c(-13). Which is greater: f or k?
f
Suppose q - 8*t - 15 = -4*t, -t = 2*q - 30. Let k = q + -35. Which is greater: -6 or k?
-6
Let z be 418/(-14) - 9/63. Let w = 5 + -2. Suppose w*h = -44 - 43. Which is smaller: h or z?
z
Let a = -191.628 + -0.372. Let u = 119 + a. Let b = u - -73. Which is greater: -60 or b?
b
Let c(k) = -13*k + 53. Let u be c(4). Let p be (-2)/(-3) + 120/36. Suppose p*o - 3*a = -o + 20, -2*a = -5*o + 15. Is u less than o?
False
Let x be -1*93653/(-406)*3. Let n = -692 + x. Which is smaller: 1 or n?
n
Let z be 1 + (3 - -2) + -3 + (31 - 2495). Which is greater: z or -2462?
z
Let l = -33631 + 34215. Is 585 at least as big as l?
True
Let b be (158/16 - -1)/(9141/(-44)). Does b = 1?
False
Let c = -0.12466 + 1.00466. Is -0.079 at least c?
False
Suppose 3808*q - 3805*q - 1966 = -5*n, 0 = -2*n - 5*q + 813. Is n smaller than 388?
False
Let z = -16496 + 16464. Suppose -5*s = -69 + 244. Is z bigger than s?
True
Suppose -8*y - 15 = -3*y, -867 = 3*z - 5*y. Let q be ((-4)/54)/((-7)/z*-1). Are 3 and q nonequal?
True
Let t(u) = 4*u + 52. Let i be t(-13). Let h be (-13 - 448)*(i + (-2)/22). Let z = h + -42. Which is smaller: z or 2/11?
z
Suppose -5*a + 5*c = 1195, 0 = 7*c - 2*c. Let x be ((-830)/4280)/(a/30). Let k = x + -7/214. Are k and 1 equal?
False
Let q(d) = -6*d**2 + 39*d + 161. Let v be q(-4). Which is bigger: -79 or v?
-79
Let y be (-10)/(-30) - (-80)/300*(1 + -6). Which is bigger: y or -2/3599?
-2/3599
Let b be (-9)/(-18)*(9 - -1). Suppose w = -i, -b*i + 30 = -4*w - 3*i. Which is bigger: -9 or w?
w
Let u = -2531 - -1833. Which is smaller: -700 or u?
-700
Suppose -16*q + 31*q + 111 = 52*q. Suppose -15 = 5*c - y, -y = -2*c + 2*y - 19. Let d be (190/(-66) + q)*3/c. Which is smaller: -0.8 or d?
-0.8
Let a = -74.91 - -70.91. Let v = 87 + -431/5. Does a = v?
False
Suppose 390*s - 248*s - 8662 = 0. Which is greater: 73 or s?
73
Let f be (7272/(-23))/(-2) - (-14 + 1296/92). Is 156 != f?
True
Let u(f) = -11*f + 268. Let y be u(13). Is 743/6 < y?
True
Let j(y) = -11*y**3 + 7*y**3 - 4*y**2 - y + 2 - y**3 + 3*y**3. Let h be j(-2). Let f(m) = m**2 - 4*m - 6. Let q be f(h). Which is bigger: q or -4/7?
-4/7
Suppose 157 = 2*v - 143. Let z be (v/1925)/(2/14). Which is smaller: z or -1?
-1
Let c = -990.8184 - 0.8416. Let q = c + 991. Which is smaller: -1 or q?
-1
Let h be (280/63)/(-20) + 652/18. Let q be 3 + 262*h/(-3128). Is q at most 1?
True
Let i(q) = -q - 1. Suppose 0 = 4*n - 9*n + 15. Let y be 4 - 1 - n/1*-1. Let t be i(y). Which is bigger: t or -9?
t
Let s be (2/3)/((-2)/(-159)). Let b(x) = -x**3 + 8*x**2 - x - 58. Let v be b(0). Let i = s + v. Is -3 smaller than i?
False
Suppose -12 = -0*c - 3*c, -4*j - 2*c + 8 = 0. Suppose -3*o = -j*o - 5*v - 803, 0 = 2*o + v - 531. Suppose 9*z = 16*z + o. Is -37 less than z?
False
Suppose a + 142 = 2*a + 5. Which is smaller: a or 14?
14
Suppose 3*v = 123 - 105. Let p be -1*(v/33 - (-8)/(-44)). Which is greater: 1/93 or p?
1/93
Let a = -37993 + 264897/7. Let d = a + 150. Is d at least 1/4?
False
Let s(t) = 22*t**2 + 8*t + 12. Let u be s(-3). Let d = -143 + u. Is 43 smaller than d?
False
Suppose 2*a = -a + 222. Suppose -4 = -w, 308 = -1428*h + 1432*h + 3*w. Is a at least h?
True
Suppose 177*b - 9 - 113 = 238*b. Which is greater: b or -119.6?
b
Suppose a = 25*u - 20*u + 53, 0 = -2*u - a - 17. Which is bigger: 72/7 or u?
72/7
Let b be 20/(-7) - (-28)/7. Let i(q) = -3*q**2. Let r(h) = -8*h**2 + h. Let j(v) = -11*i(v) + 4*r(v). Let o be j(-4). Is b smaller than o?
False
Let d be (-2346)/(-8) - (-10)/(-40). Let m = -294 + d. Let i be (-43)/45 + (1 - 0). Which is smaller: m or i?
m
Let k = -832263 - -3293007/4. Let o = k - -8959. Which is smaller: -52 or o?
o
Let s be (195/(-520)*2/3)/(1571/(-8)). Is 0.06 smaller than s?
False
Let a be ((1512/(-56))/27)/(0 - (-7)/(-34)). Is a greater than -7.5?
True
Let a = -8806 + 8771. Is -56 >= a?
False
Suppose -7*f + 3*d + 26 = -3*f, -2*d = 4*f - 36. Let n be (282 + 0)*1*f/(-16). Which is smaller: n or -142?
-142
Let l = -539.8 - -309. Let m = 205 + l. Let z = -26 - m. Is -0.6 less than z?
True
Let p be 25598*((-109)/22 + -11 + 16). Let g = 1166 - p. Which is bigger: g or 2?
g
Suppose 6 = -3*o - 18. Let d(u) = u**3 - u**2 - 7*u + 3. Let t be (-6)/(-15) + (-16)/(-10). Let w be d(t). Which is smaller: o or w?
o
Let k be ((-116518)/(-13855))/((-16984)/10). Let o = k + 4/2123. Is -1 less than or equal to o?
True
Let f(c) = 31*c + 11. Let x(s) = -s**2 - 20*s - 18. Let q be x(-19). Suppose -q = 2*y + 3. Let p be f(y). Is -51 greater than p?
False
Let w be 239 - 237 - (-3903)/5. Which is smaller: 782 or w?
782
Let v be (-11)/(-143) + ((-106432)/34658 - -3). Which is smaller: v or -1?
-1
Suppose -134 = -4*r - 5*x + 26, -2*r = 5*x - 70. Let s be (-1)/(-7) + 2261/(-49). Let l = r + s. Which is smaller: l or -4/3?
-4/3
Let i(d) = 7*d + 77. Let f be i(-11). Suppose u = -b + 35, 2*u + 1 = 7. Let x be (-18)/63 - b/(-161). Is f > x?
True
Let c = 127067/55924 - -3/5084. Let b(v) = -v**3 + 4*v**2 - 2*v - 1. Let d be b(2). Which is greater: c or d?
d
Let q(n) = n + 25. Let w be q(-16). Suppose -3*s + w*s = -12540. Let y be (-781)/s - 4/10. Which is bigger: y or -1?
y
Suppose -28936*n = -28911*n - 15250. Suppose 4*z - 706 = 1734. Is n less than z?