 p?
True
Let n = 4.55 + 0.05. Which is smaller: n or -2?
-2
Let r(o) = -2*o - 6. Let f be r(-6). Let l be (3/f)/(1/34). Suppose -4*n = n - 2*p - l, 0 = 4*n + p - 24. Is n greater than 4?
True
Let q be (-9)/4 + 12/48. Let a = -14 - -16. Suppose 2*n + 12 = -2*n, 0 = -f + a*n + 5. Is q > f?
False
Let u(t) = -28*t - 140. Let h be u(-5). Which is smaller: h or -5/67?
-5/67
Let p(q) = -q**3 - q**2 + 94. Let a be p(0). Let t be (0 - -2) + (-190)/a. Which is smaller: 0 or t?
t
Suppose 45 = 8*l + 29. Suppose 1 = -2*i + 3, -4 = -l*r + 2*i. Are r and 54/13 nonequal?
True
Let u = 2 + -10. Let i = 21.1 - 126.1. Let l = i - -105.1. Are l and u unequal?
True
Suppose 9 = 5*f - 156. Let d be 4/(-22) - (-10456)/f. Let q = 313 - d. Which is bigger: -3 or q?
-3
Suppose -3*l + 3 = -2*l. Let p(g) = 5*g - 7. Let r be p(3). Suppose -k = -r + 6. Which is smaller: l or k?
k
Let w be (-48)/70 + 4/10. Let v = 30 - 33.2. Let r = -4.2 - v. Is r greater than w?
False
Let z = -1.5234 + -0.0766. Is z < -18?
False
Let c be 125/(-3)*-24*11/(-836). Which is smaller: c or -12?
c
Let f be (-1 + 2)*2/(-12). Let t(j) = j**2 + 2*j + 3. Let u be t(0). Suppose n + u = 2. Is f >= n?
True
Let t be ((-210)/(-9))/(-7)*12. Let j be (-141)/(-15) + 16/t. Which is bigger: 5 or j?
j
Let s(c) = -52*c + 132. Let u be s(-6). Which is bigger: u or 445?
445
Let l(p) = -16*p + 7 + 5*p + p**2 + 3*p. Let k be l(7). Is k greater than 2/43?
False
Suppose -2*p - 2*p = 2*l - 34, 0 = -2*p - 2*l + 18. Let g be (-4)/p - (-346)/(-4). Let r be (-3 - g/18) + 0. Which is bigger: r or -0.1?
r
Let g = 1601 + -1605. Which is bigger: -2/27 or g?
-2/27
Let l be (3/(-4)*-4)/((-2)/(-12)). Is 17 equal to l?
False
Let k(c) be the third derivative of -c**4/24 + 2*c**3/3 + 5*c**2. Let h be k(3). Let w be (1/5)/(5/2). Which is smaller: h or w?
w
Let l = -0.05 + 0.24. Let d = 1645 + -1573.9. Let r = -71 + d. Does l = r?
False
Let d(r) = -r + 1. Let x be d(1). Let v = 0.54 + 0.16. Let u = 3.7 - v. Is u greater than x?
True
Suppose h + 2*h - 30 = 0. Suppose -4*d + 2*d - h = 0. Let x be (-2)/d - (-1078)/(-70). Is x at least as big as -14?
False
Let y(q) = -q**2 + 9*q + 14. Let r be y(10). Let f = -4 + r. Suppose -5*c = -10, -6*c = 4*h - 2*c - 12. Is f >= h?
False
Suppose -2*x = 18*x + 3360. Is -837/5 equal to x?
False
Let j = 3.01 + -3. Let h = 0.04 + j. Let f be 4/(-9)*6 - -3. Which is smaller: f or h?
h
Let o = -71/4 + 10007/564. Which is greater: o or 0?
0
Let m = -3 + 7. Suppose m*g - 12 = 32. Let c be -1 - -1 - 24/(-2). Which is greater: c or g?
c
Let m = -0.03 - 1.97. Let q = m - 1. Let w = 225 + -227. Is w greater than q?
True
Let j(o) = -o**3 - 9*o**2 - 18*o - 1. Let s be j(-6). Is -6/35 equal to s?
False
Let q(x) = -x**2 - 31*x - 208. Let t be q(-17). Let k be 4/30 - 926/(-30). Is k equal to t?
False
Let u = 15.5 - -2.5. Let p = 0.27 + -18.37. Let i = p + u. Is 3 less than or equal to i?
False
Suppose 74*m = 88*m + 56. Is m >= 6?
False
Let j = 259 + -80. Is j != 179?
False
Suppose w = 89 - 77. Let u be (15/6 - 4)/((-3)/w). Is -5/2 != u?
True
Let v be 42*3 + 3 + (-12)/4. Let d = -1894/15 + v. Which is smaller: d or 1?
d
Let l be 22/143*(-3)/219. Is l at most 0?
True
Suppose 380*i - 374*i + 6912 = 0. Is -1152 less than i?
False
Let y(z) = -z**3 + 5*z**2 + z + 12. Let f be y(5). Are 16 and f equal?
False
Let h be (-35)/14*(-6)/15. Is h bigger than 1/56?
True
Let o = -1.279 + 0.179. Let m = -2 + 1.9. Let v = o - m. Is 1/2 at least v?
True
Let m be (336/(-45) - 12/(-15)) + 6. Which is smaller: m or 0?
m
Let v = 676 + -25014/37. Let a(n) = -n**2 + n + 56. Let f be a(-7). Which is smaller: f or v?
v
Let z be (5/(-3905))/(14/(-4) + 3). Which is greater: 0 or z?
z
Suppose 19 = -13*k + 45. Suppose -3*o - 3*h = 39, -3*o + k*o - 2*h = 12. Which is bigger: o or -16?
o
Suppose 10*j = 18*j + 24. Is -1 < j?
False
Let y(v) = -8*v**2 + 6*v**2 + 8 + 26*v + 5*v. Let l be y(15). Which is bigger: l or 22?
l
Suppose -21 = -5*t + 184. Let j = 40 - t. Is j <= 2?
True
Let u be 10/25*-10*(-21)/(-12). Which is bigger: -55/7 or u?
u
Let t be ((-13)/10)/((-40)/75). Do 1 and t have different values?
True
Let x = -1423 - -1367. Does x = -9?
False
Let b be 34/(-10) + 2 - (-8)/20. Which is smaller: b or -3/34?
b
Suppose -c - 7*i = -9*i + 1, 0 = -2*c - 5*i - 20. Is 0.9 not equal to c?
True
Let q be 6/(-27) + (-12)/(432/10). Are 2/541 and q nonequal?
True
Let c = 319 + -395. Which is smaller: c or -75?
c
Let b(n) = -3*n**2 + n + 1. Let p be b(-2). Let s = p + 8. Let w be s/(-12) + 8/(-12). Is 0 <= w?
False
Let h(o) = -o**2 + 6*o - 6. Let w be h(4). Suppose -2*r = -j + 15, r + 0 + 42 = w*j. Let k = j - 24. Which is greater: -1/36 or k?
-1/36
Let y = -32122/80475 - -44/111. Which is bigger: -1 or y?
y
Let z = -1.22 - -0.59. Let w = 0.6 + z. Let m = 5.97 - w. Which is smaller: -1 or m?
-1
Let z be (((-147)/70)/(-21))/((-14)/(-6)). Is z >= 1?
False
Let m = 19 + -28. Let n = m - -9. Suppose n = -0*s - 4*s + 8, -2*y + 2*s - 6 = 0. Is -2 > y?
False
Let h = 3 - -1. Suppose 0*z - 2 = -z. Suppose 2*t + 5*n = -z, t - h*n = 5*t + 4. Which is smaller: t or 1/4?
t
Let t = 6 - 1. Let f = -12 + t. Let q(v) = v**2 + v - 6. Let b be q(0). Is f greater than b?
False
Let f be 88/14 - (-12)/(-42). Which is smaller: 5 or f?
5
Let s(t) = 2*t**2 + 13*t + 38. Let c be s(-4). Which is smaller: 12 or c?
12
Let p = -1 + 1. Let a = 1/34 - -229/306. Is p at most a?
True
Let d(a) = 2*a + 3. Suppose 0 = 11*n - 8*n. Let j be 2 + n + -2 + 1. Let f be d(j). Which is bigger: 7 or f?
7
Suppose o + 0*o = 1. Suppose -3*q + n - 16 + 19 = 0, -q + 2*n = -11. Which is smaller: o or q?
q
Suppose 25 - 13 = -3*a + 3*k, -3*a = -4*k + 15. Let f be 3/(-5) - (-2)/(-5). Is f not equal to a?
False
Let m be 30/(-75) - (-2991)/15. Which is bigger: m or 201?
201
Let a = -4715.8 + 4716. Let f(y) = -y**3 - 7*y**2 - 5*y + 5. Let s be f(-6). Let p be s/3 - (-21)/45. Is a equal to p?
False
Let g = -45 + 45.1. Which is smaller: -0.432 or g?
-0.432
Suppose k - 296 = -3*u + 59, u - 129 = 5*k. Which is greater: u or 118?
u
Let r(g) = -2*g**2 + 6*g - 6. Let b be r(4). Let k be (-2)/2 + b/(-7). Let d be 10/(-45)*(-6)/4. Which is smaller: d or k?
d
Let g be 1 + (-11)/(3476/(-984)) + -4. Is g <= -1?
False
Let w = -17.16 - 8.84. Is w >= -6?
False
Let k be 4/8*24/15*-5. Let g(w) = -7*w - 35. Let l be g(k). Is l equal to 3/7?
False
Let s(x) = -156*x**2 - 9*x + 4. Let h be s(-1). Which is greater: -142 or h?
-142
Let d = 64 - 46. Let k = d - 17.9. Which is greater: k or -0.2?
k
Let y(j) = -3*j**2 + 5*j - 22. Let b be y(-6). Which is smaller: b or -161?
-161
Let u be 9/4 + 5/(-20). Suppose u*m = 4*m. Let y be -1*m*(-2)/(-4). Does -1 = y?
False
Let x(u) = -u**2 - 4*u + 32. Let n be x(-8). Do -0.16 and n have different values?
True
Suppose 396 - 1021 = 5*o + 4*u, 5*o + u + 640 = 0. Are o and -129 equal?
True
Let b be -3 + 3 + 1 + 2. Let k be (b/21)/(90/(-3493)). Let r = k - -2/45. Is -6 != r?
True
Let d(k) = k**3 + 6*k**2 + 2*k - 10. Let n(q) be the second derivative of -q**5/10 + q**4/3 - q**3/2 + 8*q. Let y be n(2). Let o be d(y). Is -21 greater than o?
True
Suppose -4*k + 5 = -3*k + w, 0 = -5*k + 2*w + 11. Let d = 0 + k. Is d greater than or equal to 3?
True
Let b = 61/18 + -10/3. Is 1 bigger than b?
True
Let d(a) = 12*a**3 + 2*a**2 - a - 3. Let w be 11/(-33) + 4/(-6). Let q be d(w). Is -10 at most as big as q?
False
Let q = -214407/218 - -1967/2. Is 1 equal to q?
False
Let g be -2 - 11 - 1 - -1. Let q be (-15)/g - (-1 + 2). Is -1 bigger than q?
False
Let t be 1/((-6)/1356*2). Is t > -114?
True
Let y = -81 + 83. Suppose 0 = y*s + a - 5, a - 2*a = -4*s + 19. Which is bigger: 2/7 or s?
s
Let t = -18983/40 + 2356/5. Let b = -15115 - -15112. Is b at least t?
True
Let k(o) = -o**3 - 12*o**2 - 13*o + 3. Let x be k(-11). Let u = -25 + x. Which is smaller: 1 or u?
u
Suppose -u - 610 = -2*j - 2355, 5*u - 5*j = 8750. Let d be 3 - 3/(u/1745). Is d at most -1?
False
Let g(s) = s**2 + 19*s + 41. Let x be g(-13). Is -14 at most as big as x?
False
Let h = 183 - 190. Which is bigger: 12 or h?
12
Suppose 2*a - 3*a + 17 = 4*c, -4*a + 16 = 3*c. Let n be 6 + (-4088)/(-24) + (-2)/(-3). Let d = -1592/9 + n. Is d at least a?
False
Suppose 4*p - 41 - 7 = 0. Suppose -4*z + 3*a + 15 = 0, -p = -z + 4*a + 8. Let q be -1 + 1 - 2/(-30). Is z less tha