 29 - y. Let l = -2.092 + 0.092. Which is smaller: s or l?
l
Let o be 8 + (-339745)/98 + (-10)/14. Is o not equal to -3460?
True
Let f = -470.0487 + 470. Let h = f - 22.9513. Are h and -0.1 nonequal?
True
Suppose -57*i = -4*i + 2*i - 6380. Which is smaller: 152 or i?
i
Let n(t) = 11*t. Let y(d) = 10*d. Let i(s) = 5*n(s) - 6*y(s). Let w be i(-4). Suppose -3*k = 0, 5*k = 2*x + 2*k - w. Is 3 > x?
False
Suppose -265*o + 648564 + 189020 - 162894 = 0. Which is smaller: o or 2544?
2544
Let k be -15 - (-8 - 4) - (-3770)/6. Let i = -625 + k. Let m = -2 - 0. Which is smaller: m or i?
m
Let v be 35/((-525)/10) + 2896/(-3). Is -976 greater than or equal to v?
False
Let l = -151 - -91. Let j = 29 - l. Let i = 89.051 - j. Which is smaller: -1 or i?
-1
Let k = 5144 - 5152. Which is smaller: k or -227/4?
-227/4
Let c = 214.283 - -3.118. Let f = c + 0.599. Is 0.2 < f?
True
Let n(a) = a**3 + 7*a**2 - 8*a + 2. Let t be n(-6). Let c = -202122 + 202209. Is c greater than t?
True
Let y = 259 - 283. Let d be (-9)/6*y/(-36). Which is smaller: 2/11 or d?
d
Let w = -51777 + 17034653/329. Is -1 bigger than w?
False
Suppose 11*k - 241 = 45. Suppose -7*s = k - 5. Which is smaller: s or -1?
s
Let n be -14*((-9)/6)/(-1). Let v = 67 - 65. Let a be (v - (-111)/(-6))/((-15)/(-20)). Is n greater than a?
True
Let z = 2 + 4. Let q = -14.6988 - -1.6988. Which is smaller: z or q?
q
Let y be (80/24)/((-2)/(-3)). Suppose -2*m + 3*m = 4*o + 24, y*m + 5*o = 170. Suppose -5*t = 5*r + 50, t - 6*t + 4*r - m = 0. Is t less than or equal to -3?
True
Let i = -81 - -119. Let p = i + -34. Suppose -6 = p*d - 134. Which is smaller: 31 or d?
31
Let v(a) = -3*a + 27. Let r be v(8). Let m = 2 + r. Let s be (0 - 5/m)*1. Is 1/5 bigger than s?
True
Let c be (729/(-12))/((-24)/(-128)). Let d be (9/c)/((-3)/9*4). Is 1 greater than d?
True
Let i(q) = 2*q**2 + 5*q - 32. Let u be i(-6). Let l be (u - 364/39) + (-4)/6. Which is smaller: l or 4/41?
l
Let x = 77 - 24. Let s = x - 49. Suppose -8*d - 8 = -3*d + 4*r, 2*r + 4 = s*d. Which is greater: d or -6/13?
d
Let o = -94 + 51. Suppose 0 = 3*z, -p - 104*z = -103*z + 42. Is o greater than or equal to p?
False
Let r = -42.01 + 27.71. Which is smaller: r or -8?
r
Suppose -82 = g + 89. Let f = -1049 - -879. Is f <= g?
False
Let t = -57954687/303550 - 1/23350. Are -191 and t non-equal?
True
Let o = 5 + -6. Let w be ((27 - o) + 1)/1. Let z(c) = -2*c**3 + 18*c**2 + 24*c - 186. Let f be z(9). Which is smaller: f or w?
w
Suppose -4*g = -671 + 207. Let t = g + -99. Which is greater: -2 or t?
t
Let d be (5 - (-217)/(-44))*(-1030)/15. Let u = d - -10653/2266. Is u equal to 0.2?
False
Let o(q) = -30*q**2 - 6*q + 8. Let k be o(1). Let y = 30 + k. Which is smaller: -33 or y?
-33
Suppose -4*w = 5*l + 25, 0 = -4*l - 5*w + 10*w + 21. Let v be 23050/20*(-79)/(-80). Let d = v - 1138. Which is smaller: l or d?
l
Let q = 1.952 - 2. Let n(u) = 11*u - 341. Let x = 473 - 442. Let d be n(x). Which is smaller: q or d?
q
Let r = -92 - -138. Suppose 5*j - r = 39. Suppose -3*m = -2*m + o - 14, 0 = -2*m + 4*o + 34. Which is greater: m or j?
j
Let b = 2667 - 2665. Which is smaller: 83/28 or b?
b
Suppose -4*v - 100 = v + 5*j, -4*j = -3*v - 95. Let h(l) = -3*l - 71. Let d be h(v). Let s = -7 - -11. Is s at most as big as d?
True
Let y = 1156.6 - 1147. Let k = 41 + -35.4. Let b = k - y. Is 0 >= b?
True
Suppose 0 = 5*w, 3*w - 105 = -6*l + 3*l. Let t be (-7)/(l/150) - -3. Let z be -2 - (t/12 + -1). Which is greater: z or 2?
2
Suppose 494*j = 528*j - 4794. Which is bigger: 30 or j?
j
Let r = 480 - 486. Let h be (-2)/r*(2 - 369/171). Suppose 6 = -w - 2*a, -w - 4*a - 12 = -4*w. Is h >= w?
False
Let k(w) = -26*w**2 + 4108*w - 279. Let u be k(156). Are 7833 and u unequal?
False
Let p(c) = c**2 - 9. Suppose 4*l - 11 = 3*w, 0*l + l = -4*w - 2. Suppose 4*m + 2 = l. Let r be p(m). Which is greater: r or -7?
-7
Let v be (-2)/(-602)*(-74)/148. Which is bigger: 1 or v?
1
Let r = 24351.38 - 24353. Which is smaller: r or -9/7?
r
Let f = -356 - -326. Let q be ((-25)/f)/((-112)/(-6)). Is -1 at least q?
False
Let q = 2724619/12 - 226849. Is 203 greater than or equal to q?
True
Let y = -7472 - -6514. Which is greater: y or -961?
y
Let f be (-3)/2*42/(-9). Let u(h) = -h**2 + h + 59. Let s be u(8). Are s and f unequal?
True
Suppose 22*h - 26*h + 152 = 0. Let l be -7 + 5 + h/25. Is l < -1?
False
Let w = 23.919 + 144.081. Is -2 < w?
True
Suppose -h - 124 = -5*h. Suppose w - 90 = 5*x, -h = -3*x + 2*w - 92. Suppose 585 = -261*n + 222*n. Which is smaller: x or n?
x
Let k = -93 + 97. Suppose h = k*o - h - 4, -3*o = 5*h - 3. Which is smaller: o or -18?
-18
Let m be ((-183200)/(-28))/(-4) + -1. Let b = -4635 + 3001. Let p = m - b. Do -4 and p have the same value?
False
Let a = 23 - 23.6. Let v be (-3)/4 - (-1452)/80. Let c = -619/35 + v. Is a greater than or equal to c?
False
Let o = -0.105 - 1.895. Is 269.5 >= o?
True
Let q(p) = 650*p + 4562. Let l be q(-7). Let t(y) = 2*y**2 + y + 1. Let u be t(2). Is u smaller than l?
True
Let l be -1*(2/(12/(-2094)) + 1). Let p be (-3 - 1)/(l/198*-3). Which is smaller: 2 or p?
p
Let g = -96.43 + 97. Let c = g + -0.584. Let b = 0.114 + c. Are 64 and b equal?
False
Let v = -423 + 247. Let z(j) = j**3 + 20*j**2 + 21*j + 36. Let h be z(-19). Let a be (h/(-4))/(2/v). Which is bigger: -45 or a?
a
Suppose 0 = 7*g + 4*g + 4*g. Suppose 4*t - 8*i + 5*i + 9 = 0, 2*t - 5*i + 15 = g. Which is smaller: t or 14/45?
t
Let y be (-45 - -1)*(16 - (-14910)/(-597) - -9). Is -1 greater than y?
True
Let b(a) = -a**2 - 3*a - 1. Let q be b(-3). Let j be (-8 + q)/1*(39 + -34). Is -45 smaller than j?
False
Suppose -5*j - 23 = -l, 5 - 3 = 2*l + j. Let u be (-15)/6*(-72)/48 + -1. Is l >= u?
True
Let u be (46 - 45)/(-2 + 25/15). Is u greater than or equal to 0.1268?
False
Let b be 726624/90 - (-9)/(90/4). Which is smaller: b or 8076?
b
Let h(n) = 17*n - 50. Let z be h(3). Let w = -403 + 3635/9. Which is smaller: w or z?
w
Let n be (2/5)/(7/5). Let y = -1199 - 119. Let d = y + 1319. Are n and d nonequal?
True
Let g = 3365 + -3596. Which is greater: -232 or g?
g
Suppose 6*q - a = 8*q + 1, -2*q = -a - 9. Suppose -3 + 7 = q*k. Suppose 4*i = 5*i + k. Are -8 and i equal?
False
Let y = -12708 - -1829945/144. Is -1 greater than y?
False
Suppose -3*m = q - 14, q + 16*m = 20*m - 21. Do q and 2/13777 have the same value?
False
Let z = 78.4 + -70.22. Let r = 2.18 - z. Which is bigger: r or 2/65?
2/65
Let m = 36774 + -33543. Which is greater: m or -1?
m
Let o be 0*((-2)/(-6))/(4/4). Which is greater: o or 2/6661?
2/6661
Let k = 15482 - 15540. Which is bigger: k or 36?
36
Let q(r) = -16*r - 627. Let c be q(15). Which is smaller: -8 or c?
c
Let d(h) = h**2 - 34*h + 66. Let n be d(30). Let b be (-374)/(-3) - (-36)/n. Are 0 and b equal?
False
Let s(p) = -74*p - 1961. Let q be s(-17). Is q less than or equal to -703?
True
Let g = 5276 + -627849/119. Is g at most as big as 1?
True
Let o be (-5 - (-428)/84) + 1380/(-1260). Is 39/731 not equal to o?
True
Let s(l) = -l**2 - 2*l. Suppose 25*b = 11*b - 14. Let z be s(b). Do z and 2 have the same value?
False
Let j be -2 + 3459*740772504/(-8860060). Let n = 33257994/115 + j. Let z = n + -4/1751. Which is greater: z or -1?
-1
Let q = 57.6 - -612.6. Let j = q - 644. Does j = -0.2?
False
Suppose 2*z + 13 = 5. Suppose q = 5*f - 10, -2*q - 12 = 38*f - 40*f. Which is smaller: f or z?
z
Let k = 348 - 124. Let m(v) = 41*v + 59. Let c be m(4). Is c at least as big as k?
False
Let p = -32165 - -32163. Are -51/164 and p nonequal?
True
Let t = 36 - 38. Let u be (-20)/(-15) + t/(-3). Suppose -2*b + 5*m - 5 = 0, -u*b = -5*b - 5*m + 5. Is -2/23 smaller than b?
True
Let b be (-72)/(-684)*(-1)/(-2). Suppose 2 + 1 = -3*t. Is t bigger than b?
False
Let m be (-4)/1*1 - (440/24 - 9). Suppose 2*a + 39 = -a. Which is smaller: m or a?
m
Let z = 0.3369 - -0.0631. Which is greater: -123/8 or z?
z
Let g = -105831253/2065 - -51250. Is g bigger than -1?
True
Let r = 12 + -11.9. Let t = 1.1 + r. Let c be (1/((-13)/4))/(10/(-65)). Which is smaller: c or t?
t
Let u = -27.5 - -91. Let g = -69 + u. Let x = g + 4.5. Which is smaller: -1/3 or x?
x
Suppose 2*v = -4*t + 390, 5*v - 1235 = 3*t - 260. Suppose 15*q - 480 + v = 0. Which is greater: q or 2/3?
q
Let o = 186.8 - 23.8. Let j = o + -161. Is 5 bigger than j?
True
Le