). Let l(v) = v**2 - 12*v - 13. Let u be l(n). Suppose 5 = -5*a - u. Which is smaller: a or 1/38?
a
Suppose -3*b - 15 = 4*c, -4*b + 2*c = -0*c - 2. Let r be b/(-3) - ((-952)/343)/(-8). Is r less than or equal to 0?
True
Let d = -299 + 326. Is d smaller than -2/3?
False
Let n = 0.684 + 0.046. Let o = n + 1.27. Is 29 bigger than o?
True
Let x be 7 - 6*(-3)/(-6). Let l = x + 3. Suppose 3*b - 5 = l. Is 5 greater than or equal to b?
True
Suppose 38*m - 5 = -h + 34*m, -m = 5*h - 25. Let b be (-1)/(-4) + 330/72. Is b >= h?
False
Suppose 11*v + 167 = 607. Let u(y) = -y**2 + 11*y + 2. Let f be u(10). Let i be (f/(-10))/((-16)/v). Is i at most 3?
True
Let y be 2/(-10) + 1164/20. Let c be ((-5)/(50/(-15)))/(y/4). Do c and 0 have the same value?
False
Let b = -0.1516 - -0.1546. Is 0.3 not equal to b?
True
Let r = 0.366 - 33.766. Let c = r + 33. Which is greater: 7/4 or c?
7/4
Let b = -2 - -3. Let f(c) = c**2 - 6*c + 5. Let s be f(7). Let j be 9/24*s - 4. Which is bigger: b or j?
b
Let l = -43.5 + 46. Let z = l + -2.4. Is 0.02 != z?
True
Let x be (2 + -1)/((-10)/(-20)). Let v(j) = 72*j**3 + x*j**2 + 0*j**2 - 71*j**3 - 2*j - 1. Let r be v(-3). Which is greater: r or -9/2?
r
Suppose 5*d + 4*m + 30 = 0, 0*m = -2*d - m - 15. Suppose -3*r = 4*n + 16, -r = -3*n + 6 + 8. Let z be (-4)/6*d/r. Which is smaller: z or -1?
-1
Let t(a) = a**3 - 3*a**2 - 5*a + 6. Let d be t(4). Let v be (d*-2)/(13 - 11). Let g be (v - -2)/(0 + -2). Which is bigger: 1 or g?
1
Suppose 5*i - 3*i - 4 = 0. Let v(c) = c**3 + 9*c**2 + 8*c + 4. Let x be v(-8). Suppose -6*f - x = -i*f. Which is greater: f or 2?
2
Let q = -1765/99 - -158/9. Is q equal to -1?
False
Let l(h) = -5*h - 34. Let t be l(-17). Let n = t - 50. Which is bigger: n or -3/5?
n
Let f(r) = -13*r + 813. Let u be f(62). Which is smaller: u or -1/27?
-1/27
Let l = -812/9 + 90. Let o = -1.8 - -2.5. Which is bigger: l or o?
o
Let y be (19/57)/((-14)/870). Which is smaller: y or -21?
-21
Let l be (-1)/(-1) - 20/14. Let n = l - -2/7. Let c = -354 - -354. Which is bigger: n or c?
c
Let r be (0 - (-3 + 8)) + -3. Let o be r/(-2) + -3 + 0. Let f be (-1 - 0)*(5 + 915/(-185)). Are f and o nonequal?
True
Suppose 0 = -7*h + 2*h. Let z(l) = -l**2 - 7*l - 8. Let r be z(-3). Let w be 18/88*r + -1. Is h less than w?
False
Let y = -17557393/829 + 21179. Which is smaller: 1 or y?
y
Let o(d) = -d**3 + 6*d**2 + 9*d + 1. Let q be o(7). Let u be 0*(3 - q/6). Let b(s) = 6*s**2 - s - 1. Let l be b(-1). Which is smaller: l or u?
u
Suppose 2*l - 25*b + 22*b - 1144 = 0, -6 = -3*b. Is 577 smaller than l?
False
Let s = -6.789 - -6.7. Is 0.3 greater than s?
True
Let w = -687440/211 + 3258. Let v(k) = k - 12. Let s be v(12). Which is smaller: s or w?
w
Let m = 0.526 - 0.126. Let s = 9 - 8.86. Does m = s?
False
Suppose 3*o + 3 = -l, -l + 5*o = -32 + 11. Suppose -13*y = -l*y. Is y at most as big as -1/62?
False
Suppose 2 = -j - j, 5*j - 106 = 3*x. Let r = x - -37. Let c be 1 + -1 - 6/(-16). Which is smaller: r or c?
r
Let o be 12/(-20) + 129/15. Let p be (o/(-444))/1*3. Suppose 22*z - 23*z + 1 = 0. Is z bigger than p?
True
Let h be (7/28 - 0)*0. Is h smaller than 10/127?
True
Let a = 0.1 + -0.1. Let k = 41 + -22. Let x = k + -20.1. Is a less than or equal to x?
False
Let c = 312 - 280. Suppose 5*r = 3*y + y - 83, 4*r = -4*y + 56. Let s = y - c. Is -15 > s?
False
Suppose -5*w + 2*w = 156. Let s = 506 - 559. Is w at most s?
False
Suppose g = 3 - 4. Let z = 8283/5803 - -1/829. Let y = 3/2 - z. Which is bigger: y or g?
y
Let w = -4.95 - -5. Let c = w - -0.25. Let h = c - 0.2. Which is smaller: 2/5 or h?
h
Let c = 15 + -11. Suppose 3*j + h + 11 = 5*h, -c*j - 2*h = 0. Do j and -1 have different values?
False
Suppose 2*m = -5*x - 0*x - 45, 5*x + 45 = m. Let g be ((-4)/9)/((-6)/x*1). Which is bigger: g or 0.23?
0.23
Suppose 4*c + b = -2*b - 125, -123 = 4*c + 5*b. Let r be 4/10 + c/130. Which is smaller: r or 0?
0
Let s(u) = u - 4. Let d(q) = q - 9. Let g(j) = 4*d(j) - 7*s(j). Let x be g(-2). Which is bigger: 2 or x?
2
Suppose 12 = 2*h + 2*h. Let t be (-2 + -1)/((-9)/6). Suppose 5*d - 15 = h*o, -t*o + 6 = 4*d - 2*d. Which is bigger: o or -1/7?
o
Let k = 56749/19 + -2986. Are k and 0 non-equal?
True
Let o(i) = 2*i - 3. Let h be o(2). Let t = 83 - 83. Let g be ((-35)/(-50) + t)/(2/4). Is h at most g?
True
Let x be 2765/(-21) - (-1)/((-3)/1). Let n be (x/8)/(-1) + 1. Is 0.1 equal to n?
False
Let r be 502/(-4)*(-8 + -4 - -16). Which is bigger: r or -501?
-501
Suppose 2*g = g + 5*c, 5*g = 5*c. Suppose g = -3*m - m - 4. Do -1 and m have the same value?
True
Let o = 2.44 + -1.17. Let w = 1.58 - o. Which is smaller: w or -1/3?
-1/3
Let v = -46 + 27. Let r(d) = -d**3 + 11*d**2 + 23*d + 19. Let j be r(13). Is v greater than j?
True
Suppose -2*f = -51 + 49. Is f equal to -2/125?
False
Let y be ((-3)/2 + 2)*-1. Let f = 11/9 - 181/45. Is f bigger than y?
False
Let o = 355 - 349.5. Is o >= -3/7?
True
Let t = 9166 - 8148572/889. Is t > -1?
True
Let l(b) = -3*b**2 - 2*b - 1. Let p(o) = -16*o**2 - 10*o - 6. Let h(a) = -11*l(a) + 2*p(a). Let d be h(-3). Let w be 1 + 2/4 - d. Which is smaller: 10 or w?
w
Let p be -3 + (182/130 - 6/(-10)). Is 2/13 at most as big as p?
False
Let d be (-10)/2 - (3 - 11). Let y be ((-1)/16)/(d - 932/312). Which is greater: y or -5?
y
Let i(a) = -9 + 10 - 12 - a. Let h be i(-12). Which is smaller: h or 7?
h
Let x(b) = -21*b - 189. Let t be x(-9). Suppose 2*j + 46 = -0*j. Let m be (-2 - -1)*(-1)/j. Is m at most t?
True
Suppose 4*b - 368 = 8*b. Is b at most as big as -90?
True
Let o = 1 + 0. Let p(q) = q**3 - 9*q**2 - 29*q - 294. Let j be p(13). Which is greater: j or o?
j
Suppose 4*t + 35 + 9 = 0. Let l(g) = -g**2 - 12*g - 2. Let k be l(t). Suppose -n - 9 + 3 = -2*r, 3*r - k = 0. Which is bigger: n or 5/6?
5/6
Let n = 14 - 10. Suppose 2*i - c - 20 = c, 12 = n*i + 3*c. Suppose 5*s + 2*y = 10, 0*s + 4*y = 4*s - 36. Which is smaller: s or i?
s
Let j = -11.58 - -4.58. Is j less than or equal to -37?
False
Let a be (-4)/(-16) + (-51)/(-24)*30. Which is smaller: 194/3 or a?
a
Let g = 396 + -2766/7. Let t = g + -145/161. Is t smaller than 1?
True
Let n = 10861/19 + -572. Let c = n - -1304/3591. Let a = -1696/945 + c. Which is smaller: -1 or a?
a
Let d(q) = 6*q + 8. Let s be d(-7). Which is greater: s or -35?
s
Let a = 2/15465 + -1840351/123720. Which is smaller: a or -14?
a
Suppose 600 = -5*t + 5*p, -t + 647*p = 651*p + 135. Are -126 and t unequal?
True
Let g be 1*-2 + 2 - (-9 + 7). Suppose -229 = 5*b - 0*y - 2*y, -y = g*b + 88. Which is bigger: b or -43?
-43
Suppose 83 + 45 = -s. Let j be s/9 - (-10)/45. Let q = j - -14. Which is smaller: q or -3?
-3
Let y be ((-42)/(-728))/(3/5). Let g = y + -263/572. Which is greater: 0 or g?
0
Let a = -8.54 + 0.54. Let b = -9 + a. Is b >= -1?
False
Let z = 253/18 + -14. Let h be ((-6)/(-18))/((-4)/(-12)). Which is smaller: h or z?
z
Suppose -3*z = -0*z + 9. Let k = 633 + -8265/13. Which is smaller: z or k?
z
Let u(w) = -14*w + 570. Let o be u(40). Let p be -4*(-3)/2 + 2. Is p >= o?
False
Let r = 216 - 217. Let z = -1.2 - -1. Let y = -0.3 - z. Is y bigger than r?
True
Let j be (-8)/(480/775) - 2/6. Which is smaller: -14 or j?
-14
Let b = -4.1 + 4.2. Suppose 16 - 22 = 2*r. Which is smaller: b or r?
r
Let n = -7 - -6.7. Let i = 0.1349 + -0.0349. Is i at least n?
True
Let q = -1 - -2. Let k = -1624 - -2483. Let b = -19751/23 + k. Which is smaller: b or q?
b
Let h be 2/6*((-22)/(-8) + -1). Let n = h + 11/12. Are n and 3 equal?
False
Suppose 2*g + 7 = -9. Let v be g/2 + 1/(-1). Let f be (-4)/7*(-8 - v). Is 3 less than or equal to f?
False
Let p = 22.4 + -22.47. Which is greater: -4 or p?
p
Suppose 5*h - 2*l - 3*l + 40 = 0, h + 14 = -l. Let z = -6822/5 + 1354. Are z and h non-equal?
True
Let p = -25.1 - -26. Let n = p - 1.9. Is 3/10 less than or equal to n?
False
Let y(x) = 2*x + 4. Let f be y(-3). Suppose -51 = -4*k - 39. Let g be (9 - 16) + 1*k + 4. Which is smaller: f or g?
f
Suppose z - 17 = 1. Suppose 4 + z = 11*s. Do s and 1/6 have different values?
True
Let q(w) = -13*w - 29. Let s(r) = -7*r - 14. Let z(d) = 6*q(d) - 11*s(d). Let y be z(-22). Is y != 15/11?
True
Let i = -1.1 - -0.1. Let j = i + -2. Let u = 1/6 + 1/30. Are j and u equal?
False
Let m = -29.31 + 32.2. Let y = 0.89 - m. Which is smaller: y or -6/5?
y
Let t = 39 - 3