p or n?
n
Let v = 17379593 + -65347270377/3760. Let t = 1/470 - v. Let h = 2 + -3. Is h less than or equal to t?
True
Let j be (14/(-14))/(2/32). Let l = 4 - j. Suppose 2*q + 3*q - l = 0. Which is greater: 1 or q?
q
Let x be 4/5 + 1/5. Let z = 3 + -1. Let o be (-1 + -2 + z)*0. Is o <= x?
True
Suppose -3*p = -h - 337 + 1461, -745 = 2*p - 5*h. Is -375 at least p?
True
Suppose 2*f + 3*y = 26, -y - y = 5*f - 43. Let p be f*(1 + 0)*1. Suppose -p*c + 14 = -5*c. Are 5 and c non-equal?
True
Suppose -t = -2*b + 121, -185 = -3*b - 0*b + 5*t. Let w(v) = 31*v - 1. Let p be w(2). Is b at least as big as p?
False
Suppose -8 = 2*r - 32. Suppose -75 = 5*l + 5*i, 4*i - 6 = 3*l + 74. Let j = r + l. Is -9 > j?
False
Suppose -4*t + 168 = -t. Suppose 2*k - 41 = -3*k + d, -4*k = 5*d - t. Let w = 8 - k. Which is smaller: w or -2?
-2
Suppose i - 776 = 3*v, -v + 4*i = -4*v - 751. Do v and -260 have different values?
True
Suppose 2*p = -180 + 114. Is p > -33?
False
Let s(j) = 3 - 1 - 5*j + 4*j + 5*j. Let u be s(1). Suppose 0 = -u*g + 4*g - 4. Do -1 and g have the same value?
False
Let n(g) = g + 5. Let j(m) = m**3 - 19*m**2 + 19*m - 28. Let h be j(18). Let s be n(h). Let y = 4 + -5. Is y greater than s?
True
Let n = 215 + -226. Which is smaller: n or -48/5?
n
Let d be ((-3)/6)/(8/272). Are d and -142/9 non-equal?
True
Let d = -3851 - -593057/154. Let c = d + -727/5698. Which is greater: c or -1?
c
Let j = -211 - -326. Let y = 115.12 - j. Which is greater: 0.5 or y?
0.5
Let l be 140/(-6)*27/(-3096). Let o = -1119 + 48119/43. Let v = o + l. Which is smaller: v or -0.5?
-0.5
Let k(g) = -4*g**2 - 6*g + 36. Let d be k(-12). Is d less than -468?
False
Let s = 0 - 0.1. Let z = 5482 + -5521. Is s at most as big as z?
False
Suppose -4*z + 11*d - 500 = 10*d, 5*z = 2*d - 625. Which is bigger: z or -126?
z
Let q(d) = 2*d**2 - 3*d. Let c = 7 + -5. Suppose -17 = m - 5*w, m = -m + 2*w - c. Let l be q(m). Is l at most as big as 19/2?
True
Let r be (-247)/(-57) - (-8)/(-6). Let s(t) = -t**3 + 8*t**2 - 6*t - 4. Suppose -2*a + 3*a = 7. Let j be s(a). Is j < r?
False
Suppose 20 = 18*t + 2. Which is bigger: 3 or t?
3
Suppose 24*z = 22*z - w - 490, -5*z + 3*w = 1236. Which is bigger: -247 or z?
z
Suppose -n - 78 = 3*a, n - 2*a + 33 = -25. Let x be ((-407)/n)/((-15)/(-2)). Let j = x + -5/9. Which is greater: 1 or j?
1
Let f be 5/(((-5)/(-3))/(-5)). Let u be (97/14)/((-150)/f). Let a = 2/35 + u. Is 0.1 at most a?
True
Let l be (6/(-3))/(-2) - -1. Suppose 0 = -c, -3*c - 5 = 5*r + l*c. Is r at most -1?
True
Suppose 6*r - x = 3*r + 2, -25 = 5*r + 4*x. Suppose 2*v = 5*c - 1, 3*c - 44 = -4*v - v. Suppose -13 + 0 = 3*m - 4*b, -3*m - v = 2*b. Which is bigger: r or m?
r
Let n = -0.23 - -0.13. Suppose -2*r + m - 26 = 0, r + 4 = -0*r + 5*m. Let o be r/7 + 38/10. Are o and n equal?
False
Suppose -5*i - 3*d - 50 = 2*d, -5*i - 4*d = 50. Let q be (-88)/12 + i/15. Let o = -22 + 15. Which is smaller: o or q?
q
Let r = -17 + 37. Let q = r + -20. Which is smaller: -14 or q?
-14
Suppose -8*b = -3*b. Suppose b = 5*m - 6 - 4. Suppose -2*a + f + 23 = -2*f, 2*a + 2*f = -m. Is a smaller than 3?
False
Let a be 2/(-4)*13 - (-28)/56. Let b be ((-4)/2)/(-1 - a). Which is greater: 0.9 or b?
0.9
Let c be (20/18)/((-12)/(-360)). Let x = c + -29. Let p be (-2)/(-1 + 1/3). Is x not equal to p?
True
Suppose -140*j = -136*j + 4. Let c be 1*-12*-1 - 2. Let o be 24/(-390)*c/4. Which is smaller: j or o?
j
Let z be (-1 + 9/6)*-6. Let c be 16/z + (-14)/(-42). Is c smaller than -5?
False
Let u(f) = -f**3 - 15*f**2 - 2*f + 8. Let a be u(-15). Let b = a - 51. Are b and -11 equal?
False
Let t = -6808 + 115802/17. Let u = -1552/391 + t. Does -1/4 = u?
False
Let c be (-11)/(-418)*4/(-34). Let w = 32674151242/2261 + -14451195. Let z = c - w. Which is smaller: -4 or z?
-4
Suppose -3*f + 1202 = 4*u, -3*f + 462 = 2*u - 142. Is u less than 298?
False
Let p = 773 + -3877/5. Suppose -12 = -4*o - 3*z - 4, 4*o + z = 0. Are p and o equal?
False
Suppose 116 = 4*f + 2*d, -5*d + 21 = -2*f + 55. Suppose 2*o - 15 = -5*y, 3*y - f = y - 5*o. Is y > -1/15?
True
Suppose 0 = -v - c - 8, -5 = -54*v + 59*v - 2*c. Which is smaller: v or 25?
v
Let f(y) be the second derivative of y**4/12 + y**3/6 + y**2 - 13*y. Let o be f(2). Is 7 smaller than o?
True
Let a = 1 - -3. Suppose -l + 0*l = 5*w, 2*w + a*l = 0. Let z be (w/(-1))/(0 - -1). Which is greater: 1 or z?
1
Let y = -772 - -660. Which is smaller: -114 or y?
-114
Suppose 13 + 15 = -3*l - 2*g, l - 5*g - 19 = 0. Let z be 1 - -21*4/6. Let r be 15/6*l/z. Is -6/11 greater than or equal to r?
True
Let t(y) = -y**3 - 13*y**2 + 11*y - 13. Let p be t(-14). Is p equal to 0?
False
Suppose -5*i = 4*g - 5, -2*g - 216 + 226 = 0. Is 11 at least as big as i?
True
Let z = -57 - -55. Let d be (z - -6) + (-4)/(-1). Which is bigger: 5 or d?
d
Let f = 3.94 + -4. Let x(z) = -z**2 - 3*z - 21. Let g be x(9). Let a = 901/7 + g. Which is greater: f or a?
f
Suppose 0 = 2*u + 5*t + 62, u + 3*t + 16 = -16. Is u < -26?
False
Let s = -102 - -72. Which is smaller: s or -32?
-32
Let c = -0.01 - -0.11. Let f = 153 - 463/3. Which is smaller: f or c?
f
Suppose 4 + 51 = -11*g. Let k be (((-40)/g)/8)/((-1)/(-22)). Do k and 21 have different values?
True
Let r = 65590/39 + -1682. Is r equal to -1?
False
Let z be ((-12)/9)/(58/57). Let m = -341/116 + z. Is m at least -3?
False
Let f be -4 + 1 - (4 - 17). Suppose 0 = -4*d + 6 + f. Let h be (d/5)/((-2)/(-5)). Is 2 less than h?
False
Let o(b) be the second derivative of -b**3/3 + b**2 + 10*b. Let x be o(-4). Suppose -5*g + 0 = 10, -g - x = 4*h. Is h > 2?
False
Suppose 0 = -0*h - h + 9. Suppose x - 13 = 4*d, -2*x = x - 2*d - h. Let a = 6439/11 - 585. Which is bigger: x or a?
x
Suppose -4*s - 19 = p, -5*p - 173 - 7 = 3*s. Which is smaller: p or -40?
-40
Let t be (11 - 6)/((-2)/(-38)). Suppose 91*g = t*g. Which is bigger: 1/21 or g?
1/21
Let j(d) = d**2 - 3*d - 5. Let b be j(3). Suppose 35 - 59 = 2*t. Which is greater: t or b?
b
Let y = 1.45 + -0.98. Let r = -2.53 - y. Which is greater: -1/6 or r?
-1/6
Let w(b) = -b**3 + 11*b**2 + 5*b + 9. Let t be w(11). Let y be 4/(t/(-1532)) + -2. Let u = y - -97. Is u bigger than 0?
False
Suppose 3*v + 4 = v. Let t be -1*(-2 + v/(-1)). Suppose t = -5*z - 0*k - 3*k, 4*k = z. Is 4/3 at most as big as z?
False
Let z = 0.882 + -4.882. Which is smaller: -108 or z?
-108
Let m = 17 + -49. Let j(o) = -o**2 - 42*o + 311. Let y be j(7). Are y and m equal?
True
Let v(l) = l**2 - 6*l. Let h be v(6). Suppose -2*b + b + 20 = h. Let t = -18 + b. Which is smaller: t or -1?
-1
Let o = 39.9 - 34.9. Which is smaller: o or -72?
-72
Let v be ((-21)/9)/(-11 + 1380/126). Which is bigger: 48 or v?
v
Let p = -18.464 - -1.664. Which is smaller: p or 4?
p
Let l = 3/37 + -83/111. Let i = 41 - 39. Suppose 4*y - 8 = 5*a, 6*a + y = 3*a + i. Which is bigger: a or l?
a
Let l = -5752428 + 97820047/17. Let w = -1693 + l. Which is smaller: w or -1?
-1
Let q = -51 - -57. Suppose 7*i = i - q. Let p = 9 - 4. Which is smaller: p or i?
i
Let c = -18.3 + 18.16. Which is smaller: 0 or c?
c
Let h = 4.7 - -0.3. Let p = -6 + h. Let f be -2*2 + 1 + 234/52. Is f greater than or equal to p?
True
Let v = 1.015 - 9.415. Are v and -4 non-equal?
True
Let t = -1918/15 - -10867/85. Let y = -3 - 3. Let u be 9/y - 2/(-4). Which is bigger: u or t?
t
Let b(t) = -5*t - 2. Let n be b(-3). Suppose 15 = -8*a + n*a. Suppose a*m + 2*y - 13 = 4*y, 25 = 5*m - 5*y. Do m and 2 have the same value?
False
Let m(d) = -10 - 4*d**2 + 5*d**2 - 6*d - 10*d + 25. Let q be m(15). Do -1.9 and q have the same value?
False
Let c be (-94)/9 - (-3 + 1). Let s = -46/9 - c. Let h be (-21)/(-12) - (-4)/16. Which is smaller: h or s?
h
Let v(a) = a**2 + 4*a. Let l be v(-4). Suppose -3*f = 3*q - 6, 3*q + l*q = 4*f - 1. Is q greater than or equal to 2?
False
Let z(b) = -15*b**2 + 3*b - 5. Let s be z(2). Let h = s + 58. Which is smaller: h or 2/131?
h
Let z = -213 - -210. Is z > -46?
True
Suppose -4*j - 6*j = -810. Which is bigger: j or 82?
82
Let i be (-33)/(-18) - 19/38. Does i = -64?
False
Let a = 24.826 + -0.526. Let c = 8.3 - a. Let j(v) = v**2 - 6*v - 7. Let g be j(7). Is c less than g?
True
Let m = -2362 + 3379. Let n be (-244)/m + 2/9. Let x = n - 93/1130. Are -1 and x nonequal?
True
Suppose 0*w + 35370 = 3*w. Let k be 40/w*3/(-2). Is k bigger t