 q + 66. Is c > -2.7?
True
Let z = -32431 + 37713. Is 5282 != z?
False
Let n = -0.636 + -279.364. Let k = 279 + n. Is k < -0.098?
True
Suppose 4*b - 114 + 130 = 0, 5*r = -2*b - 3. Which is smaller: r or 69/503?
69/503
Suppose 3*b - 2 = c - 10, -4*c = -4*b - 8. Let l be (b/2)/(12/16). Let a be ((-84)/49)/(1/l + 2). Is -2 != a?
True
Let g be -7*1/(-21) - (-38662)/6. Let l be 7 - (-22566)/g*-2. Which is greater: l or -1?
l
Let p = -249 - -250.308. Let l = -1.3 + p. Let q = l - -1.992. Which is smaller: -1 or q?
-1
Suppose 2*z - o + 1866 = 0, -7007 + 2328 = 5*z + o. Which is greater: z or -931?
-931
Suppose 2*s - 9*h - 2 = -5*h, -3*s + 12 = 3*h. Suppose -s*p + 60 = 2*p. Suppose 82 = p*y - 50. Is 11 > y?
False
Suppose 177 = 6*y + 1683. Let l = y + 250. Let j be (5/3)/((-33)/(-9)). Which is greater: j or l?
j
Let n be (-3)/(-35*(-12)/(-8)). Let l(v) = v**2 + 12*v + 22. Let k be l(-11). Suppose -f + k = 10. Which is smaller: f or n?
n
Let w(k) = -k**3 + 23*k**2 - 3*k - 419. Let v be w(22). Which is bigger: 51/274 or v?
51/274
Let r = -7 - -9. Suppose 1 = r*h + 5. Suppose 50*f + 10 = 52*f. Is h >= f?
False
Let a = -22095 + 26648. Which is smaller: a or 4556?
a
Suppose 4*a - 9 = 47. Suppose -18 = -d - a. Let v be 44/(-24)*6/d. Which is greater: v or 2/7?
2/7
Let u be -715*(-4)/8154 + (-4)/12. Let g be 8157/(-2718) + (-7 - -10). Let p = u - g. Is p not equal to 1?
True
Let u(x) = -2*x**2 - 22*x - 5. Let n be u(-11). Let h(c) = 8*c + 25. Let m be h(n). Suppose 44 - 2 = -3*a. Which is greater: a or m?
a
Let j = 912 + -10029/11. Which is bigger: 10.53 or j?
10.53
Let t = -85.884 - -0.684. Let b = 85.4 + t. Is b at most as big as -152?
False
Let z = -34 + 46. Let m be (-30)/((-44)/z + 3). Are 44 and m nonequal?
True
Let r be (111*3/513)/(6/(-24)). Let y = -36146/13965 - r. Are y and 0 non-equal?
True
Let s = 96.1196 + -0.1196. Which is bigger: -0.3 or s?
s
Suppose 24*i + 2862 = -1322 + 416. Is i less than -162?
False
Let b = 3342 - 2073. Which is greater: 1270 or b?
1270
Let v = 3/12935 + -739957/323375. Do v and -1 have the same value?
False
Let y be 77*((-60)/(-35))/4. Let d be (1 - (-50)/6)*3. Is d greater than y?
False
Let f = 879.2 - 879.3. Is f != 0.5427?
True
Let h be (-1 + (-3)/2)*(-18)/15. Suppose 4*o + 0*z - z - 195 = 0, 0 = -5*o + h*z + 249. Is o smaller than 49?
True
Let h = 16575 + -16546. Let c be 5*(3/3 - 0). Suppose -u = u - c*w - 71, -w - 3 = 0. Is h <= u?
False
Let v be (-1026)/(-7209) - (-3)/(-9). Do v and 0 have the same value?
False
Let w = -4 + 1. Let v = w - -13. Let z = -14649 + 14658. Which is smaller: z or v?
z
Suppose -9*m - 32*b - 36 = -36*b, 3*b - 27 = -5*m. Which is bigger: 1087 or m?
1087
Let m be 374/119 + (5 - 3)/(-14). Suppose -4*p - m*y = -6*p + 1, -4*y = p + 16. Is -33/8 equal to p?
False
Let j = 4 + -1. Let d be ((-38)/4 + 1)*-4. Suppose -3*k = 2*q + 2*k + d, -j*k = 12. Is -1 at most q?
False
Let h(k) = -2*k**3 - 147*k**2 + 116*k - 227. Let g be h(-74). Which is greater: -3334 or g?
-3334
Let g(l) = -3*l**2 + 18*l - 4. Let t be g(6). Let u be 3/(-12) - (t - (-158)/8). Let s = 31 + u. Which is smaller: s or -1/2?
-1/2
Let o be -5*1 - 27/(648/25872). Is o >= -1083?
True
Let q = 5713419/13 - 439494. Let y = 0 + -0.2. Is q bigger than y?
False
Let u = 1537 + -1293. Which is smaller: 247 or u?
u
Suppose 10101 = -30*l - 2851 - 9338. Which is greater: l or -2/9?
-2/9
Suppose -1008 + 24 = -90*a - 74*a. Suppose -3*n + 36 = n. Are n and a equal?
False
Let q be 1*((-11158)/(-126))/((-2)/(-6)). Let t = 266 - q. Which is smaller: t or 27?
t
Suppose 4*s = -0*s + 624. Let r be (2/(-4))/(2/s). Let w = 48 - 88. Is r >= w?
True
Let v = 40280 - 40280. Are v and 37/941 unequal?
True
Let v be 8/12 - 1720/2562. Let a = 7469.1 - 7469. Which is bigger: a or v?
a
Let k(o) = 9*o - 168. Let q be k(19). Suppose c + 68 = -4*l - 4*c, c = q*l + 51. Which is bigger: l or -10?
-10
Let j = -69 + 66.6. Let s = -88.4 - -85. Let t = s - j. Are 73 and t non-equal?
True
Let r(f) = f**2 - 11*f - 2. Let x be r(9). Let n = 20 + x. Let d = -125 + 111. Is n bigger than d?
True
Suppose -14*c + 208 + 2 = 0. Which is bigger: c or -219?
c
Let n = -7509 - -7561. Which is smaller: n or 22/7?
22/7
Suppose 10 = 2*a - 5*z, -a - 2*z - 4 = -0*a. Suppose a = 3*b - 7*b - 348. Let u = -78 - b. Do u and 5 have the same value?
False
Let h(f) = -f**2 + 26*f + 24. Suppose -9*m + 141 - 24 = 0. Let z be h(m). Are 193 and z nonequal?
False
Let i = 3562.8 - 3564. Is -11 not equal to i?
True
Let d = 270 - 215. Let m be (-2)/d*(-9 + 415/35). Is 0 bigger than m?
True
Suppose -21 = -75*u + 78*u, u + 12247 = 4*n. Is 2 greater than n?
False
Let y = 35088 - 35113. Which is smaller: y or 12.5?
y
Suppose 4*b - 198 = -m + 129, -2*m - 2*b = -630. Let r = m - 203. Is 107 >= r?
False
Let u be (-1)/(3/22)*3. Let p = -1236 - -1232. Let s be (4 - 24)*p/(-4). Which is smaller: s or u?
u
Suppose -l + 10*l + 7*l = 0. Which is greater: l or -2.48?
l
Let i = 162 + -153. Let v be 2/i - (-140)/1638. Which is bigger: v or -0.2?
v
Let p(s) = 45*s**2 - 1123*s - 46. Let w be p(25). Which is bigger: -181.8 or w?
w
Let r be 11 + (0 - -1) + -11 + 9. Suppose 0 = a + 4, -5*c - 4*a = a + r. Let j = c - 8/3. Which is smaller: -64 or j?
-64
Let f = -56175 - -2752725/49. Which is smaller: 3 or f?
3
Let i = 0.86 - 3.96. Let o(d) = -d**2 + 13. Let m be o(-3). Which is smaller: m or i?
i
Let z(v) be the third derivative of 0*v + 3*v**2 + 1/12*v**4 + 10/3*v**3 + 0. Let i be z(-8). Is 6 < i?
False
Let x be 890/4*((-436)/20 - (2 - 1)). Is x greater than -5072?
False
Let s = -731/91 - -27782295/3458546. Is -1 greater than or equal to s?
False
Suppose 0 = -4*y - 4*x + 7 - 55, 0 = y - 3*x + 32. Let v be 4/22 + 1846/(-110). Is v at most y?
False
Let p = 28/101 - 7819/5252. Which is greater: -2 or p?
p
Let z = 18.14 - 22. Let f = -3.86 - z. Is 246 < f?
False
Let y(m) = m**3 + 3*m**2 - 3*m - 10. Let n = -17 + 14. Let u be y(n). Is u equal to -3/181?
False
Let a(d) = -d**3 + 9*d**2 + 8*d + 24. Let c be a(10). Let t be 117/(-78)*c/537. Is -1 less than t?
True
Let g = -4298 + 4153. Is g equal to -18?
False
Let c be 325794/210*(-70)/(-54296) - 2. Which is smaller: c or -1?
-1
Let m = 3511 - 3791. Is 14 bigger than m?
True
Suppose -13*x - 38476 = 38*x + 59240. Is x != -1917?
True
Let l = -13255 - -6884. Which is greater: l or 2/3?
2/3
Let m = -25202 + 25201. Which is smaller: -25/1352 or m?
m
Let d = -49 + 50. Let u(n) = 2*n**3 + 36*n**2 + 33*n - 27. Let a be u(-17). Which is smaller: d or a?
a
Suppose 2*b - 2*x = 8, -22 = -4*b - 5*x + 3. Suppose 5*u - b*q = 44 + 1, -4*q = 2*u. Suppose 0 = 9*f - u*f. Which is smaller: 1/37 or f?
f
Suppose -g - 4*g = -3*c + 676, 5*c + 152 = -g. Let u = g + 195. Let y = u + -29. Is y >= 29?
True
Let a = 2670.5 + -2686.5. Are 0.448 and a equal?
False
Suppose -164*a = -4*z - 168*a - 5304, 0 = 5*z - a + 6624. Is -1326 equal to z?
False
Suppose 5*y + 2*i = -2 - 6, -16 = 4*y + 4*i. Let k be (-3)/(-5) + (29 - 37554/1265). Do k and y have different values?
True
Let g = -6 + 92. Let u = g - 101. Let j(k) = k + 40. Let o be j(u). Which is smaller: 24 or o?
24
Let o(h) = h - 9. Let a be o(3). Let g be (4 - (-26)/a)*3. Let q be (0 + g)/(189/6). Is 1 at least as big as q?
True
Let z be (-2 - -6)*(-24 - -46). Let u(b) = 4*b**2 - 6*b - 4. Let k be u(-4). Let r = z - k. Which is greater: 27/5 or r?
27/5
Suppose -214595 = -10*u + 77805. Let s be 7 + u/(-3984) + (-1)/(-3). Which is bigger: -1 or s?
s
Let h(u) = 1628*u - 1464. Let w be h(5). Is 6676 <= w?
True
Let g = 649 - 652. Let c be ((-8)/15540)/((-4)/(-60)*g). Is c less than or equal to 1?
True
Let v = 283641 - 1134563/4. Let i = -22.4 + 27. Let z = i + -5. Which is smaller: z or v?
z
Let v be 300/(-125)*(-40)/6. Is v > 23?
False
Suppose 0 = -2*w + 18*w + 432. Let p(y) = -y**2 - 27*y - 1. Let z be p(w). Which is bigger: 10 or z?
10
Let q be (-40)/6*17/((-255)/54). Suppose -516 + q = 6*c. Let j = c - -45. Which is smaller: j or -38?
-38
Suppose -60016 = 701*o - 709*o. Is 7503 greater than o?
True
Let c be 55*3/(-4)*1. Suppose -54 = -31*h - 1356. Let g = c - h. Which is smaller: g or 1?
g
Let g = -57862/5 + 587357152/50755. Which is greater: 1 or g?
1
Let l be -1 - ((-1265)/(-15))/((-7)/63). Which is smaller: l or 760?
l
Let z(p) = p**2 - p - 2. Let r be z(2). Let 