
Let c(y) = 155*y - 1593. Let j be c(10). Which is bigger: j or -36?
-36
Let v = -1 - -1. Let n = 589 + -551. Let l be -3 + 817/n*(-1)/(-7). Which is bigger: v or l?
l
Let s be (717/(-357) - -2)*(-22)/(132/15). Is s less than or equal to 0?
False
Let d be (-246)/22 + 50/275. Let f be 2 + 0 + (-74)/6. Let z = f - d. Is 0.8 greater than or equal to z?
True
Let d be (-336)/60*10/((-4)/(-2)). Let b be -1*(-49)/d*16. Which is bigger: b or -25?
-25
Let j = 31 - 21. Let d = j - 4. Let t(g) = -g**2 - 88*g - 839. Let m be t(-11). Which is smaller: d or m?
d
Let l = -0.131 - 162.269. Let s = l - -159. Is -0.2 greater than s?
True
Let g = -321 - -471. Let l = g - 3448/23. Let n be 1*-1*(3 - 2). Which is greater: l or n?
l
Let u be -4 + -28 + -2 + 4. Let b = u + 32. Suppose -28 = -12*j + 8. Is j greater than b?
True
Let t = -15.42 - 0.58. Let r = 0.2 + 5.8. Which is smaller: t or r?
t
Let u = -34.3134 - 8.745. Let m = 0.0584 + u. Let s = 2.1 + -2. Which is greater: m or s?
s
Suppose 4*u + 160*k - 155*k - 360 = 0, u - k = 99. Suppose 0 = 5*a + o - 486, -191 = -5*a - 5*o + 299. Which is smaller: u or a?
u
Let f = 0.3851 - 0.4751. Which is smaller: -0.099 or f?
-0.099
Let d(l) = l**2 - 45*l - 1537. Let i be d(0). Which is smaller: -7684/5 or i?
i
Suppose 2*t - 151 = 57. Let l be 2*1 - (-13)/(t/(-56)). Let g be (-17)/4 - (-2)/8. Is g bigger than l?
True
Let t be (10007/5)/(78/(-15)). Let p = t + 385. Is -1 at most p?
True
Let f = 2536.1 + -2531.7. Is 18/53 greater than f?
False
Suppose 153*j - 15 = 148*j. Let s be (-21)/63 - (-4)/j. Which is greater: 2/925 or s?
s
Let u = -28867.8 + 28868. Is -10603 smaller than u?
True
Suppose 0 = 4*a + 4*d - 56, d + 20 = 2*a - 20. Are 8 and a equal?
False
Let d be 34/8 + (-311)/1244. Which is bigger: 120/23 or d?
120/23
Suppose -98*s + 55 = j - 96*s, 2*j + 2*s - 104 = 0. Which is bigger: j or 1226/25?
1226/25
Let w(v) = v**3 - 14*v**2 + 10*v + 38. Let r be w(13). Let b be 132/(-22) - (12 - r). Suppose 0 = 4*n - n + 54. Which is bigger: n or b?
n
Let x = 11123038/55 + -202248. Let f = -57/5 - x. Which is greater: 4/5 or f?
4/5
Let v = 0.04 + 0.148. Let r = v - 0.088. Is r at least as big as 65/6?
False
Suppose 5*n + 62 = -2*v + n, 0 = 2*v - 3*n + 20. Is -504/25 less than or equal to v?
True
Let t be ((-38)/(-10))/(9/15). Let y be 6 - 11 - 5/(-5)*1 - -10. Is t != y?
True
Let h(u) = -u**2 - 110*u + 110. Let o be h(-111). Is o at least as big as 7/80?
False
Let n = 4184 + -4246. Which is bigger: -51 or n?
-51
Let y = -453 + 468. Let z = -21 + 19. Which is smaller: y or z?
z
Let k(p) be the first derivative of p**3/3 - 2*p**2 + 4*p - 16. Let b be k(4). Let u = 3 - b. Is u >= -1.2?
True
Let y be 8/20 - (-1056)/(-1140). Suppose 3*v - 4 + 2 = i, 0 = -i - 5. Which is bigger: v or y?
y
Let n be (2/(-15) - ((-13610432)/(-330))/32)*29. Which is smaller: n or -37382?
-37382
Let r be 7*(-13)/(-13)*5. Which is bigger: 3 or r?
r
Let g = 15.75 + -16. Does -2/29 = g?
False
Let y be -3 - ((-1641)/(-15) - 14/35). Let t = y + 111. Let u be 38/475 - (-148)/25. Is t > u?
False
Suppose 4*x + 38 = 2*m, -16 + 32 = -4*x. Suppose m*c - 846 = 29*c. Suppose 228 = -4*u - u - 3*z, 4*z = -2*u - 94. Is u at least c?
True
Let j be 48/(-56)*1/(-10). Let w(k) = 19*k**2 - 96*k + 4. Let h be w(5). Is j less than h?
False
Let h = -52 + 75. Suppose -20*w = -h*w. Let r be (6 + w)/(15 - 13). Which is greater: r or 0?
r
Suppose 0 = 3*p - 5*x - 179, 0 = -x + 1 + 4. Let j(z) = -2*z**3 - 6*z**2 + 17*z + 53. Let g be j(-5). Are p and g nonequal?
False
Let v = -2951597 - -21148192577/7165. Let f = v - -12293916/121805. Let y = f - 101. Which is smaller: y or 2?
y
Let q be (124296/28*7/4)/(25/(-50)). Is -15537 greater than q?
False
Let g = 3.5 - 31.5. Let q = g - -28.8. Let m = -0.6 + q. Which is bigger: 2 or m?
2
Let o = -6641 - -6617. Is o less than or equal to -468/19?
False
Suppose -2*a = 4*l - 68, 0*l = -3*l - 5*a + 51. Suppose 3*b - l = -t, 6 = -5*t + 1. Suppose 72 = 104*j - 92*j. Is j at most b?
True
Suppose -k + 112 = 4*i, 252 = -3*k + 5*k + i. Let r = -129 + k. Is 237 less than r?
False
Suppose -v + 75 = 2*l, 148 = 5*l + 5*v - 22. Which is bigger: 39 or l?
l
Suppose -6*n - 24 = 0, -2*i - 22*n = -26*n + 6442. Is -3229 at most i?
True
Let b = 523 + -522. Let n be 141/(-174) + 2/4. Do n and b have different values?
True
Suppose 5*o - 14 = x, -33*x - 22 = -30*x - 5*o. Is -122/27 bigger than x?
False
Let j = 868 + -871. Let q be -4*j/(-27) - (-17970)/39825. Is 1 < q?
False
Let a = 373.9829 - -0.0171. Let y = -373.9 + a. Which is smaller: y or 3/13?
y
Let s = -1151621/23 - -50071. Let i be 0 + (-4)/(2 - 4). Which is greater: s or i?
i
Let m = 172.74 - 174. Let i = 22.74 - m. Is -0.4 less than i?
True
Let f(i) = -i + 4. Let r be f(-3). Suppose -7*w - 160 = -12*w - 5*l, -2*w + 64 = -5*l. Suppose -17 = r*a + w. Which is greater: -6 or a?
-6
Suppose -97*c + 179*c + 11972 = 0. Is c at most 6?
True
Suppose -2178 = 2*f - 2184. Let m = -0.4 - 0.1. Which is smaller: m or f?
m
Let n(r) = -2*r**2 - 24*r - 24. Let j be n(-1). Let u = -1.2 - -7.2. Let b = -5.87 + u. Are j and b equal?
False
Let i = 50 + -50. Suppose i = 2*q - 0*q - 46. Let n = 3.59 - 3.79. Which is bigger: q or n?
q
Suppose 2*f - 465 = 27*z - 32*z, -900 = -4*f - 4*z. Suppose 40*d + f = 60*d. Is d at most 12?
True
Let o be (-9)/12*64/(-48). Is -7/169 >= o?
False
Let j(z) = -5*z**2 + 2*z - 27. Let p be j(-13). Let c = p + 17949/20. Is c at least -1?
True
Let d = -15 + 18. Let a(q) = -q**3 + q**2 + 52*q - 42. Let r be a(7). Which is greater: r or d?
r
Let w = 7169 - 5319397/742. Let t be (-8)/(-52) - 8/52. Is t at most w?
True
Let a = 484037/2246 + -12/1123. Let j = -3851/18 + a. Which is smaller: 1 or j?
1
Let r(p) = 8*p + 119. Let a(y) = -17*y - 240. Let g(d) = -3*a(d) - 5*r(d). Let k be g(-10). Which is smaller: k or 10?
10
Let l(h) = -h**3 - 4*h**2 - 4*h. Let z be l(-3). Let g(k) = -3*k**3 - 13*k + 0*k**z - 22 - 19*k**2 + 2*k**3 + 7*k**2. Let o be g(-11). Is o smaller than 0.05?
True
Let z(q) = -q**2 - 4*q - 4. Let m be z(-3). Let r be (-28)/(-6) - (-19496)/(-4176). Is r at most as big as m?
False
Let a be ((-100)/(-16) - 6) + 1/(-4). Let b = -86 - -82. Let k be (-5)/(((-70)/b)/(-7)). Which is greater: k or a?
k
Let d = 103 - 86. Suppose -2347 = -d*v + 135. Let g = -1895/13 + v. Is -1 at most as big as g?
True
Let y be -10*(12 + 759/(-55)). Let g = -15 - 4. Let s = y + g. Is s greater than or equal to -12/13?
False
Let j be (-8)/(-6) - (-2 - -3). Let b = 15471 - 15477. Does j = b?
False
Let s = 91.2 - 47.2. Is 2/21 equal to s?
False
Let x(q) = 39*q - 3. Let f be x(3). Suppose -5*w - f = -7*w. Let y = w - 74. Which is smaller: y or -18?
-18
Let x = 770 - 627. Let c = -154 + x. Which is smaller: c or 10?
c
Let u = 85 - 128. Let c = 35 + u. Let i = -90/11 - c. Which is greater: -1 or i?
i
Suppose -4*q = -2*q + 48. Let z = q - -24. Suppose -o + 7 = -z*o. Which is bigger: 9 or o?
9
Suppose 29 = 3*b - 469. Suppose 4*x + b = 5*p - 10*p, 4*p + 164 = -4*x. Do x and -39 have the same value?
True
Let y = 2 - 0. Let o be (y/(-5))/((-4)/(-20)). Let f(v) = -v - 6. Let c be f(o). Are -2 and c equal?
False
Let c = -6.3 - -5.3. Let u = 28 + -33. Let j = 20 + u. Which is bigger: j or c?
j
Let w be 4821/31590 - (168/(-91) + 2). Let j = w - -18233/6480. Is 4 at least j?
True
Let x(d) = 6*d + 2. Let k(n) = 2*n + 46. Let r be k(-24). Let w be x(r). Let p be (w - -6 - (2 - 5))/3. Is 0 bigger than p?
True
Let h = -23.834 + -0.166. Suppose 6*r + 25 = r, 3*z = 4*r + 26. Which is smaller: z or h?
h
Suppose -12 = 2*t - 6*t. Let p = -88 + 46. Let i = p - -43. Which is smaller: i or t?
i
Suppose -4*o - 4 + 8 = 0. Suppose 4*x = -3*u + 9, 3*x + u - 7 = o. Suppose -x*s - 1 = -22. Is s not equal to 7?
False
Suppose -z - 5*c - 27 = 0, 5*z - 5*c + 15 = -0. Let p(y) = 3*y**2 - 3*y - 10. Let j be p(3). Let n be 4/j*24/(-2). Is z bigger than n?
False
Let s = 152.7 - -962.3. Which is smaller: s or 4?
4
Let s = -2.49 - -2.403. Let h = 0.013 - s. Which is greater: h or 11?
11
Let y = 3472 - 3488. Which is greater: y or -2/21?
-2/21
Let l(n) = 2*n**2 + 14*n + 26. Let d be l(-20). Which is smaller: 539 or d?
539
Let v(x) = -3*x**2 - 17*x + 1311. Let s be v(-23). Let r = -3.1 - -3. Which is smaller: s or r?
r
Let l be 1/(-2 - 65/(-35)). Let f(u) = 10*u +