 -3. Let n = k - -75. Suppose q - 70 = -n. Are q and -1/14 unequal?
True
Suppose -2*r - r - 19 = -4*l, -r - 18 = l. Suppose 0 = 5*g - 3*g + 24. Is r greater than or equal to g?
False
Let f = 801 + -796. Suppose -4*c + 4*n - 72 = 0, -c + 2*n = -f*c - 42. Let q = -42 - -30. Is q less than or equal to c?
False
Suppose 17 - 25 = -j. Suppose -8 = -3*l + 7*l, 2*l + j = 2*k. Which is smaller: k or 8/11?
8/11
Let a = 42 - 39. Suppose -16 = 4*n, 1 = 2*f + a*n + 5. Let g = 0.29 + -0.59. Which is greater: g or f?
f
Let i = -38 - -7. Suppose -2*d - 305*o + 306*o - 62 = 0, -5*d = -o + 149. Which is smaller: d or i?
i
Suppose 85*j + 35111 + 42093 = 15664. Which is greater: 14 or j?
14
Suppose 18183 = 66*m + 68*m - 123*m. Is m greater than 1659?
False
Let q = 467/120 + -7/24. Let d = -802.47 + 798. Let z = -4.57 - d. Which is smaller: z or q?
z
Suppose 0 = -5*s - 4*q + 21, 17*s - 12 = 15*s + 2*q. Which is smaller: -6 or s?
-6
Let x = 5960 + -1935. Which is greater: x or 20121/5?
x
Let g be (-2)/(-7) + 4/(-14). Suppose -3*s + g*s = -135. Let q be (-1)/(4/(-2)*(-3)/48*-8). Which is bigger: s or q?
s
Let s = -204 + 209. Let w be s/((-1125)/(-355)) + 4/(-5). Which is greater: w or 0?
w
Let o be (-6 - 3)/(2 - 1). Let k(r) = 2*r**2 + 377*r + 2535. Let b be k(-7). Which is greater: b or o?
b
Let l be 6/(-18) + (-1)/(-21). Suppose 3*n - n = 288. Suppose -46 = 146*b - n*b. Is b smaller than l?
True
Let g be (-7 + (-60953)/(-9627) + (-24)/(-36))/(-3). Which is greater: 0 or g?
g
Suppose -974*w - 97 - 319 = -1078*w. Is w != 311/84?
True
Let d = 864/23 + -42405/1127. Which is smaller: d or -1/4?
-1/4
Suppose 5*v - v = -16, -d - 29 = -3*v. Let q(t) = t**3 + 5*t**2 + 9*t + 3. Let h be q(-5). Which is smaller: d or h?
h
Let b = -0.7682 - -42.7382. Let m = 77 + -35. Let n = b - m. Which is smaller: n or -2?
-2
Let s(n) = -12*n**2 - 4*n - 3. Let m be s(-2). Let c = -343 + 648. Let a = -348 + c. Is a bigger than m?
False
Let u be (-34)/(-119) + (-150)/245*35/40. Which is bigger: u or 161.9?
161.9
Let n = -112 - -114. Suppose -n*l + 186 - 33 = -5*q, 83 = -3*q - l. Is -27 greater than q?
True
Let h = 60.5 + -52. Let m = h + -140.5. Let u = -122 - m. Which is greater: 0.2 or u?
u
Let l be 30/(-150) - (-26)/5. Suppose 2*j = -l*b - 248, 97 = -2*b - 6*j + 3*j. Is -50 > b?
False
Let a = 431.9993 + -432. Let w = -0.0493 + a. Which is bigger: w or 15?
15
Let x(n) = n**3 - 3*n**2 - 8*n - 19. Suppose -100 = -20*m + 20. Let q be x(m). Is 41 at least q?
True
Let q(k) = -k**3 - 7*k**2 - 3*k - 10. Let l(i) = -2*i + 17. Let x be l(12). Let c be q(x). Let r be (-2)/c + 18/1507*14. Which is greater: 1 or r?
1
Let s = 2054 + -956. Which is smaller: s or 3?
3
Let o be 25/(-1)*1*(-6)/30. Suppose o*r - 9 = 4*c + 4*r, 0 = -3*c - 2*r + 7. Is c at least -18/7?
True
Let g(w) = w**3 + 17*w**2 + w + 32. Let d be g(-17). Let x be d*(-5 + (-1973)/(-395)). Suppose -h - s = 3, 6*s + 3 = -2*h + 5*s. Which is smaller: h or x?
x
Let z = -4/111 + 65/4884. Let a(c) = c**3 + 49*c**2 + 46*c - 168. Let t be a(-48). Let o be -4*(-9)/t*2. Which is greater: z or o?
z
Let s = 89601585/1331 - 67319. Which is greater: s or -1?
s
Let g(f) = 923*f**3 - 109*f - 108. Let d be g(-1). Which is smaller: 0.09 or d?
d
Let m be 17/((-2682)/(-2664) + -1). Are m and 2517 equal?
False
Let i = -0.518 - 16.982. Let c = -28.2 - i. Do c and 1/3 have different values?
True
Suppose 3*i + i = -y + 599, 5*y = 3*i - 478. Suppose 154 = k + i. Suppose 6*h - k*h = 0. Is h smaller than 1/77?
True
Let v = 7 - 7. Let g(h) = -3*h**3 - 66*h**2 - h - 19. Let m be g(-22). Suppose 3*s - 35 = 7*s + m*a, -2*a = 4*s + 30. Which is bigger: v or s?
v
Suppose 11*u - 5 = 10*u. Let r be (-25)/4*(-63)/70. Which is greater: r or u?
r
Let p(k) be the second derivative of -159*k**4/4 - 22*k**3/3 - 43*k**2/2 - 252*k. Let x be p(-1). Is -476 at most as big as x?
True
Let z be 4/(-8)*-2*6. Let d be (-3 - -2)/(-1 + z + 206). Let v = -4850/633 + d. Which is bigger: -9 or v?
v
Let w = 16.706 - -0.294. Let q = -16.5 - 2.5. Let r = q + w. Is r bigger than 3?
False
Let f = -269 + 90. Let v be 8/(-16)*372 - (-5 + -1). Do v and f have the same value?
False
Let l = -29 + 33. Suppose l*y + 0 = 16. Suppose 6*w + y = -44. Which is smaller: w or -5?
w
Let u = 8388.4 + -8388. Which is smaller: 113 or u?
u
Let k = -2.033 - 0.147. Let l = k - 5.82. Let o be 4 - 0 - (2 - 2). Is o greater than l?
True
Let s = 1516/19 - 7219/95. Let c be 27/5 - (-4)/(-10). Which is bigger: s or c?
c
Suppose 3*w - 4*w - 1008 = 3*w. Which is smaller: w or -1766/7?
-1766/7
Let x = -8241 + 73979/9. Let k be 134/1072 - (-354)/(-16). Are k and x non-equal?
True
Let j be 0 - 8/(-4) - (2 + -2). Suppose 2 - 4 = j*v. Let s = -18/71 - -2176/8023. Is s at most v?
False
Suppose v = 4*c - 35, -11*c - v = -10*c. Is c greater than or equal to 93/14?
True
Let o be -2 + 1 - 101 - (118 + -130). Let z = 61 + -152. Do o and z have different values?
True
Let c = -1303.11 - -1301. Is c < 1?
True
Let v = -8.8 - 2.4. Let x = 11.91 + v. Let l = x - 0.71. Is 3.3 at least as big as l?
True
Let n = 303.5 - 303.3. Which is smaller: n or 0.0062?
0.0062
Let x = 12.9 + -1.9. Let h = 11.39 - x. Let m = h - 3.59. Is m bigger than -2/7?
False
Let f = -74685 - -179318697/2401. Which is smaller: f or 1?
f
Suppose -9*b - 75 = -5*a - 4*b, 2 = b. Let c = -57 + a. Is -202/5 <= c?
True
Suppose 2*c - 4*h = -0*c + 386, -189 = -c + 3*h. Let y be c/(-6)*(1 - 3). Let d = y + -205/3. Is 0 bigger than d?
True
Let q be (23 + 2100/(-90))/((-1)/(-6801)). Do -2264 and q have different values?
True
Let m(g) = -7*g - 22. Let p(h) = -27*h - 87. Let y(c) = 18*m(c) - 4*p(c). Let t be y(-7). Is t less than 79?
True
Suppose 23*o + 27 - 4 = 0. Let b be (-4)/(-38) + 936/(-228) - o. Which is smaller: b or -24?
-24
Suppose 0 = -2*q - 4*s - 240, 4*q - 2*s + 344 = -116. Let x = 79803/154 - 6977/11. Let d = q - x. Is 0 less than or equal to d?
True
Let i be 1*6*6*1. Suppose -2*r + 14*u - 10*u - 338 = 0, 4*r = u - 641. Let d = -124 - r. Which is bigger: i or d?
i
Let a(m) = 30*m - 181. Let b be a(6). Let j(v) = -68*v - 57. Let i be j(b). Is i at most 11?
True
Let j(s) = -28*s + 139. Let a be j(5). Let b be (-31)/(-34) - a/6*-9. Which is smaller: b or -2?
-2
Let u = -4955 - -163511/33. Is 18 > u?
True
Let t(f) = 2*f**3 + 5. Let x be t(0). Let j be (-5)/(x/(-1))*1. Which is smaller: -0.01 or j?
-0.01
Let k(l) = 34*l + 810. Let p be k(39). Is 2138 bigger than p?
True
Let g be (5*9/(-135))/(1/(-9)). Let j be (-3)/((-3)/(-182)) - (-3)/g. Is -181 != j?
False
Let n be ((-96)/(-378))/((-1974)/(-77665)) + -10. Is n at most as big as 0?
True
Suppose 4*x + 7 = -3*z, -4*x - 54*z = -52*z - 2. Do x and 0.0522 have different values?
True
Suppose -1665*o + 1676*o + 4147 = 0. Is o at most -378?
False
Let k = -7.58 + 60.98. Let y = k - 53.549. Is -0.1 at least y?
True
Let h = -1.384 + 611.384. Let p = 611 - h. Which is smaller: 165 or p?
p
Suppose 46*n - 12*n = -8*n - 10*n. Which is smaller: n or -174?
-174
Let o be -3 - ((-264)/45 + 3). Let w = -1 + 4. Suppose -w*f + f = 0. Are f and o unequal?
True
Let v = -4.0766 + 3.7766. Let b be 2/9 - (-29)/(-126). Let w = -229/2898 + b. Which is bigger: v or w?
w
Suppose u + v - 1 + 12 = 0, 2*u + 58 = -6*v. Is u smaller than 1/283?
True
Let i(l) = 4 - 2 - 17*l - 3 + 0. Let b be i(0). Is -2/183 < b?
False
Let w = 510 - 230. Let d = w + -282. Is 47 at least d?
True
Suppose -228*b = -454*b + 230*b. Which is bigger: -100/657 or b?
b
Let y(o) = 20*o - 29. Let p be y(4). Suppose -10*j = p - 41. Which is smaller: -2 or j?
-2
Let f be 1/(-4)*2*(-7691 + -15). Is 3854 >= f?
True
Let v = 2263842343/808726950 + -22/2995285. Let g = -1/1350 - v. Which is smaller: -4 or g?
-4
Let f = 23526 - 23534. Is f at most as big as 748?
True
Let j = 254 - 228.6. Let i = j + -25.2. Is -2/87 at least as big as i?
False
Let n be -1 + (-9)/(-2) + (-23)/46. Suppose -3*u - 3*t - 106 = 86, -3*u + n*t - 168 = 0. Let h = -43 - 16. Which is smaller: u or h?
u
Let z = -1428/191 - -170386/19673. Which is greater: z or 0?
z
Let v be -14*(-5 - -4)*49. Let t = -664 + v. Which is smaller: 43/2 or t?
43/2
Let n = 368 + -384. Let g(c) = 12*c + 222. Let w be g(n). Is 206/7 less than or equal to w?
True
Suppose 17*v - 18*v = 1. Let c be ((3 + 0)/(-9))/((-12)/396). Suppose 2*y - c = -9. W