. Are q and j non-equal?
True
Let i = 3052 - 3061. Are -9 and i nonequal?
False
Suppose 4*w = -u - 522, 27*u + 5*w - 540 = 28*u. Let g = u + 546. Which is bigger: 19 or g?
19
Suppose 30*j + 15*j = 1755. Suppose -j - 90 = -43*b. Let d = 11 + -8. Is d at most b?
True
Let i be (-7)/28 - ((-5)/(-4))/(-5). Suppose i = 3*d - d - d. Suppose -6*o - 5*o = d. Are 7 and o unequal?
True
Suppose -2*s + 22 = -5*n, -2*n - 16 = -0*s - 2*s. Suppose -s = -4*l - 5*j, 0*l - 3*l + 5 = 4*j. Is 116 greater than l?
True
Let o(z) = -z**3 - 2*z**2 - z - 1. Let y be o(-2). Let t = -1763 - -81097/46. Is t less than y?
True
Let v be 96/(-10) + 3/5. Let b be (-836)/(-36) + 2/v. Suppose -83 = -5*x - b. Is 11 at most x?
True
Let y = -83 + 251/3. Let i = 75 - 82. Let l = 9 + i. Which is smaller: l or y?
y
Let h be (-655)/(-560)*8 - 10. Is 1/4 greater than or equal to h?
True
Suppose 5*f + 11 = 4*p - 16, -3*p + 24 = -5*f. Suppose -p + 15 = 3*i. Suppose -a - 3*m = -19 - 15, -i*m = 5*a - 126. Is 0.1 less than a?
True
Let a(g) = -4*g**3 - 33*g**2 - 37*g + 7. Let i be a(-7). Which is greater: i or 31?
31
Let v = -1595/31863 - 1/817. Let x(y) = -y**3 - 13*y**2 - 17*y + 55. Let g be x(-11). Is v less than g?
True
Let o be ((-35)/(-25) - (-2)/10*-7)/(-1). Does 1/6091 = o?
False
Let g be 2 + (-3 - 4/24). Let x be 2/(-3 - 3) - 0. Which is greater: g or x?
x
Let g(l) = -88*l**3 - 8*l**2 + 4*l + 14. Let y be g(-3). Are y and 2304 non-equal?
True
Suppose 14 = 2*x + 4*d, -2*x - 25*d = -29*d - 14. Is x greater than 1752?
False
Let s = 109 - 111. Let o be s/11 + 17/((-374)/(-92)). Suppose 0 = -o*t - 4*m + 8, -3*m = 5*t - m - 4. Is t <= -13/12?
False
Let x be (-34)/(-10*(-7 + 852/120)). Which is greater: 199/6 or x?
x
Let j = 405 + -431.2. Let o = j - -26.4. Are o and 75 nonequal?
True
Let c = 1859366 + -3118156937/1677. Let n = c + 2/129. Which is greater: n or -1?
n
Let b = 2.988 + -2.9. Is 0 >= b?
False
Let p(b) = -11*b**2 - 18*b - 14. Let t(f) = 5*f**2 + 9*f + 7. Let g(n) = -6*p(n) - 13*t(n). Let r be g(8). Let m = r - -13. Is 1 bigger than m?
True
Let y = -0.409 + 23.709. Let m = 31 - y. Let q = 8.3 - m. Do q and -0.1 have the same value?
False
Let p = 9.566 - 88.666. Is p <= -1/3?
True
Let d = 108 + -96. Let n be (-5 - 1)*(6 - 66/d). Is -3 >= n?
True
Let g = 4403.5 - 4394. Which is greater: 13 or g?
13
Let b be 607*(-3)/(-15) + 207/345. Is 243/2 less than or equal to b?
True
Let y = 17771554/1111 + -15996. Let h = -4 + 4. Are y and h nonequal?
True
Suppose 353*d + 392 = 355*d. Is d greater than or equal to 183?
True
Let z(g) = g**3 - 31*g**2 + 147*g - 229. Let c be z(27). Which is bigger: 9 or c?
c
Let r = -6349 - -6356. Which is greater: r or -40/7?
r
Let i(d) = -116*d - 352. Let a be i(-2). Is -122 != a?
True
Let q(y) = 2*y**2 + 68*y + 145. Let x be q(-30). Which is bigger: x or -1600/17?
-1600/17
Let p = -13811.7 + 13811. Let m = -0.03 - 0.57. Let c = m + 0.5. Is c greater than or equal to p?
True
Let m = -2001 + 44031/22. Let s = 202 - 416. Let i = -213 - s. Which is smaller: m or i?
m
Let b(m) = 5*m**2 + 18*m - 1. Let x be b(-4). Suppose 4*c = x*c - 9. Suppose 0 = c*i - 15 - 0. Is 0 at least as big as i?
False
Let g be (-4250)/(-168) + 130 + -156. Which is smaller: 0 or g?
g
Let d = -36962 + 25790. Let r be 6/(-21) + (-11669)/d. Let a = 1/114 - r. Is a at most -2/5?
True
Let j be 1/((10 - (16 - 9))*3/9). Let i be 2/(444/(-231)) - -1. Is i at most j?
True
Let x = 266 + -261. Suppose -3*w + x = -8*w. Is -26/11 greater than w?
False
Let s = 2254/11 - 15679/77. Let h(y) = -3*y - 7 + 2*y + 2*y. Let n be h(7). Is s bigger than n?
True
Let j(g) = -15*g - 188. Let i be j(0). Let l be (-48)/i*3/(36/40). Which is smaller: 2 or l?
l
Let r = 0.0346 + -230.0346. Let h = 230 + r. Is -46 != h?
True
Let j = 2679 - 8038/3. Let d = -100 + 190. Are d and j unequal?
True
Let m be 110/(((-117)/6)/((-136)/48) + -7). Which is smaller: -2/5 or m?
m
Let t = -220918 + 30928327/140. Let y = 3/140 - t. Let h(s) = s**3 - 5*s**2 - 3*s + 7. Let l be h(1). Which is smaller: y or l?
l
Let f = 603 - 270. Let x = f + -381. Which is smaller: x or -43?
x
Let m = 3805.71 - 3806. Which is greater: 11 or m?
11
Let s = 175305.17 + -175308. Let t(k) = -k - 5. Let j be t(-5). Which is greater: s or j?
j
Suppose 162*q + 96061 = -43097. Is q not equal to -858?
True
Let y = -48 - -25. Let c = -24 - y. Let d be (c + -3 - -3)*0. Which is bigger: -2/25 or d?
d
Suppose -1176 = i + 5*s, 0 = -2*i - 9*s + 5*s - 2388. Are i and 1 equal?
False
Let f = -25264 + 25132. Is -133 smaller than f?
True
Let i be ((-15)/244)/((-69)/1380). Is i bigger than -1/3?
True
Let y = 37.2 - 33. Let q = 4.4 - y. Is q greater than -57?
True
Let t(j) = j**3 + 16*j**2 - 18*j + 19. Let q be t(-17). Let x be ((-6)/2)/(3 - (-405)/q). Let g = x + -3/76. Which is greater: 22/7 or g?
22/7
Let w(j) = -11*j - 7. Let q(v) = -32*v - 20. Let a(b) = 4*q(b) - 11*w(b). Let k be a(-1). Let x be (2/4)/((-6)/k - -2). Which is smaller: -3/11 or x?
-3/11
Suppose 5*t - 4*i = -410, 9*i = -5*t + 10*i - 395. Let v = t + 2021/26. Is -1 at least as big as v?
False
Let x(l) = -24*l**2 - 36*l - 14. Let m be x(7). Let d be (-4)/7 - 880/m. Are -1 and d non-equal?
True
Let j = -541 + 542. Let o be -67*(5/7 - 2/(-7)). Which is bigger: o or j?
j
Let i be 80697/148 + -2*1/8. Suppose -i - 355 = -5*s. Is s bigger than 180?
False
Let o = 5660 - 22641/4. Which is smaller: o or -26169?
-26169
Let d = 727085/92 - 7903. Which is smaller: d or -1?
-1
Let y be 38/14 - (-2)/7. Suppose 2*c = -0*c, y*c = 3*q - 3. Let z = 596/679 + -2/97. Which is greater: z or q?
q
Suppose 3*i + 3*j = -3204, -3198 = 3*i - 0*j + 2*j. Which is greater: i or -1059?
-1059
Let m be (26/9)/((-4)/(-30)). Let f be ((720/105)/(-24))/(-2*(-1)/(-161)). Is m at most f?
True
Let z be 4*2/4*249/6. Is 87 > z?
True
Let c = -4.4 - -4.4261. Let m = 4.9739 + c. Is m < 1?
False
Let b be (69240/160)/((-1)/(-4)). Let w = b - 574691/332. Which is smaller: w or 0?
0
Let f(r) = 25154*r + 28. Let l be f(-1). Let p = 39975468/1591 + l. Which is smaller: -1 or p?
-1
Suppose 4*h - 15 = 4*p - 7*p, 0 = -4*h + 2*p - 10. Which is greater: -2/8049 or h?
h
Suppose -5*t + 40 = 3*l, -l + 24 = -19*t + 22*t. Suppose t + 0 = -4*w. Do w and -16/27 have the same value?
False
Let c be 2/3*(-6)/(-4). Let z = 20788 + -20788.99. Is z not equal to c?
True
Let l = 514 + -557.8. Is -2/7 != l?
True
Let s = -566.478 - -565. Let g = -0.322 + s. Is -0.1 greater than g?
True
Let p(u) = 20*u + 1381. Let h be p(-69). Let l = 53/32 + -793/672. Is h at least l?
True
Let v be (-54)/(-30)*(-5)/(-57). Let y = v + -97/133. Let w = 1 + -2. Is w equal to y?
False
Let j = 345 - 323. Let i(l) = -8*l**3 + 2*l**2 + l. Let d be i(-2). Let f = -49 + d. Which is greater: j or f?
j
Let t = -193048171/9004 + 85761/4. Do -1 and t have the same value?
False
Suppose 223497 = 43*g - 21*g + 35*g. Is g > 0.5?
True
Suppose 0 = -4*g - 12, -1073 = 18*m - 13*m - 4*g. Are 2 and m equal?
False
Let b be 4065/60*(-16)/796 - -1. Is 1 smaller than b?
False
Let k = 46 - 25. Let z = k - 20. Let f = 411.5 - 403.5. Which is smaller: f or z?
z
Let n(u) = -76*u**2 - 378*u + 2. Let t be n(-5). Is -29 at most t?
True
Let z = 83 + -88. Which is bigger: -170/27 or z?
z
Let s = 7439 - 96709/13. Is s less than or equal to 0.85?
True
Suppose 851 = -k + 673. Let t = 176 + k. Which is smaller: -33/20 or t?
t
Let s = 1.48 + -9.98. Let l = s - -48.5. Is l <= 1?
False
Let b be ((-483)/46)/((-36)/456). Which is bigger: b or 191?
191
Let k(y) = 19*y + 22. Let n be k(-2). Let t(u) = u**3 + 16*u**2 + u + 10. Let o be t(n). Which is smaller: 1 or o?
o
Let g(i) = 9*i**2 + 37*i - 141. Let u be g(8). Let a = u - 745. Let y = 6 + -17. Is y at most a?
False
Let n = -36262 + 49120. Is 12857 at least n?
False
Let a = 1505.12 - 1504.12. Suppose 2*f = 5*w + 89, 0*f - f = -3*w - 47. Suppose z + z = f. Which is greater: z or a?
z
Let c be 1/4 - (-29253)/(-2388). Which is smaller: c or 5.09?
c
Suppose -4*f + 3*q = -17806, 4*q = -f - 110 + 4533. Is 4446 < f?
True
Let a be ((-54)/(-108))/(((-1491)/4)/3). Let q = a - -3531/12922. Which is bigger: -2 or q?
q
Let l = 30 + -26. Let h = -1525 - -1529. Is l > h?
False
Let k = 56 + -62. Let j = -0.1 + 37.1. Let d = k - j. Which is greater: -1 or d?
-1
Let a = 442640/189 - 2342. Let s be 1/(-2) 