4*k - 122*b, 0 = 4*b - 12. Are k and -6 nonequal?
True
Let a(o) = -o**3 - 7*o**2 - 10*o - 5. Let g be a(-7). Let v be ((-2)/35)/((-13)/g). Let x = 16 + -17. Is x smaller than v?
True
Let y = -2935 - -2934. Is -0.0236 at most as big as y?
False
Let d be (-23)/21 + 1/1. Let v = -380 + 314. Let m be (44/v)/(2/(-12)) - 5. Which is smaller: m or d?
m
Let w = 10822 - 75728/7. Is w less than 3?
False
Let t = -29855/3 + 9952. Which is greater: t or -143/27?
t
Let z(r) = 15*r**2 + 9*r + 3. Let y be z(3). Suppose -y = -28*b + 13*b. Is 6 at most b?
True
Let m = 15557653/11 + -1410777. Let h = -3551 + m. Which is smaller: h or 5?
h
Suppose 7549 = 100*m + 123*m - 68494. Is -15 smaller than m?
True
Let v(z) = -4*z - 1. Let g be v(14). Suppose 2*h - 15*h + 102 = 869. Which is greater: h or g?
g
Let o be (-187)/51*58/6 - -1. Let k = -6955/198 - o. Is k <= -2?
False
Let v = 1665 - 2708. Which is greater: -5212/5 or v?
-5212/5
Let j = -2556/59 - -6438918/148621. Is j bigger than 1?
False
Let o = -127 + 120. Let b be (-2922)/42*o - (1 + 0). Are 0.1 and b nonequal?
True
Let l be 36/(-3282)*-1*2/(-30). Let w = l + 8321/158630. Is 0 bigger than w?
False
Suppose -20*v - t + 1406 = -16*v, -5*v - 2*t + 1762 = 0. Are v and 349 non-equal?
True
Let f = 17 + -15. Suppose -f*s + 12 = -0. Suppose s = 3*b - 0. Which is smaller: b or 8/7?
8/7
Let d = 4695 - 4520. Which is greater: 120 or d?
d
Suppose -8*r + 28*r = 76*r + 56. Do r and -27/89 have the same value?
False
Let t = -388/15 + -234/5. Is t less than -73?
False
Let i be ((-4)/(444/37))/(2/(-168)). Is 29 at most i?
False
Let i = 764 + -529. Let l = -239 + i. Which is bigger: l or 25?
25
Let r be (45/(-9) - -5)/(-4). Which is bigger: r or 13/463?
13/463
Suppose -4*b + 2*b - 6 = 0. Suppose 3*q - 10 = 2*y + 72, -2*y + 5*q = 90. Let m be ((324/(-40))/(-9))/(12/y). Which is smaller: m or b?
b
Let d be 1/(-4) - 114/(-40). Let r = -1781 + 1340. Let h = r - -443. Which is smaller: h or d?
h
Suppose 5*x = -30, 12232 = -4*j - 4*x - 22460. Do j and -8666 have the same value?
False
Let y = 344 - 273. Let a = y + -29. Is 0 equal to a?
False
Suppose 3*z - 10 = -w - 2*z, 3*z = 3. Suppose w*o - 16 = 3*c, 0*o = c - o + 4. Suppose 4*r + y + y = 2, -3*r + 2*y - 9 = 0. Which is smaller: r or c?
c
Let b(n) = -16*n + 84. Let c be b(6). Let p be -10*(-1 - (-6)/c). Is p smaller than 21?
True
Let x be 15/6*8/5. Suppose 4*m = -5 + 1. Let a be (4 + m - 1) + 3. Is a at least as big as x?
True
Let p = 11471/27 - 425. Let j(i) = -16*i - 561. Let h be j(-35). Which is greater: h or p?
p
Let u be ((-225)/95)/5*(7 - 6530). Let b = 3091 - u. Is b greater than or equal to 1?
True
Let b be 3 - (7/21 - (-370)/6). Let y = b + 158. Let n = 48 + 51. Are n and y nonequal?
False
Let r be 27740/185 + (-432)/222 + 2. Which is bigger: r or 24?
r
Suppose 2*q - 2*h - 16 = -0, -5*q - 2*h = -5. Suppose -q = 3*g - 0, -5*a = 3*g - 77. Let s = -60 + a. Is -45 <= s?
True
Suppose -2*k - 3*j - 94 = 0, k + 4*j = -2 - 55. Which is smaller: k or -42?
-42
Suppose 42*x = 1417 + 11. Suppose 3*d + 3*a = 77 + 10, 4*d + 3*a - 119 = 0. Which is bigger: d or x?
x
Let d(v) = v**2 + 16*v + 4. Let s be d(-16). Suppose o + 4*y + 114 = -2*o, -5*o + s*y = 222. Let z = -45 - o. Which is smaller: 0.1 or z?
z
Let c = -331 - -333. Let h be 2/c + -14 + (-98)/(-14). Which is bigger: h or -8?
h
Let n = -2787 - -158863/57. Let h = -88954 - -20281699/228. Let f = h - n. Are f and -4 nonequal?
True
Let l = 777 + -24861/32. Let b = l + 43/224. Let d be 2*9/(-18)*0. Which is smaller: d or b?
d
Let y(c) = 3*c**2 + 56*c + 1600. Let k be y(-56). Which is greater: k or 7871?
k
Suppose 4*g = -3*h - 2 + 10, -3*h - 3*g = -6. Which is smaller: 6/355 or h?
h
Let z be ((-152)/84 - 1) + 3. Suppose -2*c = -5*v - 19, -205*c + 207*c = -v + 1. Which is smaller: c or z?
z
Let x = -11892 + 16041. Do 4150 and x have the same value?
False
Let q(j) = 44*j - 1761. Let w be q(45). Is w greater than 2/7?
True
Let m be 193*((1 - -1) + (-50)/(-25)). Let b = -846 + m. Do -75 and b have the same value?
False
Let n = 519.89 - 517. Let a = n - -0.11. Suppose -4*f + 0*f = -3*g + 21, 5*f + 6 = -3*g. Which is bigger: a or f?
a
Suppose -50*a + 4780 = -54*a. Is -1195 > a?
False
Suppose 4371*t - 29 = 4400*t. Which is greater: t or 505/2?
505/2
Let q = -49219150/29 + 1697840. Let l = -628 + q. Suppose -3*g = g + 3*c + 15, 4*c + 20 = -g. Which is bigger: g or l?
g
Let w = 4/7203 - 22186/14009835. Which is bigger: 0 or w?
0
Let w(i) = 1165*i**3 + 6*i**2 + i - 3. Let r be w(-1). Is -1163 >= r?
True
Let k be 2/4 + (88/16 - 6). Let v be 9/27 + (-8)/(-3). Let u = 1 + v. Is u at most as big as k?
False
Let y = 3627461320 - 3573048896473/985. Let l = y - 2557/5. Which is smaller: 1 or l?
l
Let x be 2 - (-126)/(-26) - 26/169 - -9. Let v = -19/2 + 14. Which is bigger: v or x?
x
Suppose -3*w + 165 = 5*t - 4*t, -48 = -w + 2*t. Let d = w - -59. Let q be (0 - -4) + d/58*-2. Is -1 less than or equal to q?
True
Let o be 6/(-15) - ((-699)/(-440) - 2). Let f = -715943 + 189009263/264. Let s = o - f. Which is greater: -2 or s?
s
Let u = -208/25217 - -474915713/479123. Let x = 991 - u. Which is smaller: 0 or x?
x
Let s = -62 - -72.9. Let r = -11 + s. Which is smaller: 2 or r?
r
Let r(i) = 4*i - 61. Let g be r(18). Suppose 0 = -3*m - w + g, -4*m + 9*m - 11 = 2*w. Suppose -6 = -m*p + 5*p. Is -3 > p?
False
Let a = -5.7 + 5.758. Suppose 0 = -76*s - 9*s - 45 - 210. Which is greater: a or s?
a
Let s = -15568 + 10700. Which is bigger: -4869 or s?
s
Suppose 3*u - 2*x + 0*x - 74 = 0, 0 = -4*u + 4*x + 92. Let r = u - 30. Let l be 10/(-36) - 1/r. Which is bigger: l or -1?
l
Let m = -107608/195 - -1658/3. Let u = -26276/31785 + m. Is u at most 0?
False
Suppose -6*d + 9*d = -24. Let z be (-10)/15 - (d/3 + 0). Suppose -z*l - 3 = -3*h - l, 3*h - 4*l - 3 = 0. Which is smaller: h or 7/9?
7/9
Suppose 0 = 6*b - 10 - 146. Let w be 14/(-21) + 42/9. Suppose b = -m - w*u, 4*u - 37 = 4*m + 7. Is -11 > m?
True
Let y = 7430 + -7354. Is y > -1/30?
True
Let c(o) = 153*o**2 - 19*o - 40. Let r be c(-2). Suppose -k = 3*v - 287, -3*k + r = v - 259. Are 290 and k unequal?
False
Let m be (((-3)/(-2))/(9/24))/906. Let z be 4/(-2) - 33/(-11). Is z at least as big as m?
True
Suppose -4*j - 56 - 275 = 3*r, 4*r + 414 = -5*j. Which is smaller: -129 or j?
-129
Let d = 765 - 852.7. Let n = 89 + d. Let l = -0.04 + -0.06. Does l = n?
False
Let q be 6 + -15 - (12 - -27). Which is smaller: q or -428/9?
q
Suppose x + 6*l = 24, 5*x - 3*l - 264 = -276. Is x at most as big as -3990?
False
Suppose 36*a - 65 = 23*a. Suppose -a*x + 96 = 3*m + 27, -x = -m - 9. Is x at least as big as 17?
False
Suppose 0 = 5*x + 5*n + 2 + 3, 0 = -4*x + n - 24. Let w(v) = -v**2 - 5*v - 2. Let z be w(x). Let s be (5/z - -2)/(-7). Which is smaller: s or -1?
-1
Suppose 87*n = 82*n - 2*w - 42270, w = -2*n - 16908. Which is bigger: n or -8453?
-8453
Suppose 56*y = 111 + 113. Let k = 0 + 3. Which is bigger: y or k?
y
Let j(i) = -69*i - 966. Let l be j(-14). Is l != -17/56?
True
Suppose 10*y - 8 = 32. Let a be (260/(-15))/y + 4. Suppose 12 = 2*n - 56. Which is greater: a or n?
n
Let z = 1/113 + -1137/791. Let p = 0 + 6. Let q = -6 + p. Which is bigger: z or q?
q
Let a = -661 - -661.027. Let d = a - 0.127. Is -0.0253 != d?
True
Let w be 2/(-14)*875/(-250). Which is bigger: -472 or w?
w
Let w = 412.6 - -63.4. Let o = 475 - w. Is -8/9 > o?
True
Let a = 0.12 - -1.16. Let s = a + 0.22. Let q = -1.6 + s. Which is greater: 4 or q?
4
Let y = 101 + -51. Let r = 49 - y. Let c be -6*1*((-15)/21 - r). Is c >= -3?
True
Let r = -149/2 - -72. Suppose 4 = -3*d + 5*u, u + 4*u = 4*d + 2. Suppose -d*m - 7 = -z, 5*z - 10 - 1 = 4*m. Do r and m have different values?
True
Let y be (-245)/105*((-3)/15 + (-74)/5). Is y bigger than 107/3?
False
Let k = -2/8005 - 39361/2657660. Is k equal to 0.08?
False
Let z = -125528/21 + 17948/3. Is z bigger than 9?
False
Let v be (-1386)/330 - (-8)/2. Which is bigger: 111 or v?
111
Let y = 11/42 + -25930/21. Which is bigger: y or -1234?
-1234
Let o = -5792 - -5728. Which is smaller: o or -49?
o
Suppose 10*r - 5561 - 8689 = 0. Is r <= 1426?
True
Let g = 1.8 - 1.8. Let c = g + 0. Let d = 401 - 400. Is c less than d?
True
Let j(t) = 145*t**2 + 2*t + 2. Let y be j(-1). Let c be (2 - (1 - (-30)/y)) + -1. Which is smaller: -