t v be (84/15)/(12/30) + 1. Is v greater than c?
True
Let m(y) = 14*y - 2. Let s = 8 + -11. Let l be m(s). Suppose 0 = -32*r + 110*r + 3510. Is r at most l?
True
Let b(k) = -k**2 - 3*k + 59. Let v be b(6). Suppose v*p - 2*u - 2*u - 261 = 0, -5*p = -2*u - 253. Is 49 <= p?
True
Let v be ((-14)/50)/(34 + -12). Let q = -11763/550 + v. Which is smaller: -20 or q?
q
Let h(b) = -444*b - 922. Let w be h(-14). Do 5295 and w have the same value?
False
Let g(d) = -2*d**3 - 21*d**2 + 154*d + 1573. Let s be g(-11). Is s >= 53/401?
False
Let h = -285 - -280. Let i = -14133 - -8001. Let y be 2/15 - i/(-1440). Which is greater: y or h?
y
Let g = 32 + -19. Let q be 26/507 - 2/g. Let o = 98/195 + q. Is o < -0.3?
False
Let g = 1039699 + -161153994/155. Let c = 508708/155 + -3282. Let v = c + g. Is -4 less than or equal to v?
False
Suppose 3*x + 3 = 3*r, 8*x = 7*x - r - 3. Let b be 3/5*x*(7 + -12). Which is greater: b or 4?
b
Let q be (-6 + 1 - 3) + 5. Let k be ((-9)/(-6))/(-2*q/36). Suppose 0 = k*u + 91 + 170. Is -29 smaller than u?
False
Let c be (-1054)/51*528/28. Are c and -390 non-equal?
True
Let w = 31899 - 140387501/4401. Which is bigger: 1 or w?
1
Let x = -236.792 + -12.208. Which is smaller: x or -0.32?
x
Let q be (3/(-9) + (-56)/(-6))*3. Suppose q*d + 563 = -1111. Is d at most as big as -59?
True
Suppose 7 = 3*f + f - s, 0 = 5*f + 5*s - 40. Suppose -r = f - 5. Let w be (5/r)/(1/(-2)). Which is greater: -1 or w?
-1
Let o be (1 - (-36)/(-39)) + 48/52. Is o equal to 3/550?
False
Let z be ((-9)/12)/((-18)/(-156))*14. Let a = 38 + -38. Is a > z?
True
Let c be ((-46605)/120)/(-13) - 2/(-16). Let a be (-117)/(-39) - 136/(-5). Which is smaller: c or a?
c
Let d be (-8 - 0)*((-444)/(-16))/(-3). Which is greater: 27 or d?
d
Let q be (8*(-9)/(-240))/(126/2362). Let v be -2 + (-234)/(-28) + -1. Let r = q - v. Is 1 != r?
True
Suppose 14*h = 9*h - 155. Let m = 132 + h. Which is smaller: m or 102?
m
Let d(x) = -4*x**3 - 19*x**2 + 6*x + 6. Let n be d(-5). Let f be (0/n)/(7 - 4). Is -2/237 equal to f?
False
Suppose -3*n + 2*r - 2 = 0, -3*n + 0*r = 3*r + 12. Let k = -183 + 197. Suppose k*q = -56 - 84. Is q <= n?
True
Let h = 4481 + -6785. Let f = 4473/2 + h. Are f and 0 unequal?
True
Let s be 4/10 - 105/75 - 31. Let a be 177/118 - (-46)/s. Is -1 equal to a?
False
Suppose 0 = 3*q - 6*q, -5*q - 18 = 3*t. Let x be t/9*(135/(-21) + 6). Which is greater: -170 or x?
x
Let a = 21863/4495 - 13902/899. Let z(s) = -s**2 - 6*s - 1. Let i be z(-5). Let p be (i/(-3))/(1/9). Which is smaller: a or p?
p
Let k be -3 + 206/(-178) + 2. Which is greater: k or -3?
k
Let p(z) = 21 - 78*z**3 + 2*z**2 + 77*z**3 - 1 + 8*z**2 - 11*z. Let h be p(9). Suppose 2 - 6 = -2*v, h*f = 2*v - 68. Is f less than -31?
True
Suppose 0 = -16*g + 134 - 3094. Let w = 184 + g. Is -5/21 smaller than w?
False
Let c = 9513 - 9514. Let w = -11.15 - -0.15. Let p = w + 6. Which is greater: p or c?
c
Let b be (-2)/(-4)*9/(-30). Let f(w) = -4*w + 19. Suppose 0*m - m + 5 = 0. Let q be f(m). Is b at most as big as q?
False
Let d = 9 - 5. Let t be (66/(-110))/(1/(-20)). Suppose -t + 8 = -d*b. Is b less than -1/9?
False
Let c(h) = 2*h + 21. Let b be c(9). Let k = b - 34. Let w be (3/k)/(-7 - -8). Is 1/3 at most w?
True
Let k = -2925 + 2924. Is k at least 8/165?
False
Let a = -1354/3825 - -56/425. Which is bigger: a or -0.121?
-0.121
Suppose -3944 - 698 = -148*t - 498. Does 229 = t?
False
Let f be (-21717)/(-7245) - (-1 - -3 - -1). Is 1 greater than f?
True
Let x be (0 - -17)/(-4 + 1246/(-7)). Let m = 25303/2002 + x. Does 12 = m?
False
Suppose -3132 = 34*c - 40*c + 6978. Is 1683 at least c?
False
Let d = 1166948/9 - 129518. Is d >= 143?
False
Suppose -3*w - 4 = 2*r - 47, 20 = 4*r. Let t be -2*(-30 - (6 - w)). Do 50 and t have different values?
False
Let b be 2*(-8)/10*(-11)/(-2). Suppose -3*a = 17 - 26. Suppose -a = -3*t, 0*c - 3*t = -3*c - 30. Is c < b?
True
Let c = -738176/7 + 105660. Let d = c + -207. Suppose 9 - 13 = 2*k. Is d <= k?
False
Let s = 57535/2827 - 224/11. Let x(w) = 19*w + 38. Let d be x(-2). Do s and d have the same value?
False
Let u = -1.92 - -1.929. Let o = -30.961 - -31. Let n = o - u. Which is smaller: -0.4 or n?
-0.4
Let p(x) be the third derivative of -5*x**4/12 + 49*x**3/3 - x**2 - 41*x. Let c be p(6). Is c != 38?
False
Let l(o) = 3*o - 2. Let b(t) = -22*t - 147. Let j(f) = -b(f) - 3*l(f). Let z be j(-23). Is z bigger than -293/2?
True
Let y = 16491/8 + -2064. Let h(z) = -7*z - 3. Let d be h(-1). Let c be -5 - (d + -5 + 0). Is c less than y?
True
Let h(t) = -69*t - 925. Let d be h(11). Which is smaller: -1678 or d?
d
Suppose 52*v - 55*v - 25917 = 0. Let p be (v/1113)/((-2)/7). Which is smaller: 27 or p?
27
Let h = -0.055 + 0.06. Let p = -11456 - -11455.4. Is h less than p?
False
Suppose -j - 5*z + 7*z = 54, -3*j = 7*z + 201. Let s be 412/j - 2/15. Let b = -2.4 + 3. Is b < s?
False
Let b = -128 - -197. Let q be b/(-21) + 3 + -2. Suppose -612*d - 304 = -764*d. Are q and d non-equal?
True
Suppose -17*n = -40*n + 46. Suppose -2*s - 66 = n*p - 238, -4*p = -5*s + 385. Which is bigger: 79 or s?
s
Let p = 457/3 + -150. Suppose 3*t - 2890 = 2*x, 5*x - 423 = -t + 512. Let a be (t/450 - 2/15)/6. Are p and a equal?
False
Let h = 37337/807765 + -16/343. Which is smaller: -1 or h?
-1
Let v = 0.687 - 0.573. Let x = 0.114 - v. Which is smaller: 1/179 or x?
x
Let y = -7809910 - -15001199. Let t = y - 589614605/82. Let q = 867 - t. Which is greater: 0 or q?
q
Suppose -5*s - 6 = -7*s. Suppose -2*x + 3*c - 71 = 0, s*x + 173 = -2*x + 3*c. Let n = x + 35. Which is bigger: n or 6/11?
n
Let k = 76 - 73.48. Let p = 1.82 - k. Let s = -4228/15 - -282. Which is smaller: s or p?
p
Let i(t) = -11 + t**2 - 32 - 9 + t**3. Let h be i(0). Let j = 40 + h. Is j smaller than -12?
False
Let z = -1206 + 1207. Which is smaller: -18/65 or z?
-18/65
Suppose -3*h = 5*r + 164, -5*r + 505 = 5*h + 775. Let w = 59 - 109. Which is smaller: h or w?
h
Suppose -5*d + 7 = -2*m, -11*d - 2*m - 4 = -13*d. Which is greater: -2/7737 or d?
d
Let o be 4 - 2 - (-43 + -4 + 4). Let c be (-3)/(-14)*330/o. Suppose -6 - 4 = -5*q. Which is smaller: c or q?
c
Let b = -1.9 + 134.9. Let j = -374 - -513. Let p = b - j. Which is bigger: -0.06 or p?
-0.06
Let d = 8334 + -8338. Is 143/4 less than d?
False
Let g be 0 + 0 + 0 - 0. Suppose 0 = -x - 2, 7*o - x - 30 = 3*o. Let y be (124/(-186) - o/(-9)) + 1. Are y and g equal?
False
Let z(y) = -346*y**3 + y**2 + 24*y + 24. Let h be z(-1). Is 349 > h?
True
Suppose 5*q + 31*o - 59223 = 35*o, 0 = -3*q + 4*o + 35529. Which is smaller: q or 11848?
q
Let m = 34 - 33.48. Let b = 0.03 - m. Let u = 0.31 - b. Is 2/7 at least as big as u?
False
Let l be (-27)/72 + 17/((-408)/(-9)). Is l less than or equal to 8963?
True
Let w = 1 + -10. Let t be 151/(-196) - w/12. Which is smaller: t or 1?
t
Let u be (6431/1239 - (2 + 3))*(2 - 1). Is u less than or equal to 80?
True
Suppose 6424 = 105*p + 5570 + 27629. Is -245 < p?
False
Let m be (-11 - 0)*2/(-11). Suppose s + 4*s - 25 = 0, -m*k + 5*s = 107. Is -38 smaller than k?
False
Let f be ((-4)/7)/(25/(-35)). Suppose 14*j - j = 0. Suppose j - 7 = -l. Which is bigger: l or f?
l
Let n be (-20)/110 + (-510)/(-22). Let m = n - -8. Let q = m - -4. Which is greater: 36 or q?
36
Suppose 4*v - 61 = 39. Suppose o + 30 = 5*x, -11*x = -3*o - 9*x - v. Is -9 > o?
False
Let t be 2/((-6536)/(-914)) - (-26)/(-247). Let u = 1191/172 - t. Which is smaller: 8 or u?
u
Let o = 5775 + -5965. Is o > -183?
False
Let d be (150/15 + -13)*(-8)/12. Suppose -p - 5*m = -47, -p - p + 3*m + 42 = 0. Let t be (1 - 0)/(p/24). Which is smaller: d or t?
t
Let a be (-18)/110*2/(-6). Suppose 0 = -2*x - o + 21, 3*x + 7*o = -1 + 38. Suppose -m - 3*y = x, 5*m + 12 = -3*y - 2. Are m and a unequal?
True
Suppose 0 = -4*i - 8, -5*s + 5*i + 13 = i. Let j be (-8)/(-5334)*(-13944)/(-1328). Which is smaller: s or j?
j
Suppose 0 = 4*n + 7 - 27. Let d(s) = 2*s - 10 - 9 + 16 - 9. Let j be d(n). Is -6 < j?
True
Let l = 123 + -118. Suppose 10 = u - 5*r - 3, 3*r + 6 = 0. Suppose 5*q + 15 = -3*o, -l*o + u*q = -2*q - 15. Which is greater: o or -1?
o
Let b = 0 + 2. Let w = 417 + -355. Let m be b + -5 + w/16. Is m > 2?
False
Let p = 485 - 485. Suppose -y = -2*m - 63, p = -3*y - 0*m - m + 217. Do y and 72 have the same value?
False
Let f be (-2 - 2)*46/4. 