j + 1. Let z be ((-5)/(-2))/(3/(-6) - -1). Let c be v(z). Which is greater: c or 7/9?
c
Let c(d) = d**3 + 8*d**2 + 4*d - 20. Let m be c(-7). Is m greater than 31/22?
False
Let w = 44 - 22. Let i = w - 23. Is -1/2 bigger than i?
True
Let g = -0.151 + 0.251. Which is smaller: g or -138?
-138
Let v be ((-1)/(-2) + 1)/(12/16). Suppose j + 41 = -j + 3*a, 2*j + v*a + 56 = 0. Is j != -26?
True
Let g(y) = -1. Let x(w) = -w. Let o(c) = 6*g(c) + x(c). Let p be o(-5). Which is smaller: -4/37 or p?
p
Let s = -106 - -16. Is s > -90?
False
Suppose -5*f - 144 = -y, 2*y + 3*y - 160 = 5*f. Let x = f - -28. Which is smaller: 1/49 or x?
x
Suppose r = -4*m + 520, -2*m = r - 832 + 314. Are 515 and r unequal?
True
Suppose 0 = -21*i + 2837 + 397. Which is smaller: i or 156?
i
Suppose 0*n = 4*n + 8, 0 = u - 2*n - 33. Suppose 3*v = 5 - u. Which is bigger: 0.1 or v?
0.1
Let w(c) = -c**3 - 4*c**2 + 2*c - 1. Let r be (-16)/32 - 7*1/2. Let q be w(r). Let d be (8/14)/(-3 - -1). Which is smaller: q or d?
q
Let k be 268/(-2814) - (-172)/483. Which is smaller: k or 13?
k
Let f = -424/11 - -123797/3212. Which is greater: 0 or f?
0
Let j = -6 + 20. Let k = j - 21. Is -1 equal to k?
False
Let y = 13 - 11. Suppose -y*i + 5 = 1. Let j be (-6*i/(-18))/4. Are 1 and j nonequal?
True
Suppose 50 = 2*n - 170. Are 113 and n nonequal?
True
Let f(g) = 3*g + 3. Let u be f(-3). Let y = -5 - u. Let q = 21 + -30. Is q equal to y?
False
Suppose -1 = q - 3, -4*r - 4*q - 12 = 0. Let m(z) = z**2 - 12*z + 28. Let y be m(3). Let d be (1/(-6))/y - 1067/582. Which is greater: d or r?
d
Let f(a) = -a**2 - 16*a + 4. Let k(z) = z - 4. Let x be k(-4). Let h be f(x). Let o be 1/(h/20 + -3). Is o != 4?
True
Let d be (-1 + 14/4)/(3/24). Suppose -d = -h + 5*h, 15 = 5*r - 4*h. Is r bigger than -2/17?
False
Let o(m) = -55*m - 56. Let f be o(-1). Which is greater: 0.376 or f?
0.376
Let x be 1/(-8) + 959/56. Is x != 17?
False
Let v be 6/4 - 675/444. Is -1 less than or equal to v?
True
Let j = -396/5 + 6702/85. Suppose -3*w = -2*b + 268, -w = 3*b - 386 - 38. Let k = -140 + b. Which is bigger: j or k?
k
Let q = 14 + -14.4. Suppose -21 = 2*s + s. Let m be (-2)/4 - s/6. Are q and m unequal?
True
Suppose 0 = 4*u - 4*g, -4*g = -5*u + 4 - 1. Let t = -5 - -9. Suppose -4*f = 5*m - 8 - 9, t*f = -2*m + 14. Do f and u have different values?
False
Let c = 44 - 30. Let d = 5 - c. Let j = -0.3 - -0.4. Do j and d have the same value?
False
Let f(m) = m**3 - 12*m**2 - 13*m - 16. Let j be f(13). Let y be j/72 + (-214)/(-882). Let q = -61/588 + y. Is q equal to -0.1?
False
Suppose -m + 3*m = 0. Suppose m = -6*n + 6 + 48. Suppose -3*q + n = -12. Is -0.1 at least as big as q?
False
Let w(d) be the third derivative of -d**4/12 - 2*d**2. Let p be w(-3). Let i be (4/(-6))/(p/(-9)). Which is bigger: 0.2 or i?
i
Let x = -43 + 12. Is x <= -32?
False
Let a(x) = -x - 5. Let d be a(22). Which is smaller: d or -30?
-30
Suppose 19*j = 8*j - 1441. Which is bigger: -130 or j?
-130
Suppose 10*c - 17*c - 112 = 0. Is -16 less than c?
False
Let f = -42 + 41.67. Let i = 2.33 + f. Is i less than 21?
True
Let t be 1*((-18)/3)/2. Let v(c) be the second derivative of c**5/20 + c**4/6 - 3*c**2/2 + 4*c. Let r be v(t). Are -13 and r equal?
False
Let i(s) = s**3 - 45*s**2 - 53*s + 317. Let b be i(46). Let v(w) = -w**3 - 4*w**2 - w - 5. Let k be v(-4). Which is bigger: b or k?
k
Let g be 878/(-1311) - (8 + (-130)/15). Is 1 bigger than g?
True
Let p be 2 + 0 + 186/2. Suppose -4*h - h = 5*n + p, 4*n = 2*h - 52. Suppose 77*f - 71*f + 84 = 0. Which is smaller: f or n?
n
Let h = 0.61 - 24.61. Let u = 4.3 - -24.7. Let o = h + u. Which is smaller: 0.1 or o?
0.1
Let d = 0.495 - 0.595. Which is smaller: d or -134/15?
-134/15
Let d = -677 - -676.99. Is 3 at most as big as d?
False
Let s = 17 + -16. Let d = s - 10. Let k(n) = n - 3. Let u be k(-5). Which is smaller: d or u?
d
Let i(t) = -3*t - 6. Let l be i(-4). Suppose 2*o + l = -3*s + 37, 23 = 3*s + 4*o. Let p = -2.345 - -2.445. Do p and s have the same value?
False
Let i be (-8)/(-5)*(19 - 3426/204). Let s be 3/15 + 19/5. Which is greater: i or s?
s
Let h = 32 - 30. Suppose -h - 6 = -8*a. Is 1 < a?
False
Let c = -10 - 19. Let b = 29.07 + c. Is -2/7 != b?
True
Let r be (-17)/(-14) + 2/(-4). Let h(s) = 10*s - 50. Let b(o) = -1. Let k(v) = 8*b(v) - h(v). Let a be k(4). Is r at least a?
False
Let j(q) = -29*q - 6. Let b be j(1). Which is smaller: -36 or b?
-36
Suppose -3*t = -15, 4*c - 3*t + 10 = -5*t. Let y = c - -22. Let o = 52/3 - y. Does 4 = o?
False
Suppose -24 - 40 = 5*g + 3*u, -g = 2*u + 10. Let c be -4 + ((-66)/g - 8/(-28)). Which is smaller: c or -1/11?
-1/11
Suppose -2*t + 15 = -b, -3*b + 2*b - 9 = -t. Suppose -5*v - 3*p + 1 = -23, 3*v - 5*p + t = 0. Suppose -v*c = -8*c. Are c and -2 nonequal?
True
Let q = -474 - -457. Which is smaller: -22 or q?
-22
Let r = 339 - 415. Which is bigger: r or -1/2?
-1/2
Suppose -3*d + 12 = -y - 1, 5*d - 22 = 2*y. Suppose -5*u - 21 = -d*j, 5*u - 1 - 2 = -2*j. Let l be u - 6*3/(-12). Is l at most 1/12?
False
Let n = 6.2 - -1.8. Let x = 0.015 + 23.985. Let c = 24 - x. Which is greater: n or c?
n
Let s = 14 - 3. Let y = s - -10. Is y >= 20?
True
Let h be (-23)/(-5) - (-2)/5. Let a(y) = 3*y**3 - y + 1. Let o be a(1). Suppose -h*d - 6 = -o*j - d, -3*j + 15 = -d. Which is bigger: j or 4?
j
Let y = 0.7 + -0.4. Let r = -0.063 - -0.363. Let t = y - r. Which is bigger: t or 2/7?
2/7
Suppose 4*r + 6259 = 3*n, 3*n + 1579 = -r - n. Which is greater: -1566 or r?
-1566
Let d be (-3 - (-10)/5)/(1 + 0). Are d and -8/13 unequal?
True
Let x be (36/(-30))/((-2)/(-15)). Let v be x/(-56) + 16/(-56). Let n be 0 - ((3 - 1) + -2). Which is smaller: v or n?
v
Let v be (1 - 1)*(1 - 8/16). Do -5/14 and v have the same value?
False
Let q(t) = -14*t - 497. Let s be q(-7). Is -399 != s?
False
Suppose -3*l + v - 77 = 0, -v + 105 = -5*l - 22. Which is smaller: -30 or l?
-30
Let h = 0.02 - -8.98. Let m = h + -7. Let v = 1.73 + -1.76. Which is bigger: v or m?
m
Let r(v) = v**2 + 8*v - 8. Let l be r(-9). Let y = 13.05 - 8.34. Let c = y + 0.29. Do c and l have the same value?
False
Let b(f) = -18*f**2 + 12*f + 25. Let o be b(4). Which is greater: -647/3 or o?
o
Let p = 114 - 571/5. Let d(h) = h - 6. Let z be d(7). Does p = z?
False
Let d = 328 - 163. Let t = -166 + d. Which is smaller: t or 0.55?
t
Let o(k) = -k**3 - 8*k**2 - 16*k + 4. Let s be o(-4). Is 6 greater than s?
True
Suppose -77 = -4*y - 5*x, 0*y + 2*y - 11 = 3*x. Let b = y - 5. Does b = 2?
False
Suppose 57*n = 60*n. Let y = 11 - 6. Let a be 4/(-5) + 2/y. Which is smaller: a or n?
a
Suppose 0 = 4*x + j - 5, -x + 4*x = j - 5. Suppose v = -0 + 1. Let f be 1 + (6/(-19) - v). Which is smaller: f or x?
f
Let x = 46.2 - 48. Let r = 1.75 + x. Is r >= 1/4?
False
Let j = 5 + 1. Let q = j + -11. Let c = q - -4.9. Is c smaller than -2?
False
Let m be 2 + (1 + 2 - 2). Suppose 0 = -m*g - 2*g - 20. Let q = 4 + g. Which is bigger: q or 3?
3
Let v be 28/154 + 159365/198. Let n = v - 806. Let o = n + 46/63. Is 0 >= o?
True
Let t = 341273917620 + -3274523235693483/9595. Let d = 872/505 + t. Let x = 405 - d. Which is bigger: 1 or x?
1
Let d = 2087/10 + -209. Suppose 21*c - 52*c - 17*c = 0. Is c equal to d?
False
Let y be (-8 - 7)*1/(110/(-12)). Which is smaller: 2 or y?
y
Let d = 0.2195 + 0.0805. Which is bigger: d or -3?
d
Let t = -9.65 + -3.35. Which is greater: -14 or t?
t
Let p(o) = o + 1. Let j be p(-1). Let s be (-189)/(4 - -3) + (-18)/2. Do s and j have different values?
True
Let p be 414/(-322) - (-4)/14. Is p less than or equal to 1/25?
True
Let r(a) = a - 4 + 0 + 4. Let t be r(4). Let s be -2 + 2/(t/2). Which is greater: 2/9 or s?
2/9
Suppose 4*h = -r - 20, 2*h + 6 = 4*r + 14. Let m be (-2)/(-7) - (h + 1424/329). Is -1 at least m?
False
Suppose -1515 = 11*q - 1537. Suppose -5*b = -4*r + 33, -2*b - 3*b - 15 = 5*r. Is b < q?
True
Let k = -70 - -71. Suppose -9075 = 2*n - 7*n. Let r be n/(-450) - -4*k. Is -1 at least as big as r?
False
Let d = 455 + 403. Suppose -5*h = -x + d, -2*h + x = -4*x + 357. Let w = -2395/14 - h. Is w at most as big as 1?
True
Suppose 5*w = -49 - 96. Is w < -31?
False
Let q be ((-2)/(-3)*1)/((-8555)/87 + 20). Let s be 2/(-4) + 1/2. Is q less than or equal to s?
True
Let f be (-28)/98 - 130/(-14). Suppose -8*s = -f*s. Which is smaller: s or -