 q(6). Which is smaller: p or z?
p
Let y = 7 - 11. Let k be (-760)/(-308) - y/(-22). Is 1 at most as big as k?
True
Suppose 54*g = 50*g. Suppose g*f + t = -f + 1, 3*t = f + 7. Which is greater: f or -2/11?
-2/11
Suppose -y = 3*y + a - 35, -4*y - 5*a + 47 = 0. Suppose 0 = -h + i + 3*i - y, -2*h + 2 = i. Is 1/37 <= h?
False
Let s = 0.3 + 0.2. Let k = -0.2 - -3.2. Which is smaller: s or k?
s
Suppose 4*x - 4 = -2*g, 28 = 5*g - 2*g - 5*x. Suppose -4*i + 59 = -3*d, 0 = -i + 4*d + 21 - 3. Suppose -5*q + 3*q = -i. Which is smaller: q or g?
g
Let f = 365.9 + -366. Is -102 != f?
True
Let w(z) = -z**2 - 2*z - 9. Suppose 22 = -9*l - 5. Let p be w(l). Is -10 less than p?
False
Let s(y) = -31*y + 3. Let h be s(2). Let j = h - -235/4. Is j equal to -1?
False
Let r(k) = -20*k + 3*k**2 - 5 - 17 - k**2. Let t be r(11). Suppose -6 = 3*w - 3. Which is bigger: t or w?
t
Let i = -19302/65861 + 24/983. Which is greater: i or 0?
0
Let d = -12 - -12. Let q be 3/(-2)*1/18. Let l = q + -1/20. Which is greater: d or l?
d
Let k = -118 - -108. Let u be ((-2)/(k/(-25)))/(-1). Which is smaller: u or -4?
-4
Let z = -18.9 + 18.8. Which is smaller: z or -0.035?
z
Let c = -2.92 - -3. Let a = -0.12 - c. Let o = -0.19 + 0.19. Are a and o equal?
False
Let y = -243753/3395 - 8/3395. Let n = -71 - y. Let j(r) = r**2 + 3*r - 87. Let l be j(8). Is n bigger than l?
False
Suppose 2*l = 28 + 12. Let d be (-12)/20 + 17/l. Let r = -150.95 - -151. Which is bigger: r or d?
d
Suppose 3*h - 2*h + 18 = -3*k, -4*k = -5*h - 14. Let w be 2/h + 5/(-3). Let j = 1/447 - 7159/3129. Which is smaller: w or j?
j
Let b = -2261/421716 - -3/1244. Is 0 smaller than b?
False
Let f = -26.44 + 0.44. Let u = f - -15. Let o = u + 12. Is 8 at least as big as o?
True
Let j(l) = -l**3 + 14*l**2 + 53*l - 6. Let i be j(16). Which is greater: i or 331?
331
Let s = -90.2 - -71. Let n = s - -19. Let b be -4*1/(2 + 0). Is b less than n?
True
Suppose 4*l + 77 = 4*m + m, 4*m - 3*l - 61 = 0. Let h(n) = -8*n + m*n + 1 + 0. Let a be h(3). Which is smaller: a or 15?
15
Let b be 0 + 0/(-1) - 0. Suppose -5*i - 14 + 4 = b. Suppose 5*c - 2*n = 2*n - 8, -2*n + 2 = -2*c. Is c >= i?
False
Let v be (7 + 59253/(-8466))/((-9)/(-6)). Which is bigger: 0 or v?
v
Let n(h) = 8 + 4*h**2 - 3*h**2 - h + 2*h - 9. Let w be n(-3). Are w and 5 equal?
True
Let a = -1459 + 13133/9. Let f = 3 + -2. Is a smaller than f?
True
Let j = -30.04 - -0.04. Let i = -41.932 - 0.068. Let u = j - i. Is -1/4 greater than u?
False
Let y = -23060 + 207268/9. Do -30 and y have different values?
True
Let t = -29.89 + -0.11. Let r = t + 30. Is r equal to 2/91?
False
Let l = -7649/716 + -12/179. Which is smaller: -12 or l?
-12
Let p(m) = m**3 + 19*m**2 + 18*m + 4. Let y be p(-18). Suppose 0 = -5*o + y + 11. Is 4 <= o?
False
Let i = -25 - -27. Let o = i - 2. Which is smaller: o or -0.1?
-0.1
Let i = -0.8 - 0.9. Let h = 39 + -37.3. Let b = h + i. Is b >= 0.3?
False
Suppose -114 = 4*v - v. Let q be 4/14 - v/14. Are q and 8/3 non-equal?
True
Suppose s - 10 = -4*s + 5*k, 4*s + 5*k - 8 = 0. Suppose 0 = -2*m - 4, -s*b - 2*b - 5*m = 10. Is b greater than -3/22?
True
Suppose -3 - 11 = 2*o. Let m(u) = u**3 + u**2 - 2*u - 7. Let a(p) = -p + 1. Let f(l) = 3*a(l) + m(l). Let z be f(-3). Are o and z equal?
True
Let n(t) = 9*t. Let d be n(5). Suppose -4*c + 2*a = -26, 5*c - d = 3*a + 2*a. Let u = -69335 + 69339. Is u smaller than c?
False
Let c = -21 - -26. Let m(o) = -6*o**2 - 1 + 5*o + 3*o**3 - 2 + 1 - 2*o**3. Let y be m(c). Which is smaller: y or 4?
y
Let t be 2/9 - (-9136)/36. Is 253 smaller than t?
True
Let y = -453 + 455. Let w(t) = t + 1. Let o(s) = -6*s - 10. Let d(j) = o(j) + 4*w(j). Let z be d(y). Are z and -10 equal?
True
Let l(w) = w**2 - 4*w + 2*w - 6*w + 6. Let r be l(6). Let m be ((-3)/8)/(r/4). Which is bigger: m or 1/3?
1/3
Let q be 1 + 2 + 4 + -5. Suppose 52 = d + d. Let b be 30/26 - 4/d. Is b >= q?
False
Suppose 13 = 2*m + w, m - 3*w + 15 = 3*m. Suppose m = -10*d + 16*d. Which is smaller: d or 5/3?
d
Suppose -a - 251 = -269. Is a at most as big as 16?
False
Suppose 3*p - p = -18. Let u be (p/6)/((-15)/100). Are u and 2 equal?
False
Let o(z) = z - 3. Let y be o(-6). Let x(k) = -k**2 - 6*k - 1. Let l be (-16)/3 - 6/9. Let b be x(l). Which is smaller: b or y?
y
Let u = -3/2 - -2. Let a = -4 + 6. Suppose 0 = 3*p - 3, y - 2*p = p - a. Which is bigger: u or y?
y
Let r = -1214/133 + 168/19. Is r != -2/129?
True
Suppose -364 = 2*d - 5*s - 100, 3*d + 434 = -2*s. Let o be d*2/(-20) - 0. Let c = o + -15. Is c <= -2?
False
Let y = -356 + 342. Which is greater: y or -12?
-12
Let w = 2186 - 2185. Is -16/161 bigger than w?
False
Suppose -3*p = s - 4, -2 = 2*p + 3*s + 7. Let u be 25 + (-9)/15*-5. Let z be (-14)/2*(-8)/u. Which is smaller: z or p?
z
Let l be ((-3)/(-9))/(((-65)/60)/(-13)). Suppose 0 = 20*j - 21*j - l. Which is greater: j or 5?
5
Let r be 1/(-2) - (-342)/(-4). Is -86 not equal to r?
False
Let w = 0.42 + -0.5. Let h = -1462/27 - 95/27. Let o = 58 + h. Is o at least as big as w?
True
Let m = -42 - -42. Let r(g) = -g**2 - g - 4. Let t be r(0). Let l(f) = 2*f + 6. Let i be l(t). Do i and m have the same value?
False
Let v be (130/25 - 1)*(-6)/9. Is v at most -3?
False
Let m be (3792/40)/((-1)/(-45)). Let l be (-1 + 16)*m/315. Let k = l - 204. Is k less than -2?
False
Let s(o) = 3*o - 1. Suppose -12*z + 3*z = 0. Let c be s(z). Does c = -4/15?
False
Suppose 3*k - 3*l + 9 = -2*k, 4*k - 3*l + 9 = 0. Suppose k = -4*y - 0*y + 4. Which is greater: 1/31 or y?
y
Suppose -5*o - n = -4*o - 5, -10 = o - 2*n. Suppose 6*j - 5*j = -6. Let u be 11/(-4) - j/2. Are u and o unequal?
True
Let v(l) = 16*l + 94. Let a be v(16). Is a at least 349?
True
Let w(d) = -d**2 - 17*d - 52. Let r be w(-7). Is 21 less than r?
False
Let l(s) = s**2 - 6*s + 6. Suppose 0*c = 2*c - 14. Let a be l(c). Let n be -16 + a - 0/(-2). Is n smaller than -4?
False
Suppose 0 = 4*v + 2*x - 6, -4*v + 0 = -3*x - 1. Let p be 28/30 - 14/(-42) - v. Is p less than 1?
True
Let q = -14 - -3. Let f be (-84)/2*8/(-28). Suppose -20 = 14*m - f*m. Which is bigger: q or m?
m
Suppose 0 = 5*s - 2*g - 3 + 2, -3 = g. Let k(x) = 11*x + 27. Let a be k(-2). Which is smaller: a or s?
s
Let t be 3/(-9) + 8/6*13. Let a be (-48)/10 - (14 - t). Let p = -9 - -6. Is a at most as big as p?
False
Let r be 2/(-4)*(0 + -6). Suppose -3*g = r*z + 36, -1 = 2*g - z + 8. Is g > 2?
False
Suppose 5*n = 10, 0 = 3*c + 2*c + 3*n + 59. Which is greater: 2.5 or c?
2.5
Suppose -5*d + h - 1945 = -0*h, 0 = -d - 3*h - 405. Let x be 2 - (-2 + d/(-99)). Which is smaller: x or -2/7?
-2/7
Let d(o) = o**2 - 2*o + 3. Let a(u) = u**2 - u + 1. Let q(f) = -5*a(f) + 2*d(f). Let c be q(-1). Let v = 2 + -1. Does c = v?
False
Let f be -1*(-2 + -1) - (-63976)/406. Let q = 1125/7 - f. Which is greater: 0.1 or q?
q
Suppose -8*f + 72 = 56. Let u be ((1 + -2)*0)/(-1). Let w be (0 + u)/(f + -1). Is -2/35 > w?
False
Let o = -5.8 - 24.2. Is 2 less than o?
False
Let f be 4/(-5)*(-9)/24. Let z be (-11)/(-33) - (-16)/(-12). Which is smaller: z or f?
z
Let t = 334 - 563. Is t < -230?
False
Suppose 0 = a + 3*a. Let x = 25924/9 + -8812/3. Let c = -56 - x. Which is smaller: a or c?
a
Suppose 0 = -2*w + 4*j - 614, 11*j = w + 8*j + 307. Is w smaller than -307?
False
Let r be (0 - (-2)/4)*(-248)/558. Let j(h) = h**2 + 2*h - 1. Let m be j(-3). Let b = m + -3. Is r at least b?
True
Let w = -1305 + 3815/3. Which is bigger: -34 or w?
w
Let i = -117.064 + 0.064. Let c = i - -172. Is c at least as big as 0.1?
True
Let h be (1/6)/(13/(-39))*1. Let a(i) = i - 8. Let m be a(6). Let o be (-1)/m - (-3)/3. Which is smaller: o or h?
h
Suppose 0 = -24*l + 23*l + 84. Let k = 1430/17 - l. Let q be 3*((-2)/1)/(-6). Is q > k?
True
Let c = -0.1 - -0.1. Let z = -2.3 + -27.7. Let g = 29.8 + z. Is c less than or equal to g?
False
Let m = 75/391 + 1/23. Let a be (-9)/(-3) - (-4)/(-1). Are m and a non-equal?
True
Suppose 0 = -412*y + 411*y. Let j = -4 - -5. Let r be (j/2)/(26/8). Which is bigger: r or y?
r
Let p(i) = 9*i + 27. Let n be p(-11). Let s = n + 73. Is s bigger than 6/5?
False
Suppose 3*j - 6 - 9 = 0. Let c = -135 + 140. Are c and j non-equal?
False
Let h = 35.3 + -88.3. Which is smaller: 0 or h?
h
Let m = 53 + -48. Suppose 5 = -5*s + 2*z, -m*s - 3*z + 0 = 5. Is 1/45 smaller than s?
False
Let l = 212 - 339. 