equal to n?
False
Let y be 3/(-5) + 108/180. Suppose y = 11*a + 698 - 192. Is -45 at most a?
False
Let n(b) = 1927*b - 23108. Let c be n(12). Let f = 9 + -4. Suppose t + g = 11, -g = f*t - 3*g - 90. Is c equal to t?
True
Let s = 200.737 + -201. Let g = s + 0.283. Is 12 < g?
False
Let g be (((-32)/(-20))/(-4))/(11 - (-504)/(-60)). Is g smaller than 34?
True
Suppose 15*y = 8*y - 4*y + 75548. Is y bigger than 6869?
False
Let n be (-3)/(2 - -1) + 2. Suppose 13*l = 14*l + 1542. Let z = 50882/33 + l. Which is smaller: z or n?
z
Suppose -19 = -5*f + 2*i, 2*f + 11 = 5*f - i. Suppose -4*w - f*q = -7, -5*q + 2 = -3*w - 0*q. Is w at most as big as 2/117?
False
Let v(p) = p**3 - 2*p**2 - 4*p + 4. Let g be v(3). Let f be 9 + -8 + 77*(-2)/148. Is g smaller than f?
False
Let x(w) = 3*w**2 - 5*w. Let p be x(4). Suppose -2*b = -2*d + 4, -5*b - 6*d + 3*d + 22 = 0. Suppose b*c - 30 = 5*h, 5*c = 3*h + p + 9. Is h < -1?
True
Let g be (-12 + 12)/6*(-2)/4. Let z be ((8/(-65))/2)/(680/(-100)). Is z greater than g?
True
Suppose -5*c = -3*z - 350, -3*z + 32 + 178 = 3*c. Let d = c + -64. Let q be 1/d*9*(-4)/(-6). Which is bigger: -2/169 or q?
q
Let o be (-18)/105 - 44/(-77). Let g = 1136 - 787. Is g != o?
True
Suppose 5*w + a - 460 = 0, -4*w - 119*a = -122*a - 349. Do 820/9 and w have the same value?
False
Suppose -5532*r - 1 + 1 = -5500*r. Is 4/2797 bigger than r?
True
Let m be 1*(-2)/28*6. Suppose h - 2 = -h. Let z be 1 + (-3 - -3) - h. Is m < z?
True
Suppose -6520*c + 6559*c - 86931 = 0. Is 2226 smaller than c?
True
Suppose 5*p = -5*i - 10, 0 = 16*p - 19*p + 2*i + 9. Let t = 16483/25012 + -7/676. Which is greater: p or t?
p
Let j(c) = -22*c**2 - c + 37*c**2 + 9 - 21*c**2. Let a be j(-3). Let m = a + 38. Which is smaller: m or -23/6?
m
Let i(m) = -3*m - 6*m**2 - 4 + 6*m + m**2 - 2*m**2. Let z be i(1). Let p be (-65)/52 - (-6)/z. Which is greater: -7/5 or p?
-7/5
Let x = 1.59 + 0.21. Let t = -2 + x. Let j = -29.21 + 29.3. Is j >= t?
True
Suppose -2*w = -4*p - 1888, 2*w - 5*p + 3763 = 6*w. Suppose 18 = -2*z + w. Which is smaller: z or 461?
461
Let g = -6 - -24. Let o(r) = -34 + g - 9*r - 10. Let z be o(-14). Which is bigger: z or 101?
101
Suppose -w + 8 = -0*w - 9*w. Which is greater: 3/3689 or w?
3/3689
Let h be (-3548)/6*513/(-342). Which is smaller: h or 886?
886
Let c = 73.9 - 69. Let o = c - 154.9. Is o less than -2/7?
True
Let m = 1602 - 927. Let c = m - 760. Is c <= -82?
True
Let d = 5622 + -663389/118. Is d bigger than 0?
True
Suppose 154903 + 309429 = -244*a. Is a < -1898?
True
Let y be 20/22 - (-1)/11. Let t be (y + 65 - 4)*1/(-2). Which is bigger: t or -29?
-29
Let l = -151120 - -206127671/1364. Is 1 at most l?
False
Suppose 2*b - 21 = 5*b. Let k = 17173 + -17195. Let g be (-14)/(b + 14) + (-32)/k. Is g >= 2/7?
False
Suppose 90 = 6300*f - 6390*f. Is 2/13281 at most as big as f?
False
Let y = 0.168 + 184.832. Let c = 184.9 - y. Is -0.49 > c?
False
Let y = -24.31 + 25. Let w = -1259.301 + 1260. Let u = w - y. Are u and 0 equal?
False
Let i be 6/(-15)*(-110)/33. Suppose -b + 7 = 5. Suppose -b*n - 2 = -4. Is n bigger than i?
False
Let h(y) = -y**3 + 25*y**2 + 12*y - 202. Let s be h(12). Do 1812 and s have the same value?
False
Let f(m) = -83*m**2 + 10*m - 7. Let n be f(-2). Is -20 <= n?
False
Let c = -49 + 164. Let s = c - 117. Let l(i) = i**2 - 4*i - 4. Let w be l(4). Is w > s?
False
Let g = 173 + -132. Suppose -46*z + g*z = 125. Which is bigger: -19 or z?
-19
Let r(u) = 89*u + 2047. Let c be r(-23). Which is greater: c or 71/62?
71/62
Let m = -3.089 + -15.911. Is m != -5?
True
Let a = 8 - 8. Let g be (-67)/(-134)*a/2. Which is bigger: g or -1/217?
g
Let c be -1023*(-11 - -26 - 14). Is -9220/9 at least as big as c?
False
Let c be (3/(-18) + -1 - -1)/(34845/2626). Is c > 0?
False
Suppose -2*h - 3*h = 4*h. Suppose -3*x - 2*d + 20 + 15 = h, -3*d = -x + 19. Is x <= 13?
True
Let k be (-124)/(-8) - 2/4. Let x(u) = u**2 + 24*u + 161. Let z be x(-13). Is z not equal to k?
True
Let k be (-245 + 0/(-2))*84/(-30). Suppose t = -4*i + 100 + 22, -5*t + k = i. Is t < 139?
True
Let r(v) = -3*v + 3. Let u be r(-5). Suppose -4*m + 56 = 2*l, 0*m + 4*l + u = 2*m. Suppose 65*s - 279*s = 151*s - 5110. Is m at least s?
False
Let f = 7 + -9. Let m(u) = -12*u**2 - 109*u + 6. Let y be m(-11). Let j = -268 - y. Which is bigger: f or j?
f
Let v be 13/(-4) + 1 - ((-28632)/96 + 24). Are 269 and v nonequal?
True
Suppose 0 = -6*b + 30 + 24. Suppose z = -3*y - 73, -b*z + 20 = -5*z. Is y equal to -18?
False
Let i be ((-10)/(-30) - 12/9) + 2. Is i < -8/169?
False
Let x = 173 + -174.215. Let l = 0.015 + x. Let t = 6.8 - l. Is t at least -0.04?
True
Suppose 4*q - 188 = -4*u, 0 = 5*u + 73 - 58. Is -94 > q?
False
Let o be (-184)/20 + (-20)/25. Let y = 5 + -30. Let r be o/(-4)*48/y. Are -6 and r non-equal?
True
Let z be (-1)/((-9)/(-183))*(-36)/12. Let b = z - -114. Do b and 175 have the same value?
True
Let w(f) = 13*f**2 - 2. Suppose -2*s - 5*q + 34 = 0, 0*s - q = 2*s - 26. Let y be 3*(-3 + 32/s). Let a be w(y). Which is greater: a or 12?
12
Let q = 109 - 108.93. Is q smaller than -21.1?
False
Suppose -8*m = -0*m + 128. Let f = -8 - -10. Suppose -f*l = 10 + 22. Does m = l?
True
Suppose 14*x = -53*x - 3*x - 80990. Which is greater: x or 2?
2
Let u(t) = -662*t - 42. Let v be u(3). Let z be 2 - (-24)/(-14) - v/(-42). Is -0.1 less than or equal to z?
False
Let v(u) = 4*u + 26. Let k be v(-17). Let h be 1282/k + 2 - 5/35. Which is smaller: h or -28?
h
Let r be 2/((-3)/(45/365)). Is r < -2?
False
Let s be ((-273)/14)/(6/(-8)). Which is smaller: 36 or s?
s
Let h = 2.089 + 190.311. Let f = h - 192. Which is smaller: f or 0.1?
0.1
Let t be (-2)/(-4) - 13/(-26). Let s be (-18)/(-2)*t/(-2). Let y = -0.521 + 0.821. Which is smaller: y or s?
s
Let z = -25588 - -22700. Which is smaller: -2892 or z?
-2892
Let d be ((-28)/2 + 0)/(704 - (-4)/2). Which is smaller: d or 0?
d
Let k be (60/(-42))/5*-1*7. Suppose -k + 12 = 5*s. Suppose 3*i + 4*b - 2 = -5, -2 = s*i - b. Which is greater: 1/155 or i?
1/155
Let q = 265 - -72. Suppose -12*l - 325 = -q. Which is smaller: 2/341 or l?
2/341
Let q be 2*15/(-676860)*-4. Which is smaller: 1 or q?
q
Let o be -2 - -7 - 232/(-8). Let u be 298/1208 - o/136. Is -1 less than or equal to u?
True
Let y = -208.3 - -140. Let b = y + 61.3. Is -14 less than or equal to b?
True
Let a = 12506 + -12010. Which is bigger: 482 or a?
a
Suppose 3*o - l = 8352, 11146 = -88*o + 92*o + 2*l. Is 2784 at least o?
False
Let q be (80/280 + (-42130)/14)*4/(-6). Which is greater: q or 2003?
q
Let a be ((-12244)/2040 - -2) + 4 + 0. Let w = a + 5441/510. Does w = 0.1?
False
Suppose 5*q + 36 = -619. Let a = -68 - q. Suppose 45 = 4*l - a. Which is bigger: l or 28?
28
Let y be 2*(3*(-6)/486)/((-90)/(-27)). Is 0 greater than y?
True
Suppose -4*m - 2*f = -22, -4*f = 5*m - 32 - 3. Let s = -556/3 - -183. Do s and m have the same value?
False
Suppose 5*m - 302 = 3. Suppose m*p + 7*p = 1564. Is p at most as big as 20?
False
Let i be (16/32)/(10/(-120)) - 13157/(-2193). Is i less than or equal to 0?
True
Let r be (-465)/21 - 1/(-7). Let y = r - -3. Suppose -5*v - 2*j - 108 = 0, 2*j = v - 6 + 18. Which is smaller: v or y?
v
Suppose -433 = n - 6*s + 10*s, n = s - 438. Let d = -601 - n. Is -163 at least d?
True
Let b(y) = y**2 + 91*y + 2012. Let r be b(-35). Which is smaller: -27 or r?
-27
Let u = 14 - 6. Suppose 0 = 5*v - 4*j - 35, 57*j + 25 = 52*j. Is u >= v?
True
Let t = -352 + 600. Suppose -186 = -3*x - 4*n, -t = 2*x - 6*x + 3*n. Is 62 < x?
False
Let n be (-140)/(-40)*14/49. Is n at least -3/2821?
True
Let m = -20503 - -20532. Which is greater: -124 or m?
m
Suppose -c + 12 = 5*m, -356 + 376 = m - 2*c. Is 89/20 not equal to m?
True
Let g be -8 + 0/(-23) + 1. Which is bigger: g or -80/11?
g
Let b(k) = -1329*k**3 + 10*k**2 + 14*k - 6. Let n be b(-2). Is n <= 10638?
True
Let a = 41 + -72. Suppose -18 = -6*n + 18. Let z(k) = -k**3 + 6*k**2 - 6*k + 4. Let b be z(n). Is a smaller than b?
False
Let x = 315 + -373. Let t(y) = -4*y - 26. Let i be t(8). Is x at least as big as i?
True
Let y = -10 - 5. Let s = 0.44 + 12.26. Let q = s + -12.6. Is q greater than y?
True
Let y = 2881 + -2531. Let q = 1322120/7 + -188525. Let w = y - q. Which is smaller: w or 2?
w
Suppose -446*m + 443*m + 12332 = 2*z, 5*m - 20551 = -z. Are 4110 and