 Which is bigger: x or p?
p
Let x(i) = i**2 - 2*i + 1. Let h be x(5). Let y = -13 + h. Let z = y - 6. Which is smaller: -14/9 or z?
z
Let m(y) = -y**3 - 7*y**2 - 8*y - 13. Let c be m(-6). Let h be (c*(-7)/(-21))/((-2)/6). Which is greater: h or -1/7?
h
Suppose -4*x + 0*x - 5*r - 12 = 0, 0 = -4*x + r - 12. Let j be (66/(-44))/(x/4). Let g be ((-5)/4)/(1/(-4)). Do g and j have the same value?
False
Let l be 30/(-285) - (-85)/(-95). Is 1/679 >= l?
True
Let q(f) = -f**2 + 11*f + 38. Let h be q(-4). Is h greater than or equal to 6?
False
Let y be (-21)/(-49) + (1465/(-315) - -4). Which is smaller: y or -2.9?
-2.9
Suppose -3*x + 349 = -5*k, 6*k = 10*k - 5*x + 274. Is -69 greater than or equal to k?
True
Let w be 1 + (-5 - (-7 - 1)). Is 4.2 smaller than w?
False
Let v = 51 + -39. Suppose 0 = 14*j - v*j - 2. Let g be 2 - 204/50 - -2. Which is smaller: g or j?
g
Let j = -1397 - -1442. Is 49 at most j?
False
Let a(f) = -4*f**3 - 4*f**2 + 11*f - 20. Let y be a(5). Is y at least 2/5?
False
Let s be 8/10 + -17 + 16. Suppose -3*q + 26 = -4. Let n = -11 + q. Are s and n unequal?
True
Suppose -9 = -5*s - 2*q - 0*q, -5*q = 5*s. Let y = -31 + 51. Suppose 0 = x - 4*d - 19, 7*x - 2*x + s*d = -y. Which is greater: -1/6 or x?
-1/6
Let r be 2/16 - (-353324)/(-608). Is -583 smaller than r?
True
Let p = -316 - -297. Which is greater: p or -6?
-6
Let a = -99.07 + 99. Let h be (2/(-9) - 4/(-18))/(-2). Is h less than a?
False
Suppose -3*z = -n + 4, -z - z + 4*n - 6 = 0. Is -5/9 not equal to z?
True
Suppose 37 - 21 = -a. Let k = -52 - -49. Which is bigger: k or a?
k
Let k be (-284)/(-11) - (-2 + 2). Let b = -17647239330/451 + 39129108. Let m = k + b. Is m equal to 0?
False
Let a = -0.33 + 0.19. Let y = a + 0.24. Let j = 2/41 + 113/205. Which is smaller: j or y?
y
Let h be (-36)/6*(-11)/(-4). Let k = h + 249/14. Which is smaller: 2 or k?
k
Suppose 33*f + 50 = 31*f + 2*t, 5*f + 133 = -3*t. Let s be 2/(-6) + (-296)/12. Do f and s have different values?
True
Suppose 7*q = 2*h + 10*q - 5, 2*q - 10 = 2*h. Which is smaller: -6/11 or h?
h
Let o = -919 + 652. Which is smaller: 4/9 or o?
o
Let h = 16894/9 - 1880. Is h != 0.2?
True
Let k = -1142/9 + 127. Let d be (4/(-6))/((-20)/30). Which is smaller: k or d?
k
Let u = 1 - -6. Suppose -9*w + 15 = -6*w. Is w <= u?
True
Suppose 5*x + 26*u + 198 = 24*u, x - 3*u = -43. Suppose 2*p = p - 39. Is p bigger than x?
True
Let z = -8.19 - -0.19. Let q = -0.087 - 8.913. Let u = q - z. Is u > 5?
False
Let z(f) = -2*f + 73. Let b be z(16). Is b > 41?
False
Let v = -12 + 34. Let m = 31 - v. Let g = m - 4. Which is smaller: g or -2/5?
-2/5
Suppose -2*k = -0*k - 6. Suppose -8 - 4 = 4*f. Let h be (-7 - -13)*(-1)/f. Which is greater: h or k?
k
Let j be 1352/(-8) + 2/6*0. Which is smaller: -170 or j?
-170
Suppose 8*p = -80 - 64. Let s be p/(1 + 1)*-1. Let b be 3/s*0*-1. Do b and 2/17 have the same value?
False
Let p = 3.2 + -3.56. Let u = -0.36 - p. Let n = 161/4 + -40. Which is bigger: n or u?
n
Let k = -35 - -38. Suppose -10 = -5*x, -2*b + b - 1 = k*x. Which is greater: b or -6?
-6
Let c be 10/15*-1*(-361)/(-476). Let v = c - -10/21. Is v at least 1?
False
Let m = 7/2 + -3. Let t = 0 + m. Suppose -1 + 17 = -4*f. Are f and t non-equal?
True
Suppose -5*r + 20 = -5*s, -3*r + 10 + 1 = -2*s. Let a = -6 - -11. Is s greater than or equal to a?
False
Let d(t) = -2*t**3 + 11*t**2 + 17*t + 3. Let l be d(-4). Is l at least 238?
True
Let c = -782 + 38. Let q = 19349/26 + c. Which is smaller: 1 or q?
q
Let l be ((-78)/(-114))/((-5)/20). Which is smaller: -4 or l?
-4
Let c(o) = 7*o**3 + 4*o**2 - 21*o + 14. Let z be c(3). Is z greater than 178?
False
Let m = -53/52 + 10/13. Suppose -3*c + 2*k - 6 = -c, -4*c - 4*k + 4 = 0. Is m at least as big as c?
True
Let o(m) = -8*m**2 + 8*m + 7. Let p be o(3). Which is smaller: -39 or p?
p
Let c be (-119)/(-4) - 0 - 8/16. Let w = 1073/36 - c. Let l(j) = j**2 - j + 2. Let o be l(0). Which is smaller: o or w?
w
Suppose 0 = -5*i + 4*i + 16. Let b be (i/20)/((-4)/10). Which is bigger: b or -3/4?
-3/4
Let u be (128/160)/(36/(-10)). Suppose -2*l - 1 = -l. Which is smaller: l or u?
l
Let f = -1.6 - -0.1. Let x = 0.5 - f. Is -5 at least x?
False
Let b = 1.88 - 2.1. Let z = b - -0.22. Let y = z - 0.2. Is -5 at least y?
False
Suppose 2*y - d - 3 = 0, -3*y - 5*d + 28 = 43. Let u = 472 + -481.13. Let b = u - -0.13. Which is greater: b or y?
y
Let q be (-6)/4*(-1 + -1). Suppose 6 + 15 = 3*p. Let m(w) = -2*w**2 + 14*w + 3. Let c be m(p). Is c at most as big as q?
True
Let r be -2*(1 + 3) + 3. Let v(s) = s - 6. Let g be v(r). Does g = -3?
False
Let k(i) = 6*i - 17. Let y be k(3). Let v = 60 - 43. Let w be 5 + -4 + (-18)/v. Is w smaller than y?
True
Let q be 16434/(-1173) + 8 - -6. Which is smaller: 0 or q?
q
Suppose 6 = -0*h + 2*h. Suppose -n = -4*i - 6*n + 27, 4*n - 3 = h*i. Let r be -1*(-1)/(-3)*-3. Which is smaller: i or r?
r
Let v(o) = o**3 - 4*o**2 - 5*o. Suppose -15 = -5*g + 5*q, 2*g + g - 13 = q. Let l be v(g). Suppose l = -2*t - 0*t + 2. Is 4/7 equal to t?
False
Let p be (-4)/(-1 - 0) + -2. Suppose q = -p*q. Let z be (32/16)/(20/(-14)). Is z bigger than q?
False
Let n(c) = -c - 14. Let r be n(-14). Let t be 0 + 2 + (-57)/28. Is t at most as big as r?
True
Let q = 203.03 - 203. Is -2/21 less than q?
True
Let q(l) = 2*l - 8. Let s be q(6). Let m(y) = 19 - 18*y - 5*y**3 + 9*y**2 + 0*y**3 + 8*y**2 + s*y**3. Let x be m(16). Is -13 smaller than x?
False
Let m = -5/3 - -29/12. Let x = -0.6 - 0.2. Let y = -1.1 - x. Which is greater: y or m?
m
Let v be (-96)/(-4)*2/(-4). Let b = -12 - v. Let k be 19/(-10) - (-4)/2. Is b >= k?
False
Let o = 1274/5 - 258. Let a be (80/56 - 1)/(5/(-35)). Which is greater: o or a?
a
Suppose -5*l + 224 = -2*v, 2*l - 539 = -18*v + 23*v. Which is smaller: -105 or v?
v
Let r = 58 + -58.164. Let p = -0.15 - r. Let g = p - -2.286. Which is greater: g or -2/7?
g
Let n be 2/(-14) - 8/(-7). Is n bigger than 18/31?
True
Let x(y) = y**2 + 8*y - 456. Let v be x(-18). Are -276 and v equal?
True
Let x = 69.2 + -69.15. Is 3.6 less than x?
False
Let b = 1.9 - 2.29. Let g = -6.39 - b. Which is smaller: -0.1 or g?
g
Let b = -1.8 - -1.9. Let h = -27.4 - -10.4. Is b greater than h?
True
Let r = 436 - 352. Is 83 less than r?
True
Suppose 16*v = 5*v + 44. Suppose v*c + 16 = -4*r, -r = -5*c - 1 - 1. Is c greater than -3/19?
False
Suppose -l - 3*g + 4 = g, -4*l + 31 = g. Suppose l*k + 60 = -12. Is -7 bigger than k?
True
Let y = -10 + 0. Let p = y + 7.8. Let v = -0.8 + p. Which is smaller: v or 1/3?
v
Let f = -29 + -31. Is -57 > f?
True
Suppose 2 = -3*b + 11. Let d(a) = 5*a**3 + a**2 + 5*a - 9. Let u(k) = -2*k**3 - k**2 - 2*k + 4. Let l(z) = -3*d(z) - 7*u(z). Let h be l(2). Is h bigger than b?
True
Let g be (-2)/(-2) - 14/1. Which is smaller: -83/6 or g?
-83/6
Let f = 1444873250/7567 - 190944. Which is smaller: -1 or f?
-1
Let d = 49 + -32. Suppose d = -5*w + 7. Does 0.12 = w?
False
Suppose 4*q - 2*d - 42 = 0, -q - 2*q + d = -29. Is q <= 8?
True
Let l = 3 - -3. Suppose -4 + 10 = -3*k, 4*a + 4*k - 12 = 0. Let r be (3/a)/(6/4). Which is bigger: l or r?
l
Suppose -3*g = 5*j + 62, 5*g - 31 = -3*j + 5*j. Suppose 22 = 4*x - 54. Let f = -31 + x. Is j less than or equal to f?
True
Let c be 6/(-70) + 4/14. Let q(r) = r**3 - 4*r**2 + 2*r + 2. Let n be q(4). Let x = n - 9. Which is bigger: x or c?
x
Let i be 5 + -2 - 168/62. Is i equal to -1?
False
Let l be (-2)/3*7/((-56)/(-135)). Is l <= 2/7?
True
Let d be 10/75*6*(-1395)/(-6). Is 187 > d?
True
Suppose 0 = 18*d - 16*d. Let o be (1 + d)*5/70*-4. Suppose 7*v - 3*v + 4 = 0. Which is bigger: v or o?
o
Suppose -20*b - i = -12*b - 533, 2*i - 340 = -5*b. Which is smaller: 72 or b?
b
Let r = -412816/435 + 949. Is 0 >= r?
True
Suppose 0 = 4*w + 37 - 149. Suppose 3*u - 2*g = -3*g + 55, 0 = -2*u - 5*g + w. Let x(q) = q - 19. Let c be x(u). Is -4/9 bigger than c?
False
Let t be (-4 + -9)/(3/9). Is -36 greater than t?
True
Suppose -2*q - 99 = -33. Is -0.1 equal to q?
False
Suppose y - 28 - 153 = 0. Let h = y + -110. Suppose -6 = -5*d - h. Is d not equal to -13?
False
Let a = -14 - -20. Suppose -a = -8*r + 2. Is r at most 7/8?
False
Let i = -29/103 - -20867/73748. Is i != 0?
True
Suppose 27 = j + 28, -4*q + 1197 = -5*j. Are 298 and q equal?
True
Let q = 120 - 50. Suppose 0 = 5*w + 2*w + q. Is -11 not equal 