2. Suppose 0 = j*d + 4*v, r*v = -6*d + d. Is -5 > d?
False
Let t be -15 + -4 + (-8)/(-2). Let d be 5/2*24/t. Does d = -6?
False
Let k = 42 + -421/10. Let c be (0/3)/(0 + -2). Which is smaller: k or c?
k
Let o = 50816438/1915 + -26536. Do 1 and o have the same value?
False
Let z be 4 + 0 + (-11)/(-6). Let u = 79/6 - z. Which is greater: u or 8?
8
Let n = 5 + 0. Suppose 4*u = -u + n. Let g be (u/(-2))/((-4)/8). Is g at most as big as -1/7?
False
Let l be ((-9)/216*-8)/(2/102). Suppose 0*b - 5*g = b + l, g = -3*b - 23. Which is smaller: -5 or b?
b
Let r(n) = -7*n**3 - 17*n**2 + 5*n - 25. Let y(o) = -15*o**3 - 35*o**2 + 9*o - 51. Let w(h) = 13*r(h) - 6*y(h). Let z be w(-12). Which is smaller: z or -3?
z
Let m be 11 + 66 + -12 + 9. Is 69 bigger than m?
False
Let u = 17 + -26. Let l = 53 - 28. Suppose -l + 5 = 2*g. Which is smaller: g or u?
g
Let w = -60 - -478. Which is greater: w or -1?
w
Let g(l) = -l**3 - l + 1. Let s be g(0). Let p = -1/3113741 + -61440337373/121435899. Let q = p - -506. Is s >= q?
True
Let t be -3 - (-55)/20 - -1. Is t less than -27?
False
Let p = 341 + -340.9. Which is bigger: p or 0.232?
0.232
Suppose q - 16 = 5*q. Does q = -3?
False
Let j be 23/(-3) + 6/9. Let p(u) = -u**2 - 7*u + 3. Let n be p(j). Let o be 5/(-30) + (-5)/(-3). Is n less than or equal to o?
False
Let a = 1/39 - -35/156. Let l = -7.2 - -4.7. Is a != l?
True
Let h be ((-20 + 4)*5/(-20))/9. Let m be ((-5)/(-18))/5*-2. Let z = h + m. Which is greater: z or -0.2?
z
Let c = 310 + -275. Are 33 and c unequal?
True
Let u(w) = -2*w**2 + w + 26. Let l be u(0). Let i = l - 75. Which is greater: -48 or i?
-48
Let m be (-2 - -12)*(-3)/(-5). Suppose m + 29 = 5*s. Do 7 and s have the same value?
True
Let j = 51 - 46. Let a = -6.3 - -2.3. Is j > a?
True
Suppose -2*k - 91 + 89 = 0. Let t be (2/(-46))/(14/(-42)). Is t less than k?
False
Let x = -18 - -11. Let a = x + 9. Let q = -0.39 - 0.01. Is q at most as big as a?
True
Let o be (-14 - -18) + -2 + -1. Does -3 = o?
False
Let u = -8/157 - 141/314. Which is greater: u or -0.785?
u
Let v(j) = j**3 - 5*j**2 + 6*j - 8. Let g be v(3). Suppose 2*t = 5*w + 4*t + 5, -4*w - 37 = -5*t. Let s be 1/1 + w*3. Do g and s have the same value?
True
Suppose -29*a - 2*i - 32 = -27*a, 78 = -5*a - 4*i. Is -3 greater than or equal to a?
True
Suppose -6*r - 13*r = -437. Which is greater: r or 25?
25
Suppose -3*y - 3*g = 378, -2*y + 2*g = -y + 141. Is -131 greater than y?
False
Let o(t) = t - 3. Let m be o(-7). Let c = 13 + m. Let j = c - 7. Is j at least 1/2?
False
Suppose -4*j = -f + 5, -4*f - 11 = j + 54. Let o be (24/f - -2) + 47/(-5). Which is greater: o or -10?
o
Let v(a) = 5*a - 30. Let j be v(5). Let x = -521/150 - 2/75. Which is bigger: j or x?
x
Let k = 1559 - 908. Suppose 3*p + p + 644 = 0. Let y be (-8)/2 - k/p. Is y greater than or equal to 0?
True
Let d(p) = -p. Let o be d(-1). Let c(n) = n**2 + 4*n + 1. Let k(v) = -4*v**2 - 12*v - 3. Let x(g) = 7*c(g) + 2*k(g). Let b be x(-2). Is o equal to b?
False
Let j = 254 - 255. Which is bigger: j or 4?
4
Let h be 1/4 - (-7)/(-20). Let k = 4 + -2. Suppose -2*z - k*z = 0. Which is smaller: h or z?
h
Let z(a) = -a**2 - 13*a - 12. Let f be z(-12). Suppose f = 4*p + 79 + 33. Which is bigger: p or -27?
-27
Let h = 289 + -304. Which is bigger: -14 or h?
-14
Let k = -0.077 + 16.077. Which is smaller: -1/3 or k?
-1/3
Let q(r) = r**2 + 7*r + 5. Let t(b) = b**3 - 9*b**2 + 6*b + 10. Let u be t(8). Let c be q(u). Let y = -2353/14 + 168. Is c less than or equal to y?
True
Suppose 0*r + 5*r - 495 = 0. Is 397/4 less than r?
False
Suppose -5*q + 9*a - 7*a = 191, -3*q + 3*a = 111. Is q > -40?
True
Suppose -5*z = 4*v + v - 2325, v - 471 = -3*z. Are 463 and v equal?
False
Suppose 16*q - 8 = 14*q. Let d be 0 - (-4 + q) - 2. Which is smaller: d or 1/8?
d
Let s = -3440/9 - -383. Which is greater: s or 0?
s
Let l = -18 - -16. Let h be ((-35)/(-2))/((-1)/l). Which is smaller: h or -0.1?
-0.1
Let j = 28 + -29. Let d be (2 - 3)*j/(-4). Which is smaller: 0.3 or d?
d
Let u(p) = p**3 + 6*p**2 - p - 7. Let m be u(-6). Which is smaller: 1/608 or m?
m
Let c(i) = 5*i + 21. Let p be c(-9). Let b = -114 + 88. Which is greater: p or b?
p
Let l(z) = -13*z - 1. Let h be l(-16). Is 206 at most h?
True
Suppose 7*a + 26*a - 792 = 0. Which is smaller: a or 20?
20
Let i = -1 + 0. Let b(a) = 11*a + 79. Let s be b(-7). Let l be (i + 1)/(s/2). Are 0 and l nonequal?
False
Suppose -6*w - 13 = 11. Which is bigger: -3 or w?
-3
Let n = -785/3 + 260. Which is smaller: -0.17 or n?
n
Let q = -578 - -550. Do -4 and q have the same value?
False
Let q = -136888/243 - -1690/3. Is 0 >= q?
False
Suppose 0*p + 4*p - 48 = 0. Suppose r = 4*r + p. Let a = r + 15. Which is smaller: a or 0?
0
Let c = -25 - 66. Let y = -91 - c. Is -8 > y?
False
Let n be (2/(-4) + 0)/(95/(-190)). Which is bigger: 4/149 or n?
n
Let w(u) = -u**3 + 26*u**2 - 67*u - 47. Let s be w(23). Suppose -4*q + 4*f - 112 = 20, 0 = -2*q + 3*f - 68. Are s and q equal?
False
Let h be 8156/52*90411/27. Let b = 525203 - h. Let y = 60/13 + b. Is 1 greater than or equal to y?
True
Let j be (-5 - -2)*(1 + 2). Let t(m) = 2*m**2 + 20*m - 8. Let r be t(-10). Which is bigger: j or r?
r
Let y = 46 + -45. Is -5/17 equal to y?
False
Let g(n) = n**3 + 3*n**2 - n. Let u be g(-3). Which is greater: 2/3 or u?
u
Let j(q) = -q**3 - 60*q**2 - 440*q + 11. Let h be j(-8). Which is smaller: 204 or h?
h
Let z(a) = -a**3 - 9*a**2. Let n = 70 + -79. Let v be z(n). Is v greater than 1/53?
False
Suppose 5*o = -0*o - 5. Let r be (-36)/(-9) + 11/(-2). Is r less than or equal to o?
True
Let r(s) = 2 - 7*s - 1 - 3*s + 3*s. Let c be r(-1). Let z(k) = -3*k + 1. Let h be z(-2). Which is smaller: h or c?
h
Let c be (-2)/9 + 11/9. Let q be ((0/(-1))/1)/(0 - 4). Let p be q + c/((-68)/(-8)). Which is smaller: 1 or p?
p
Let d = -119 + 118. Is d at least -3/383?
False
Let o = 6.17 + -7.17. Which is bigger: o or -84?
o
Let y(d) = d**3 + 3*d**2 + 2*d + 3. Let w be y(-2). Suppose 0 = 2*p + 6 - 12, 4*f + 1 = 3*p. Suppose -w*s = 1 + f. Is s < 0?
True
Let g = -436 + 435.11. Is g < 0.3?
True
Suppose 4*k + 3*i = 112, 4*k + 2*i - 108 = -0*k. Suppose 0 = -k*l + 28*l + 3. Suppose -o = -0*o + 4. Is o at most as big as l?
True
Let h = 33/20 + -3073/1860. Is 0 smaller than h?
False
Let i = 1090.64 - 1090. Which is smaller: -1 or i?
-1
Suppose -1 = 2*v + 7. Let a(n) be the second derivative of n**5/20 + n**4/4 - 2*n**3/3 + n**2 - 20*n. Let y be a(v). Is y equal to 2?
True
Suppose 3*o - 3 = 5*w + o, -4*o = 3*w - 19. Let k be 34/(-156) + (-6)/(-36). Are w and k equal?
False
Let m be (-2)/(-24) - (-12337)/(-876). Is -25 != m?
True
Let l be -27*4/24*2*-1. Let i be -1 + 3/l*3. Which is greater: -1/14 or i?
i
Suppose k - 52 = 53. Let z be (k/(-10))/(6/(-8)). Let j = -12 + z. Is j at most as big as 0?
False
Suppose -2*b + 3 = -3*t, 6*b = 5*t + 7*b - 8. Which is bigger: t or 1/201?
t
Let d be 1/3*-1 + 206/6. Let q(s) = 2*s**3 - 2*s**2 - 2*s + 4. Let i be q(3). Is i at least as big as d?
True
Suppose -2*j - 7 = 21. Let w be (-6)/j + 180/(-518). Which is smaller: w or -1?
-1
Let f(q) = -9*q - 50. Let b be f(-6). Suppose c = 6*c - 60. Suppose b*m + c = 8*m. Which is smaller: m or 2?
2
Let h(u) = -u**2 + 13*u + 2. Let p be h(13). Let w be ((-601)/302 + p)*4/3. Which is bigger: w or 1?
1
Suppose 41*u + 2409 = 8*u. Do -73 and u have the same value?
True
Let p = -23 + 25. Suppose p*k = 5*k. Suppose k = t - 5*r - 19, 2 + 9 = -t - r. Is t at most -4?
True
Let y = 1 - 0.5. Let s = 0.49 - y. Let k = s + -0.05. Do -1 and k have the same value?
False
Let p be (-6)/8 - (-27)/36. Let h be (p - (-2 + 1))*9. Which is greater: h or 8?
h
Let l(g) = -g**3 - g**2 + 2. Let y be l(0). Suppose 4*u - 6 = y*u. Let s be ((-177)/57)/1 + u. Is 1 at least as big as s?
True
Let i be (-6435)/156*21/(-125) - 7. Which is smaller: i or -1?
-1
Let w(v) = -v**2 + 5*v - 5. Let c be w(4). Let s be (-10)/15*(c + (-1)/2). Which is bigger: 7/9 or s?
s
Let x = 309 + -218. Let g = -78 + x. Which is greater: g or 0.2?
g
Let t(f) = -f - 7. Let j be t(-7). Let a be -3 - -1 - (-3390)/36. Let i = 92 - a. Is j != i?
True
Let s = -10 - 24. Which is greater: s or -137/4?
s
Let i = 656 - 653. Which is bigger: i or -4?
i
Let x be 4/6*(-153)/2. Let h = x + 52. Let z be (-4)/(-18)*(2 - 4). Is h smaller than 