at least p?
False
Suppose 3*i = z + 15, 17*z + 2*i - 10 = 19*z. Is z bigger than 2/653?
False
Let u = 8 + -10.068. Let n = 0.068 + u. Which is greater: n or 1?
1
Let j = 0.9404 - -0.0596. Which is smaller: j or -0.0068?
-0.0068
Suppose 10 + 12 = -2*q - 4*u, -7 = 2*q + u. Is 5/33 less than q?
False
Let k = 1/71 - 147/355. Let d = 8.3 + -22.2. Let n = 14 + d. Is n less than k?
False
Suppose 0*l + 2*l + 3326 = -u, l + 9963 = -3*u. Let p be (-1)/(-6) + u/48 + 4. Which is bigger: p or -64?
-64
Suppose -4*h - g + 52 = -h, h = 2*g + 8. Which is greater: 69/4 or h?
69/4
Suppose -5 = -0*g - 5*g. Let h be ((2 - 3) + g)/1. Which is smaller: 3/16 or h?
h
Let n be ((-4)/(-5))/(121254/28765). Let k = n + 2/2887. Which is bigger: k or -1?
k
Let c be (46/69)/((-35)/3). Suppose 5*d + 58 = 158. Suppose 2*q = 4*m + d, -4*q - 4*m + 3*m - 5 = 0. Which is smaller: c or q?
c
Let j be (5 + 31/(-8))*4. Is 5 at most as big as j?
False
Let g be 6*12/(-360) - (-1774)/8770. Which is greater: -1 or g?
g
Let m = -112 + 101. Is 46 less than m?
False
Let u be (228/24 + -12)*-2. Which is bigger: u or -5?
u
Suppose -25 = -5*i, -5*i + 39 = 2*f - 3*f. Let q be 6/(-9) + f/(-3). Let h = 18 + -16. Do h and q have different values?
True
Let l = 256 - 266. Which is smaller: l or -9?
l
Let s(u) = u**3 + 5*u**2 + 2*u - 1. Let v be s(-4). Let j = v - 10. Let r be j/(-10)*150/(-36). Is r greater than or equal to -1?
False
Suppose 0 = -2*i + 3*y - y + 12, i + 4*y = -4. Suppose 111 = i*r - 17. Suppose 5*f + 13 = -r. Which is bigger: f or -8?
-8
Let o be 2/6 - 4/3. Let u be 9/o*1 + 1. Let c = -7 - u. Are c and 2/15 equal?
False
Let t = -775 - -5413/7. Suppose -28 = q + 7. Let f be 14/q + 6/(-10). Is t < f?
True
Let h = -157 + 158. Do h and -1/10 have the same value?
False
Suppose -8*a + 11 = -3*c - 9*a, 4*c + 4*a + 4 = 0. Are c and -18 equal?
False
Let p = 29768/117 + -2290/9. Let q be (-1 + 1)/((-4)/(-2)). Is q greater than p?
True
Let f be (-6826)/3896 + 2 - (-1)/(-4). Which is bigger: 1 or f?
1
Let i(y) = y**3 - 12*y**2 + 9*y + 31. Let l be i(11). Let v be (0*(-2)/4)/(-1). Suppose -3*h - 2*a = a - 39, a - 4 = v. Is h not equal to l?
False
Let d be 5/(-1)*(-2)/50*5. Which is smaller: 4/75 or d?
4/75
Suppose 9 = b + 2*m - 5, -3*b - 2*m = -34. Which is smaller: b or 12?
b
Let k = -0.1 - 0.6. Let b = 6.7 + k. Let n = b - 6. Is 1 bigger than n?
True
Let k(b) = 3*b - 3. Let m be k(2). Suppose -6 = 3*p - 0, 2*p - 29 = m*x. Let z = 70 - 81. Is x at least z?
True
Let s = -594 - -24356/41. Is s equal to 0?
False
Suppose -5*l + 0*l = -5. Let p be ((1/(-2))/1)/(150/20). Which is bigger: p or l?
l
Let c = -1/1143 + -58286/8001. Which is smaller: -6 or c?
c
Let y = -275/4 - -143/2. Let l = -1 + 3. Which is smaller: y or l?
l
Let x(c) = -2*c**2 - 2*c - 1. Let z(a) = a**2 + 5*a - 14. Let g be z(-7). Let i be x(g). Are 2/61 and i equal?
False
Let y = -17 - -24. Let q = y + -24. Let z = q - -14. Is -12/7 smaller than z?
False
Let l be (-1)/(-5) + 142/(-35) + 9. Is l at most as big as 6?
True
Suppose 0 = -14*q + 18*q + 72. Let x be ((-6)/4)/(3/(-414)). Let k be (-257)/q + 46/x. Which is greater: 16 or k?
16
Suppose g + 4*j = 3*g - 16, 2*g - 16 = -5*j. Let l = 7 - g. Let z = 19/10 - 533/270. Is l < z?
True
Let k = -4 + 3. Let y be (-1631)/(-1470) - k/(-1). Let c = y - -2/35. Are 0 and c equal?
False
Let k(p) = 0 - 2 + 7*p - 12*p**3 + 11*p**3 + 4*p**2. Let l be k(5). Suppose -l = -4*u - 4*g, -5*u + 4*g = -3*u + 14. Which is bigger: u or 4/9?
4/9
Suppose m + m - 10 = 0. Suppose 5*u + 7 + 10 = -3*y, 0 = 3*y - m*u - 23. Let p = 3289 + -3290. Which is smaller: y or p?
p
Let t(a) = 3*a**3 + 7*a**2 + 11*a - 22. Let i be t(-6). Is i at most as big as -483?
True
Suppose 3*i = 13 + 26. Let g be (-41)/3 + (30/(-9))/(-5). Let r = g + i. Which is smaller: 1/7 or r?
r
Suppose 1968 = 37*y - 29*y. Which is smaller: y or 244?
244
Let u(a) = a**2 - 2*a + 1. Let h be (-1 + -3 - -4) + 1 + -1. Let p be u(h). Suppose -s + 6*s = 15. Which is smaller: s or p?
p
Let q(r) = 5*r**2 + 2*r - 2. Let f be q(2). Do 26 and f have the same value?
False
Let o = -4 + 4.1. Let q(y) = 3*y + 19. Let w = -71 + 63. Let r be q(w). Which is smaller: o or r?
r
Let z = -41 - -49.2. Let g = z + -24.2. Which is bigger: g or -1?
-1
Let f(m) be the second derivative of -m**3 - 21*m**2 + 2*m. Let v be f(-8). Which is smaller: v or 7?
v
Let f = 365 + -363. Are f and 29/15 equal?
False
Let a be 1932/(-385) + (-45)/(-9). Which is smaller: a or 0.1?
a
Let i = -1/11822258 + -358728685603/236445160. Let w = i + 1517. Let x = 2/15 + w. Is x less than -1?
False
Let u be (-12)/(-10)*7360/(-96). Is -93 bigger than u?
False
Let h = -29 + 31. Let a be 22/18 - (3 + (-4)/h). Let s = 3.07 - 0.07. Which is smaller: s or a?
a
Let f = -14.33 - -12.712. Let z = -30.678 - f. Let x = -29 - z. Which is smaller: x or -2/5?
-2/5
Let a = 0.08 + -0.98. Let s = 58 + -57. Let f = s + a. Is f equal to -0.5?
False
Let o(n) = -n + 5. Let r be o(3). Suppose 22 - 18 = r*l. Which is greater: l or 4/5?
l
Let o = 19 - 65/3. Let n = -15952 - -15950. Is n at least o?
True
Suppose 3*y = y + 2*h + 18, -4*y + 36 = 3*h. Is 6 greater than or equal to y?
False
Let f be ((-168)/20)/((-52)/30) - 3. Is -2/7 greater than f?
False
Suppose -2*q + 3*m = -0*q - 16, 0 = -5*q - 2*m + 21. Let d be ((1/(-5))/(2/q))/(-2). Which is smaller: -8 or d?
-8
Let z = 102.9 - 103. Let x = -2/4955 + -59426/84235. Is x less than or equal to z?
True
Let u be (6/(-10))/(6/4). Suppose 0 = -5*f - 3*a - 326, -4*a - 3 = -4*f - 251. Let l be (-1 - 1) + (f/(-7))/4. Which is smaller: u or l?
u
Let u = -0.142 - 60.858. Let v = u - -59. Which is greater: 0 or v?
0
Let a = 17/36 + -1/4. Let n = 0 - -6. Suppose -q + n*q = 0. Which is smaller: a or q?
q
Let a = 908 - 11807/13. Which is smaller: a or 0?
a
Let t(r) = -2*r**3 - 21*r**2 + 8*r - 32. Let n be t(-11). Is -15/32 >= n?
False
Let v = 367.88 + -376. Let x = -1.42 - v. Let i = x + 1.3. Is -2/5 smaller than i?
True
Let o be (2/(8/(-25)))/((-7)/(-28)). Is o not equal to -22?
True
Let b(u) = -13*u + 1. Let q be b(-1). Let n(i) = i**2 + 1. Let g(v) = 5*v**2 + 13*v + 20. Let p(c) = g(c) - 6*n(c). Let t be p(q). Is -1/69 less than t?
True
Suppose -2*u - u = -p + 13, -4*u - 28 = 4*p. Let x be (28/(-12) + -4)*p - 3. Which is bigger: x or 11?
11
Let i be (1/2)/(14/(-8)). Let w be ((162/(-15))/3)/(1204/4220). Let m = w - -88/7. Is m not equal to i?
True
Let s = -689 - -689. Let c = -48 + 30. Which is smaller: c or s?
c
Let u = -30.47 + -1.53. Is -7 greater than u?
True
Let k = 13 + -10. Suppose 0 = -k*z + 3*r + 39, 2*r + 23 = 3*z + 3*r. Let t = z - 14. Is -11/2 at most t?
True
Let o = 50.753 + -50.3. Let h = o - -19.447. Let b = 20 - h. Which is smaller: -7 or b?
-7
Let a be (189/(-84))/((-1)/88). Suppose 11*r - 5*r - a = 0. Are r and 34 unequal?
True
Let p = -0.78 - -0.98. Which is smaller: p or -2/13?
-2/13
Let q(u) = u**2 + 5*u - 9. Let d = 2 + 9. Suppose 5*i - 24 = 2*x - 0*i, -5*i = 3*x + d. Let v be q(x). Is 4 at least v?
False
Let b = 77013/73 + -1055. Is 1/2 >= b?
True
Let m = -368 + 339. Let z be (-82)/3 + (-4)/6. Which is smaller: z or m?
m
Let h = 2132/36915 - 7/115. Which is smaller: h or 0?
h
Suppose -5*n + w - 2*w = 5, -2*n = -2*w - 10. Suppose 5*b - s - 8 = n, -b + 4*b + 9 = -4*s. Let o be (b/(-3))/(9/27). Is -3/10 less than or equal to o?
False
Let p be 1/(-5)*0 - -3. Let l be (-9)/6 + -4 + p. Is 1 < l?
False
Let j = -3.28 + 9.28. Which is greater: j or 5/12?
j
Let x(u) = -2*u - 2. Let b(r) = -r - 1. Let h(g) = -2*g - 2. Let n(i) = -3*b(i) + h(i). Let a(p) = -8*n(p) - 3*x(p). Let z be a(-5). Which is smaller: 6 or z?
6
Let h(o) = -o**3 + 20*o**2 - 19*o - 5. Let y be h(19). Let i be (-45)/y - (-2)/1. Is 0.2 greater than or equal to i?
False
Let k be (-14 - 289)*(-8)/(-12). Is -202 at most as big as k?
True
Let h(l) = l**3 + l**2 + l + 1. Let g(p) = -2*p**3 + 3*p**2 - 3*p - 7. Let a(u) = g(u) + 3*h(u). Let j be a(-6). Let d = -175 - -171. Does d = j?
True
Let f be 48/27*((-15)/36)/(-5). Which is bigger: 1 or f?
1
Let i = -0.18 - -4.18. Let g = -2.8 + 2.61. Let r = g + 0.09. Which is smaller: i or r?
r
Let j be (1 - (1 - 1)) + -114. Let n = j + 58. Let l = n + 1263/23. Is l less than or equal to 0?
True
Let s = -415 - -416. Is s > -36/7?
True
Suppose -5*a + 249 = 764. Let n =