 Is t greater than or equal to m?
False
Let p(a) = -6*a**3 - 3*a**2 + a + 1. Let i be p(1). Let f be 386 - (i + 63/9). Which is smaller: -1 or f?
-1
Let a be (74 - 2) + (-11 - -8). Suppose -a + 13 = 7*v. Is v greater than -7?
False
Suppose 3*j = g - 5*g + 6*j - 4, 0 = -4*j. Is -20/403 less than g?
False
Let f be (-4)/(-12)*-8 + 3. Which is smaller: 1815 or f?
f
Let y be ((-294)/6)/7 - -502. Let n be (-4)/(-14) - (y/77)/(-9). Is -2/1573 less than or equal to n?
True
Let w = 14.038 - 14.038. Which is smaller: 2241 or w?
w
Let h(i) be the first derivative of 17*i + 22 + 1/2*i**2. Let p be h(-15). Which is smaller: p or 3/5?
3/5
Let h(c) = -11*c + 169. Let y be h(15). Suppose j + 0*f + 6 = 4*f, -y = 2*j - 4*f. Let k = 656/5 - 128. Is k less than j?
False
Let l be (26/(-6) - -4)*-3. Let b(o) = 12*o. Let m be b(l). Suppose 0 = -12*p - 0*p + m. Which is smaller: p or -1/51?
-1/51
Let h = 12195 - 12195. Is 1/2274 at least as big as h?
True
Let c = 1639/1064 + -17/152. Let n(j) = -10*j**2 + j + 1. Let r be n(-1). Let l be r/(-4)*(-10)/(-25). Is c at least l?
True
Let t(l) be the second derivative of -9*l + 21/2*l**2 + 0 - 2/3*l**3. Let f be t(7). Which is greater: f or -2?
-2
Let s be (-144)/3*5/(-4). Suppose -59*b - 31 = -s*b. Let d = -67 + 98. Do d and b have different values?
False
Suppose -3*j - 5*t - 116 = 0, -9*j - 3*t = -5*j + 162. Let s be (j/(-126))/(-2*1/36). Suppose 7 + 13 = -5*k. Is s at most k?
True
Let b be (467/(-2))/(7 - (-1336)/(-192)). Is b at least -5603?
False
Suppose -3 = 5*l - 23. Suppose 0 = -l*b - 3*s - 93, 3*s - 19 - 35 = 3*b. Is -2/15 less than or equal to b?
False
Suppose -4*p - 2*j - 71 = 63, 0 = 2*j - 10. Let b = 53 + p. Let f = -293 - -307. Is b bigger than f?
True
Let a = -1102359680/4117 + 267758. Which is bigger: 1 or a?
1
Let f(g) = 11*g**2 - 109*g - 1627. Let d be f(-15). Are 2484 and d unequal?
True
Let p = -36119/7 - -5140. Suppose 0 = -3*w + 5*u - 42 - 0, -4*u + 83 = -5*w. Do w and p have the same value?
False
Let z = -720.45 + 716. Let a = z - -4.5. Which is bigger: -0.05 or a?
a
Let j(w) = -2*w**2 + 180*w + 80. Let y be j(27). Is y at most as big as 3483?
True
Let r = -4.981 - -5.881. Is r bigger than -333?
True
Suppose -38 + 26 = -4*h. Let f be -3 - -2 - 3*h/(-12). Let o be (-1)/2 + 4/6. Is o greater than f?
True
Suppose 10*t + 5*y = 8*t - 59, 64 = -2*t - 4*y. Let v be (8/t)/((-138)/12719). Is v >= 17?
True
Let d = 7 + -9. Let m be (-10 - (3 + d))*-1. Is 12 at least m?
True
Suppose -5*c - 13*c = 1512. Let u be (-2)/c*23056/(-165). Let w = -8/63 - u. Is w less than or equal to 1?
False
Let z = -775 + 777. Suppose 3*y = 8*p - 10*p + 7, -2*p - 2*y = -z. Are -16/5 and p equal?
False
Suppose 5*w - 56*o - 4900 = -55*o, -3*o = -3*w + 2952. Is w greater than 979?
False
Let x be (-2)/(-144) - 0/1. Let s(q) = 10*q**2 - 2*q - 5. Let a be s(-1). Suppose -a*h + 12*h + 5 = 0. Which is bigger: x or h?
x
Let q = 12 + -8. Suppose 0 = -0*n - q*n + 8. Suppose -a - n*r + 10 = -6*a, 2*r = a - 6. Is a < -23/6?
True
Let p = 386/3 + -5164/15. Which is greater: p or -216?
p
Let u = 321/4 - 3499/44. Let x = u + -2/33. Is x less than -10/9?
False
Suppose -7672 = 23*s + 8336. Let l be s - (2 - 10/(-15)*-6). Which is greater: l or -693?
-693
Suppose -y + 90 - 94 = 0. Suppose 4*d = g - 22, 62 = 5*g - 0*g - 4*d. Suppose g*u = 7*u. Which is bigger: u or y?
u
Let r = 143.118 + -0.118. Let x = 102 - r. Let a = -40 - x. Are -1.7 and a unequal?
True
Suppose -t + v + 6 = 0, 2*t - t = -2*v + 3. Let h be (404/(-6))/((-140)/210). Let s = 106 - h. Is s less than t?
False
Suppose -3*f = 9, -4*m + 9 + 18 = -f. Let c = 74.483 + 1.817. Let o = -85.3 + c. Is o <= m?
True
Let x = 37877/75359 - 104/179. Is 1 < x?
False
Suppose -2*f + 547 = -5*l, -5*f - 82*l = -84*l - 1315. Which is smaller: f or 267?
f
Let x = 1058 - 1057.9. Let h = -1.08 + 0.6. Let y = h + 44.48. Which is smaller: y or x?
x
Let t be ((-3168)/(-112))/(-4 - (54/(-14) + 0)). Which is bigger: 1/6 or t?
1/6
Let q = 2.6 + -1.9. Let n = -1.65 + 0.85. Let t = n + q. Which is greater: t or 0.09?
0.09
Let v = -1/6788 - 20359/33940. Which is smaller: v or -31?
-31
Let b(h) = -2*h**2 - 5*h - 1. Let u be b(-2). Suppose -5*w = d - u, -3*w + 0 = d + 1. Is w bigger than 2/469?
True
Let p = -2666 + 2854. Which is smaller: p or 0.16?
0.16
Suppose s - 4*s = -y + 107, s = 2*y - 29. Let f = s + 76. Do f and 39 have different values?
False
Suppose 0 = -2*w + 6, 5*w = 4*s + 3*w + 2510. Let b = 188 + s. Which is smaller: -439 or b?
-439
Let t = 4/167 + 1658/501. Let z = 168005 + -168001. Which is smaller: t or z?
t
Let x(d) = -70*d - 7278. Let c be x(-134). Is c equal to 2102?
True
Let y be 605 - 3*16/24. Let z = -590 + y. Which is greater: z or 86/7?
z
Let c(x) = -10*x**3 + 172*x**2 - 45*x - 17. Let l be c(17). Which is smaller: -1027/5 or l?
-1027/5
Let z be (7 - -150183)/(-23) + 21. Is z != -6507?
True
Suppose -362 - 491 = -3*j + f, -f + 1427 = 5*j. Suppose -70*b + 71*b - 285 = 0. Is b != j?
False
Let w be (-234)/(-14) + 32/112. Suppose 0 = -42*r - w*r + 4779. Which is greater: 76 or r?
r
Let t(o) = -113*o - 2833. Let u be t(-57). Is u smaller than 3607?
False
Let q be ((-32)/28 + 0)*12/(-16). Is -5/4 at least q?
False
Suppose 0 = c - 5*v - 17, 5*c = 4*c + v + 1. Let u be ((-48)/40)/((-92)/(-30) + c). Is u bigger than 7?
False
Let i(l) = l**3 - 13*l**2 + 27*l - 21. Let s be i(11). Suppose -3*j = j - 3*c - 113, -3*j - c = -101. Let f = j - s. Is -24/7 < f?
True
Let h(n) = -86. Let v(q) = 2*q - 258. Let k(p) = -7*h(p) + 2*v(p). Let t be k(-20). Which is smaller: t or -30?
-30
Let d = 236/5 + -526/55. Which is smaller: 38 or d?
d
Suppose -3*w = 3*y - 12, 450 - 461 = -4*y - 3*w. Which is bigger: -6/41 or y?
-6/41
Let z be (((-192)/(-42))/(-8))/(2/(-14)). Suppose -39*y + 38*y + z = 0. Suppose -2 = 4*t + 5*u, -u = -y*t + 3*u + 16. Which is greater: t or -1/4?
t
Let t = -14.46 - -66.91. Let a = -52 + t. Let p = -0.4 + a. Which is smaller: -0.4 or p?
-0.4
Let j be (2152/(-2))/((-57)/(-228)). Let n = j + 21012/5. Is -101 < n?
False
Let n(q) = -5*q + 6. Let w be n(0). Let j be (w/(-18))/(((-532)/(-40))/7). Which is smaller: j or -1?
-1
Suppose 4*w = -y - 12, y + 3*w = 2*w - 6. Let f = -145 - -206. Let v = 58 - f. Is v != y?
True
Let s be 1/(37/(-105) + (-2)/(-5)). Suppose -m = 5*j + s, 3 = m - j - 6. Is m >= 4?
True
Let a be 70/(-30) + (-631)/(-228). Let d = -6919/532 + a. Is d at least -13?
True
Let t(b) = -b**3 - 5*b**2 - 6*b**2 - 21 + 5*b + 13*b**2 + 14*b. Let s be t(5). Let h = 362 - 3987/11. Which is greater: h or s?
h
Let a = -35.64 - -36. Let v = a + -0.305. Let j = -0.055 + v. Which is bigger: j or 0.22?
0.22
Suppose 5*w + g + 0*g = -75, -3*g = -15. Let p = w - -23. Let o(v) = 6*v + 15. Let n be o(p). Is 57 at most as big as n?
True
Let p = -806 + 302. Let q be 6*(-15)/p*(-12)/(-2). Let a = 9 - 8. Which is smaller: q or a?
a
Let o = -7359 - -7358. Let u be (-40)/(-12)*(-6)/(-4). Suppose 5*z - 15 = -5*b, 0 = -4*b + 11 + u. Is o at most as big as z?
True
Let c(o) = 119*o**2 + 1. Let m be c(1). Let x = -58863 + 411199/7. Let g = m + x. Is g < 3?
True
Let l be (-1)/(-3)*-2*(0 - 3). Let g be -20*((-3)/(-2))/1. Let o be l/3 + 3 + 86/g. Which is smaller: 0 or o?
0
Suppose 0 = 10*y - 15*y + 775. Let u = y - 6353/41. Let b = 182 + -183. Which is bigger: b or u?
u
Suppose 5*g = 4*g. Let q be (-8944)/2528 - (-84)/24. Is g != q?
True
Suppose -6*q + 13 = -5. Let n be 2*q + (-13 + 8 - 0). Which is greater: n or 2?
2
Let b = -234035 + 233971. Let k(l) = 16*l - 1. Let d be k(-4). Do b and d have the same value?
False
Suppose -4*j = -80 - 68. Let l = j + -5. Let u = 76 + -43. Do l and u have the same value?
False
Let q = -6844 + 7238. Does q = 384?
False
Suppose -m - 4*f + f = 0, m = -2*f - 4. Let v(u) = -3*u + 15. Let r be v(4). Suppose 7*l + 18 = -r. Which is greater: l or m?
l
Let z = -7841 - -7842. Is z < -1/4804?
False
Let c = 68 - 27. Let o = c + -75. Suppose 0 = 4*w + 56 + 80. Is w greater than o?
False
Let s(c) = -c**3 - 2*c**2 + 9*c + 5. Let w be s(-6). Suppose 38*k + w = 19*k. Suppose 4*m = -11 - 9. Is m greater than or equal to k?
True
Suppose 2160 = -25*m + 97*m. Is 4 at most as big as m?
True
Let y = -0.18 - -59.18. Let u = -0.38997 + -1.61003. Which is smaller: u or y?
u
Suppose -5*b + 65*j - 1265 = 64*j, 5*j = 