*8/6. Which is bigger: j or p?
p
Suppose 5*r - 4 = -v, -3*v + 4 = 5*r - 18. Let x(z) = -z + 4. Let d be x(v). Is d != -4?
True
Suppose s - 40 = 3*s. Let t be 2 + -1 - (-24)/s. Let q = 1.9 + -2. Which is smaller: t or q?
t
Suppose 67*q + 27970 + 3520 = 0. Which is bigger: q or -471?
q
Suppose -2*k + 5*c - 98 = 0, 3*k - 5*c = -0*k - 147. Suppose 0 = -m - 42 - 8. Is k less than or equal to m?
False
Let a be 2/2 - (-14 + 15). Suppose a = 14*p - 6 - 8. Let r be 1/(-2)*(-4)/9. Are r and p equal?
False
Suppose 30 = -22*o + 19*o. Which is smaller: o or -17?
-17
Let k = -790 - -1024. Is 231 not equal to k?
True
Let i = -29 + 20. Let r = -22 + 24. Suppose 25 = -3*h + g, -2*g = -0*g - r. Which is smaller: i or h?
i
Let y(z) = -z**3 - 12*z**2 + 12*z - 12. Suppose -q = 2*q + m + 37, 3*m - 19 = q. Let k be y(q). Which is greater: k or 2/67?
k
Suppose -4*b + 8 = -12. Suppose s - p - 1 = p, -b = -5*s - 5*p. Let q = s + 1. Do q and 15/7 have the same value?
False
Let k = 478 + -476. Let j(i) = -i - 5. Let f be j(-7). Are f and k non-equal?
False
Let d(r) = 27*r**2 + 16*r + 61. Let x be d(-3). Do x and 257 have different values?
True
Let l = -50 + 50. Let j = 16559/26 - 637. Which is greater: j or l?
l
Let t(i) = -10*i - 3. Let z be t(-4). Let k = z + -257/7. Let u be 0/(1 + (-8 - -9)). Which is smaller: k or u?
u
Suppose 3*r - 9 = 0, 3*v + 10 = -5*r + 22. Is v at most -2/725?
True
Suppose -4*p = -3*t + 18, 5*t + 3*p - 2*p = 7. Let n(l) = -l**3 - 4*l**2 + t*l**3 + 11*l**2 + 3*l - 2*l**2 - 3. Let j be n(-3). Which is smaller: j or 4?
4
Suppose c + 31 = 3*w + 8, 61 = 5*w + 4*c. Is w >= -2?
True
Let i be (41/41)/(((-6)/(-1497))/(-2)). Does -499 = i?
True
Let u(b) = 0*b**2 + 2*b - 15*b**2 - 17*b - 13 - 4 + b**3. Let c be u(16). Let k = -0.26 - 10.74. Which is bigger: k or c?
c
Let l = -14/2507 + 1760068/27577. Let d = l + -64. Is -0.3 less than d?
True
Let x be 3*7/((-126)/(-12)). Which is smaller: x or 10/13?
10/13
Let p = 25.65 + -2.85. Let s = p - 23. Is s >= -12?
True
Let t = 154 - 1332/5. Are t and -113 equal?
False
Let s = -11 + 5. Let q be 0/(s*(-3)/9). Let t be q + -4 + (18 - 16). Is t <= 4?
True
Let t = 5 - -4. Suppose 5*d + 49 = -7*j + 4*j, -4*j + 52 = -4*d. Let s = d + t. Which is bigger: 0 or s?
0
Suppose 4*w - 12 = 0, -4*w = 4*q - 9*w + 39. Suppose 3*f + 12 = 6*f. Let u be (-4)/(-10)*(f + -19). Is q less than or equal to u?
True
Let f = 39/5 + -8. Suppose 3*r + d + 70 = 0, -2*r + 3*r = 4*d - 19. Let u = 24 + r. Which is greater: u or f?
u
Suppose -s = 2*o - 9, -4*o + 25 = 5*s + o. Is s less than or equal to -1/431?
False
Let x(z) = 21*z - 462. Let l be x(20). Is l <= -41?
True
Let m = 16.16 + -0.16. Let l = 7 + m. Let v = l + 0. Which is bigger: v or -1/2?
v
Let r be (-120)/(-207) - 14/21. Let y = -118/299 - r. Which is smaller: -1 or y?
-1
Let i = 222 - 208. Let t(l) = -l**3 - 5*l**2 - 2*l + 2. Let v be t(-5). Is v less than or equal to i?
True
Let d be 48/9*45/12. Suppose -48 = -2*s - 10. Is s bigger than d?
False
Let y(b) = -b**2 + b + 5. Let g be y(0). Suppose g = u - 0, 2*n + 3*u = 61. Suppose 4*m - 7 = -n. Is -3 less than or equal to m?
False
Let o = 22 + -23. Let d be 3 + o + 1 - 160/(-30). Are d and 8 equal?
False
Let b = -140 + 133. Which is smaller: b or -5/7?
b
Let b(p) = 3*p - 14. Let u be b(5). Is 3/71 not equal to u?
True
Let z be 2/1 + 936/10. Let m = -96 + z. Let f = 23.3 + -23. Which is greater: f or m?
f
Let s(w) = 190*w**2 - 36*w - 37. Let d be s(-1). Is d greater than or equal to 189?
True
Let o be (-1 - (-1 + 0))/1. Suppose 8*h - 5*h - 32 = m, o = -h + 4*m + 18. Let g be (4/h)/(413/(-35)). Which is smaller: 1 or g?
g
Let x = 0.1284 - 0.0284. Let f(a) = a**2 - 13. Let b be f(6). Is x not equal to b?
True
Let j = -7 - -9. Let l = j - 13. Let m = 7 + l. Which is smaller: m or 1?
m
Suppose -3*f = -11 + 56. Suppose 2 = -5*b + 17, 0 = -2*m - b - 27. Are f and m equal?
True
Suppose -5 + 5 = -15*g. Is -7/20 greater than or equal to g?
False
Let f = 242 + -34. Suppose -5*z = -z - f. Is z at most 53?
True
Suppose 22*n - 12*n = 1620. Which is greater: 161 or n?
n
Let s = 0.06 + -3.06. Let f = 6.0485 - 0.0485. Is f at most as big as s?
False
Let o be (-2)/(-12) + (765/(-54) - -14). Which is smaller: o or 98?
o
Let k be 100/(215/(-55) + 4). Does k = 1/2?
False
Let u = 739 + -768. Let a(y) = -9*y + 6. Let d be a(4). Is d <= u?
True
Let y = -0.08 + -0.12. Let d be 4*1/(-10)*44/(-11). Is y > d?
False
Let v = -1700 - -1724. Which is smaller: v or 4/5?
4/5
Let d be -4 - 2 - (-5 + 6 + -6). Let c = 3 + -3. Suppose 4*j - j + 6 = c. Which is bigger: d or j?
d
Suppose -4*t - 4 = -5*t. Let f be (t + (-6 - 8))/((-2)/(-5)). Is f <= 0?
True
Let n = -92 + 116. Let w be (4/(-6)*2)/(8/n). Suppose 2 + 23 = -5*k. Which is bigger: k or w?
w
Let n be ((-77)/588*2)/((-30)/6716). Let c = -293/5 + n. Suppose 0 = m + 2*m - 3. Are c and m non-equal?
True
Let t be ((-2)/(8/4))/5. Let i = 75.4 - 66.4. Which is smaller: t or i?
t
Let m = -66.8 - -68. Let j = m - 0.7. Which is smaller: -2/7 or j?
-2/7
Let z = -6.9 + 7.06. Let b = z + -1.16. Which is smaller: 0.3 or b?
b
Let t = -45 - 16. Let s = t - -62. Which is greater: -33 or s?
s
Let c be 5/(-15) - 99/(-270). Is 1 greater than c?
True
Let z = 4 - 0. Suppose z*x + 21 = 9*x - w, -19 = -3*x - w. Suppose -5*y + x*d = 3 + 27, 0 = -3*y + d - 16. Which is smaller: 2 or y?
y
Suppose -3*m + 2*k + 16 = -18, 0 = m - k - 13. Which is smaller: m or 6?
6
Let y = -357 - -358. Which is greater: y or -1/370?
y
Let d be 20/(-8)*(-8)/10. Let g(o) = -3*o**2 + 2*o + 2. Let l be g(d). Let u = 14 + -21. Is u smaller than l?
True
Let q = 59 + -60. Which is smaller: 1/6 or q?
q
Let i(j) = -10*j - 81. Let s(g) = -5*g - 40. Let p(h) = -3*i(h) + 7*s(h). Let l be p(-9). Which is bigger: 9 or l?
9
Suppose 2*q + 7*n - 2*n - 35 = 0, 0 = -4*n + 20. Suppose 15 = -5*i - 20. Let y = i + q. Is -4 not equal to y?
True
Let m be (56/(-428))/((-9)/(-61)). Let n = m + -2/963. Let z(c) = 19*c + 210. Let j be z(-11). Is j at most as big as n?
False
Let m = 0.1746 - -0.1254. Is m at most as big as 225?
True
Let k be 159500/(-26625) - (2 + -8*1). Suppose -5 + 1 = -4*s. Is s < k?
False
Let b = 396838037659/7582 - 52339493. Let d = -3/446 - b. Is -2/3 at least as big as d?
False
Let x be (-1)/(-8) + (-334)/(-16). Let b = 21 - x. Is 1/31 not equal to b?
True
Suppose -5*x = 4*i - 3*i - 11, -4 = -3*x + 2*i. Suppose -4*z + x*h + 9 = -103, -h - 116 = -4*z. Let o be (-5)/z + (-94)/(-132). Is 1 greater than o?
True
Let s be (1/(-21))/(6/4). Let p = 7 + -27. Let c = p + 19. Which is bigger: c or s?
s
Let g = -797 + 795. Is g bigger than -7/5?
False
Let i = -0.2 - 0. Let p = -89/2 + 449/10. Is i bigger than p?
False
Let j(t) = 2*t**3 + 18*t**2 + 12*t + 16. Let o be j(-8). Let k be 170/(-16)*2 - (-24)/o. Which is smaller: k or 0.1?
k
Let n = -61.92077 + -0.07923. Let j = 0.1 - 0. Which is greater: j or n?
j
Let v = 0.07 - -0.23. Let w = 5.12 - 5. Let n = w - 0.32. Is v less than n?
False
Let p = -1788 + 1848. Is p at most as big as 59?
False
Let x be 98/1*2/4. Let f be (24/(-5)*-1)/(31/310). Which is bigger: x or f?
x
Suppose 2*h + 78 = 2*g, -5*g + 195 = -5*h - g. Let r be 5*(h/(-9) - 4). Is 2 at least as big as r?
True
Let g = 5.06 + -0.06. Let q = 25 - 12. Let o = g - q. Which is smaller: o or 0?
o
Let l be 18 + -21 - (-24)/(-2). Let n be (-4)/(-45)*l/(-10). Let j(i) = -i - 1. Let y be j(-1). Which is greater: n or y?
n
Let a(g) = 10 + g - g**3 - 3*g**2 - 8*g + 9*g**2. Let m be a(5). Suppose -2*f - 5*u - 49 = f, m = -3*f - 4*u - 47. Which is smaller: f or -14?
-14
Suppose 0 = -11*f - 15*f. Let d = -15 + 9. Let c be 1/3*(-16)/d. Which is smaller: c or f?
f
Let o = 0.34 - 0.329. Let p = -2.189 - o. Does -2/7 = p?
False
Let a = 860 - 797. Which is smaller: 125/2 or a?
125/2
Suppose -3*s + 40 = 5*f, 0 = f + 4*s - 3*s - 10. Let d be f - 3*(-17)/(-3). Is d greater than -2/9?
False
Let s be -2 - 12/(-92)*(-44)/(-3). Let y = 39/184 + s. Let x = 279/22 + -25/2. Is x >= y?
True
Let q(l) = -2*l - 26. Let i be q(-9). Let r(t) = -t + 9. Let u be r(i). Which is smaller: 16 or u?
16
Suppose 10 = -5*b - 25*k + 20*k, -4 = k. Let w(o) = o. Let c be w(-1). Let x be b*c/2 + 2. Which is smaller: x or 1/3?
1/3
Let t = 4 + 5. Let s be 3404/4140 + (-6)/10. Which is bigger: s or t?
t
Let z = 37