ich is bigger: q or -1/5?
q
Let y = -2 + 3. Let j = 30.1 - 30. Let h = 0.2 - j. Is h >= y?
False
Let m = 48 - 47.67. Let v = -0.26 + m. Which is bigger: 0.2 or v?
0.2
Let j(o) be the first derivative of -7 - 1/2*o**2 + 17*o. Let y be j(13). Which is smaller: 6 or y?
y
Let q(x) = -x**2 + 1 - 4*x - 2 - 2 + 4. Let p be q(-4). Which is smaller: 2 or p?
p
Let v = 25667578071026051/1201697775598680 - 1/47014779953. Let c = v - -225/568. Let x = c - 176/9. Is 1 not equal to x?
True
Let s = 57/5 - 12. Let b be 0 + 3568/(-17) - -2. Let x = 208 + b. Which is bigger: x or s?
x
Let l = -36 - -63. Suppose 3*r - l = 3. Suppose -r = 3*g - 1. Which is smaller: g or 2?
g
Let y be (2 - (-28)/(-6))*2/(-8). Let g(b) = -2*b**2 - b. Let l be g(-2). Let p be (2/(-9))/(1/l). Is y at least as big as p?
False
Let d be 2/2*(-26)/(-130). Is d less than or equal to -8?
False
Let h be (-11)/((-132)/(-280)) + -2. Let l = 25 + h. Is -1/5 greater than l?
True
Let m = 979 + -527. Suppose -40 = -5*z - 2*c - m, 2*c = -4*z - 328. Let l be 2 + (z/20 - -3). Is -1 at most l?
True
Let o(n) = n + 1. Let g(t) = -4*t - 3. Let z(p) = -4*g(p) - 14*o(p). Let f be z(0). Let h be -3 - (f/2 + -1). Is h smaller than 1/6?
True
Let y be (-3)/12 + 123/396. Let z = y - -3/11. Is 6 less than z?
False
Let u(l) = 3*l + 1. Let v be u(3). Suppose 5*s + 4*y - 13 = 0, 7*s = 2*s + 5*y + 40. Suppose -s*g + 20 = 5*b, 3*g + 4*b = 7 + v. Which is greater: 2 or g?
2
Let z = 1604 + -1605. Is 3/28 less than or equal to z?
False
Let x = 0.257 - 0.335. Which is smaller: -0.1 or x?
-0.1
Let v = -20 + 24. Let n = 0.042 - 22.042. Let q = n - -21. Which is smaller: v or q?
q
Suppose -3*i - 12 = 3*n, -2*i - i - 5*n - 6 = 0. Let f(d) = d**2 + 7*d + 3. Let h be f(i). Which is smaller: h or -3/4?
-3/4
Let k be 4/13*57/38. Suppose 2 = 3*r - 4. Let f be -4 + (-2 - -7 - r). Which is smaller: k or f?
f
Let y be ((-3)/(-1))/(30/4). Is y less than 31/7?
True
Let l be (-140)/25 + (24/10)/(-6). Let n be (-3)/((-2)/32*-6). Is l <= n?
False
Let t(c) = 5*c - 25. Let z be t(22). Let r = z - 80. Is -1 smaller than r?
True
Suppose v + 3*y + 9 = 0, 18*v = 14*v - y - 3. Is v > 6.9?
False
Suppose 13 = 3*x + 10. Let s be x/(-3)*3*-5. Which is smaller: 2/7 or s?
2/7
Let h = 33 - 27. Suppose 5*j = -4*l, l - h = -l - j. Which is smaller: 3 or l?
3
Suppose 6 = 2*y, -11 = 4*h - y - 4*y. Suppose j + o + 24 = 3*o, 4*o = 5*j + 132. Let a = j + 30. Is h not equal to a?
True
Suppose -5*b = -3*p + 44, p + 5*b - 28 = -0*b. Let m be 8/(-3)*p/4. Let d be 8 + m + (2 - 1). Is -4 at most d?
True
Let d be 2/(-4)*(-4 + 4). Let w(k) = 25*k + 25. Let i be w(-3). Let b = -1051/21 - i. Are d and b unequal?
True
Suppose 2*m + 4*z = 8*z - 12, -m + 3*z = 2. Let w be 5/30 - m/(-12). Is w bigger than -4/19?
False
Suppose -2*l + 14 = 2*m, -5*l + 33 = -0*m + 4*m. Suppose -29 = -3*s - t, s - m*t = -t + 11. Let i be ((-1)/2)/(s - 9). Which is smaller: i or -1?
-1
Let y(u) = u**3 - u**2 + u + 1. Let q be 1/(-7 + 2 + 4). Let n be y(q). Let z(k) = -k**2 - 3*k - 2. Let l be z(n). Do -2/31 and l have the same value?
False
Let o = -17/5 + 97/30. Which is smaller: 0 or o?
o
Let j = -1214 + 864. Is -351 at least j?
False
Let f(y) = -7*y + 7 + 4 + 5*y. Let v be f(9). Which is smaller: v or -0.2?
v
Suppose 5*q + 3*t + 336 = 0, -2*t + 6*t = -8. Which is smaller: q or 2?
q
Suppose -2*z + 17 = t, 4*t - 25 = z + 34. Let p = -15 + t. Which is bigger: 2/77 or p?
2/77
Let q be ((-5)/10)/((-1)/(5 - -1)). Let p be (-6)/(-1 + 1/(-1)). Suppose w + 5*r = p - 18, -21 = -5*w - r. Is q at least w?
False
Let r = 6187/570266 + -4/349. Is r smaller than 1?
True
Let n = 131 + -1180/9. Suppose 2*y - 4*g + 6*g = 0, -10 = 5*g. Suppose w - 3 = -y. Is n bigger than w?
False
Suppose 2*c + 3 = -m + c, -4*m - 3*c - 14 = 0. Let f = -9 - m. Suppose -5*q = 27 - 2. Does f = q?
False
Let j be 135/6*528/(-110). Which is smaller: j or -107?
j
Let g(c) = c**2 + c + 1. Let r be g(0). Suppose 0 = 5*j - r - 9. Suppose 5*t - 15 = -5*v, -v + t - 3 = j. Which is bigger: v or 0?
0
Let m = -265/3 + 87. Let j = m + 62/51. Which is bigger: j or 0?
0
Suppose 55 = 2*w + 357. Which is greater: w or -150?
-150
Let m be (-78)/(-36) + 1/6. Let b = m + -46/21. Which is smaller: 0 or b?
0
Let o(y) = -55*y - 99. Let a be o(-6). Which is bigger: 232 or a?
232
Let r = -40 + 41. Suppose 0 = -u - 2*u + 9. Suppose -11 = 2*n - u. Which is smaller: n or r?
n
Let h(d) = -d**2 - 9*d - 11. Let i be h(-8). Let c be 244/(-12) + (-1)/i. Let l be -1*(-2)/c*2. Which is bigger: 0 or l?
0
Let g be 194/252*-3 + (-2)/(-14). Are -2 and g equal?
False
Let c be (4/10)/(2/5). Let r = 149/570 + 1/190. Which is smaller: r or c?
r
Let q = 23.47 + -23. Let n = 0.23 + q. Which is smaller: n or 0.2?
0.2
Let j = 22.07 + -22. Let o = 0.03 + j. Is o < 18?
True
Let f = -15.29 + 0.29. Let x = -14 - f. Which is smaller: x or 1/2?
1/2
Suppose -4*l - 4*y = -9*y - 4626, -5791 = -5*l + 2*y. Is l at most 1158?
False
Let k be ((-51)/15)/1*(-60)/(-24). Let c = -475/56 - k. Is 1 <= c?
False
Let x = 21.6 + -15. Let w = 7.18 + -0.18. Let s = x - w. Which is bigger: s or -1?
s
Let m be (3/16)/(-5 + 408/78). Are 1 and m unequal?
True
Let x be 5/(-2) - (-5 - (-1085)/(-10)). Is 109 > x?
False
Let k(b) = -b**2 + 9*b + 2. Let n be k(3). Suppose y = 3*o + 16, 3*y - 4*o = -9*o + n. Let u(i) = i**2 - 1. Let l be u(0). Which is bigger: y or l?
y
Suppose -2*y - 109 - 23 = 0. Let p be (3 + 1)*134*(-1)/8. Is p greater than y?
False
Let p be 358/24 + 4/12. Do 14 and p have different values?
True
Let v be (7390/(-25) + 8)/((-8)/10). Which is greater: v or 359?
v
Let x = 43 - 29. Let v be ((-2)/(-18))/(7/x). Is v greater than or equal to 1/3?
False
Let w(g) = -9*g**2 + 77*g - 231. Let r be w(3). Is -82 less than or equal to r?
True
Suppose -3*x = 3*x - 84. Let l be (x/(-21))/(28/30). Which is bigger: -1 or l?
l
Let x be (-14 + (-9)/3)*1. Let h(b) be the third derivative of -b**5/60 - 17*b**4/24 + 13*b**3/6 + 16*b**2. Let n be h(x). Which is bigger: 12 or n?
n
Suppose -5*d = -18 + 3. Let t be -4 + d + -1 + (-14)/(-2). Which is smaller: t or 3?
3
Suppose 76 = 13*o + 24. Suppose -o*h - 5*h = -108. Which is smaller: 2 or h?
2
Let q be ((-31946)/(-44))/((-9)/6). Let u = q + 484. Which is greater: 0 or u?
0
Let g be ((-35)/(-147))/(2/7). Let v(y) = -y + 4*y + 4 - 3 - 2. Let x be v(1). Is x at most g?
False
Let k be -1*141*(-7)/21. Is k at least as big as 137/3?
True
Let w(m) = 254*m + 0*m**2 + 12 - 243*m + m**2. Let g be w(-10). Let x(q) = q**2 - q + 2. Let y be x(0). Is g greater than y?
False
Let g = -0.31 - 34.69. Let q = 0.34 - -0.66. Is q smaller than g?
False
Let j = 30 + -50. Let h = j + 19. Which is greater: 0 or h?
0
Let r be (-28)/168 + (-2)/60. Which is smaller: r or -14?
-14
Suppose -6*q + 3 = -3*q. Let u = -3 - q. Let o be u/6*33/(-22). Is -2/11 greater than o?
False
Let t = 0.376 - 176.376. Let z = t - -176.01. Suppose 4*v = -0*v, 2*v = -4*o. Which is smaller: z or o?
o
Let i = 358 + -340. Which is smaller: i or 2/13?
2/13
Let l(c) = c**3 - 8*c**2 + 12*c + 8. Let z be l(8). Let d = 97 - z. Is d greater than -28/5?
False
Let u(p) = 260*p - 1050. Let n be u(4). Which is greater: n or -91/10?
-91/10
Let h = 1801/215 - 4850876/10965. Let n = h - -434. Which is greater: 0 or n?
0
Let i = -357.1 - -357. Which is smaller: -6.4 or i?
-6.4
Suppose 5*b + 4*g + 1 = -12, b = -4*g - 9. Let k be ((1 - -1) + 0)*1. Suppose y - k*y = -2*y. Is b <= y?
True
Let l = -1.01 + -0.47. Let b = 2.3 - l. Let m = -0.22 - b. Is m equal to -0.1?
False
Let t be 12/9*(-54)/4. Let n = t + 22. Suppose 2*i + 0*i = 4. Is n equal to i?
False
Suppose -99*a = -72*a + 216. Which is greater: a or -18?
a
Let h be 3/5*5/1. Suppose 14 = h*g - 4*g. Which is smaller: -15 or g?
-15
Suppose 2*w + 5 = 1, -16 = -3*r + 2*w. Suppose 0 = r*k - 31 - 9. Let d(b) = -b + 9. Let q be d(k). Which is smaller: -2/19 or q?
q
Let f = -34/129 - -428/645. Is -190 greater than f?
False
Let h(y) = y**2 - 15*y - 12. Let a be h(16). Let j be (4/a + -1)/(-3 + 1). Is -2/11 != j?
True
Let c(p) = -p + 75. Let s be c(0). Suppose 0 = 6*h + 255 + s. Does h = -54?
False
Let i be 2160/3402 - 2/(-9). Which is smaller: i or -7/3?
-7/3
Let x(d) = -7*d**2 + 3*d - 3. Let l(y) = -y**2 + y + 1. Let s(m) = 6*l(m) - x(m). Let o be s(-7). Let z = 28 - o. Are z and -9