 n + 1. Let u(o) = s*j(o) - c(o). Let x be u(0). Are x and 11 equal?
False
Suppose -16*a - 965 = -2629. Let m = -138 + a. Is -34 != m?
False
Let t(w) = w**3 + 9*w**2 + 9*w + 1. Let b be t(-7). Suppose -75 = -3*y - b. Suppose y*r + 70 + 34 = 0. Do -8 and r have the same value?
True
Let k = 4.7 - -0.7. Let f = 52.6 + k. Let x = -58.05 + f. Is x at least 0?
False
Let t = -1169 + 2246. Which is smaller: 1075 or t?
1075
Suppose 2*g - 73 = -3*f, 5*f + 60 = 2*g - 5. Suppose -4*h - b - 237 = 0, -82 = 2*h + b + g. Does -60 = h?
True
Let h(x) = -x**2 + 7*x + 6. Suppose -3*a - 15 = 0, 3*p - 5*a = 7 + 36. Let j be h(p). Which is smaller: j or 6?
6
Let c(k) = 14*k**2 + 142*k - 2634. Let y be c(23). Which is smaller: 8039 or y?
y
Let g = -5493/40 + 932877/6760. Are g and 1 equal?
False
Let p = 6.0029 - 0.0029. Suppose 0 = 4*o + 75 - 3. Which is bigger: p or o?
p
Let b be 334260/110 + (-2 - (1 + 0)). Let v = 3033 - b. Let t be (45/(-30))/(2/4). Are t and v nonequal?
True
Suppose -9*b = -735 - 1785. Let v be (4/30)/((-7)/b*-4). Which is smaller: v or 3/11?
3/11
Let t be (-2)/(-4) + 33/(-2). Let a(l) = l**2 + 17*l + 1. Let q be a(-17). Let u be q/((-4 - 3)/112). Is t less than u?
False
Suppose 371 - 132 = -32*c + 143. Is c >= -90/59?
False
Let n = -15.586 - -64.571. Let l = 48.05 + 0.95. Let h = n - l. Which is greater: h or -1?
h
Let y(u) = -u**3 - 11*u**2 + u + 11. Let h be y(-11). Let m be 78/165 - 60/220. Which is smaller: h or m?
h
Let a = 100.43 + -99.705. Does -3 = a?
False
Let l = -140.48 - -116.48. Let h = -78 - -309/4. Which is smaller: h or l?
l
Suppose 2 = -3*s + 38. Suppose 0 = 3*o - 9*o + s. Let k be (o + -5)*((-5)/(-29))/(-5). Which is bigger: k or -1?
k
Let j be 2279/6729 + (46/6 + -8)*1. Is 0 at most as big as j?
True
Suppose -4*s + 4*y = -1532, 3*s + 131 - 1283 = 4*y. Which is smaller: s or -3/2?
-3/2
Let l = -3 + 3.02. Let s = -0.38 - l. Let j = 6.5783 + -1.5783. Is j not equal to s?
True
Suppose 0 = -5*o - 5*p + 1160, 3*o - o = 7*p + 473. Is o greater than 236?
False
Suppose 5 = -m, u + 3*u = -3*m - 15. Let q be 65 + -59 + (u/(-1))/(-1). Which is bigger: q or 5?
q
Let l(f) be the first derivative of -f**4 + f**2 + f - 17. Let q be l(-1). Suppose 2*u + 4*d - 48 = 18, 5*d - 102 = -q*u. Is u bigger than 0?
True
Let y be 6/((-54)/(-49)) - 3. Let f(s) = 7*s + 92. Let u be f(-13). Does y = u?
False
Let j = -4033 + 3971. Is j less than -0.1?
True
Let p = 20 + -20. Let l be 924/(-198)*(-36)/322. Which is bigger: l or p?
l
Let m be -2*(45/25 + 9/(-30)). Is m less than -156/35?
False
Suppose 5108*x - 5106*x = -4. Is -21/38 equal to x?
False
Let z = -4312 - -12934/3. Which is bigger: 41/6 or z?
41/6
Let c(g) = 9*g**3 + 20*g**2 - 374*g - 5768. Let v be c(-15). Which is smaller: v or -26032?
v
Suppose -5*h + 18 = 6*u, 6 = 3*h - 18*u + 20*u. Which is smaller: h or -3/649?
-3/649
Let n = -1173 + 1172.9. Which is smaller: 0.8961 or n?
n
Suppose -24*i + 157 = -11. Suppose 15*n + i = 22. Is -2/27 != n?
True
Suppose 0*s - 3*d = -5*s - 65, 0 = 5*s + 5*d + 65. Let w = s + 2. Let n(u) = u**2 + 8*u + 2. Let y be n(-6). Which is greater: y or w?
y
Let g = -355 - -206. Suppose -26*w + 2*y + 441 = -29*w, 2*w = -3*y - 289. Is g less than w?
False
Let g(l) = l**3 - 22*l**2 + 64*l - 81. Let n be g(19). Which is greater: 160/3 or n?
160/3
Let h = 107 + -166. Let g = -62 - h. Let a be ((1 - g) + -8 + 3)/1. Is 1 at most as big as a?
False
Suppose 3*s + 21 = -0. Let f be (-4*1/(-4))/((-3)/(-6)). Suppose 5*r = -10, -3*z - 33 + 16 = -f*r. Is z at least as big as s?
True
Let s = 179 + -178.89. Let y = s - 0.21. Is y > 50?
False
Let b = 122 - 58. Let j = 2/91 - -164/819. Which is greater: b or j?
b
Let t be (-6)/4*(5 + (-76)/12). Suppose -o - 2 = -t*p, 3*p + 0*p - 5*o = 10. Suppose p = 2*f - 6*f. Which is smaller: f or -1/116?
-1/116
Let x be ((-898)/4)/((-84)/(-224) - 74/176). Is 4939 at most x?
True
Let g = 2.76 + -1.75. Let u = 1.07 + -0.11. Let d = g - u. Which is bigger: d or -8?
d
Suppose -450 = 3*q + 2*d, 1771*d - 1770*d = -4*q - 590. Let p be 10*-1*(-29)/(-2). Is q less than p?
True
Suppose 2074 - 20570 = -32*j. Let g = j + -579. Which is smaller: g or -14/67?
g
Let y = -136/245 - 4/245. Let f be (-2)/56 + (-1)/4. Let l = y - f. Which is smaller: 0 or l?
l
Let u = 2/105069 - -209804/17546523. Suppose -4*a = 5*k - 9, -4*k + 7 = a + 2*a. Do u and k have different values?
True
Suppose -7*o + 2*o + 95 = 0. Let b(p) = -4*p - 161. Let w be b(-45). Does o = w?
True
Let h(a) = -67*a - 551. Let f be h(-7). Is -7 less than or equal to f?
False
Suppose 9*a = 8*a + 4*s + 83, -5*a = 5*s - 190. Let b be 45 + -4 - (-1)/1. Is b at least a?
False
Suppose 3132*j = 3135*j - 3*i - 6, -6 = -4*j + 2*i. Suppose -k - 5*f = 3*k - 33, -k + 4*f = 18. Suppose -m - 3*q - 3 + 6 = 0, m = 2*q - k. Is j != m?
True
Let u(s) = -s**2 - 3*s + 50. Let o be 102/(-68) + (-38)/(-4). Let f be u(o). Which is bigger: -116/3 or f?
f
Let l = -36649 - -915943/25. Is -10 at least l?
True
Let f(i) = -i**2 + 3*i + 9. Let m(w) = w. Let s(v) = f(v) + 2*m(v). Let b be s(6). Suppose y = -b*y - 3*p + 90, -40 = -2*y - 4*p. Is 25 at most y?
False
Suppose -10*i - i + 88 = 0. Suppose -i*w + 5 = -3. Is w at least as big as 4/19?
True
Let o = 1.7 + 2.8. Let t = -510 + 512. Suppose -209*b + 207*b = t. Is o at least b?
True
Let d be (-683)/(44/(-8)*(-36)/198). Is d at most as big as -682?
True
Let c = -10/7469 - 2113527/149380. Are c and -15 equal?
False
Let q be (819/(-78))/(-3*(-3)/(-24)). Let d be 10/(120/(-18))*q/258. Which is smaller: -1 or d?
-1
Let l be (-40066)/34404 - (-385)/330. Is l not equal to 0?
True
Let z be ((-40)/4 + 7)/(6/(-4)). Let a be z + (-5)/(5/2). Which is bigger: 3 or a?
3
Suppose 4*b - 7*b - 945 = 0. Let z = -143 - b. Let a be z/(-10)*60/(-24). Are a and 42 equal?
False
Suppose -78*r = -88*r - 10. Suppose 43 = -5*a - 17. Let n be 3/(-13)*16/a. Which is smaller: r or n?
r
Let k(d) = -8*d - 38. Let q be k(-6). Suppose 3*w - q*w + 7 = 0. Is w != -1/99?
True
Suppose 414*k - 839 = -721*k - 5379. Let i = -48 - -23. Which is greater: i or k?
k
Let y = 2834/45 - 9873611/156780. Is 1 less than y?
False
Let m = -2.915 - 0.085. Let n be (6 + -1)*6/(-3). Let q = 7 + n. Is q bigger than m?
False
Let c(o) = o - 38. Let m(r) = 3*r - 152. Let i(b) = -9*c(b) + 2*m(b). Let y be i(12). Let n be 3*(2 + -1) - 1. Is n less than y?
False
Let u = -6 + 6. Let m be ((-22)/(-42))/(27/81) + -2. Which is smaller: u or m?
m
Suppose 0 = -5*q - 3*c + 2538 + 255, -5*q - 2*c + 2787 = 0. Is 532 less than or equal to q?
True
Let x = 11802 + -11800. Which is greater: x or 0.1024?
x
Let h be (3 - -1)/(21/42). Suppose h = a + 5. Suppose -r + 26 = -2*q + 83, -a*r + 2*q = 155. Are -49 and r nonequal?
False
Let g(z) = -7*z - 5. Let x be g(-1). Suppose 2*w + 1076 = 3*d + 3*w, x*d - 739 = -5*w. Let o be 1/(-4) - d/420. Which is smaller: -2 or o?
-2
Let d be ((-117)/27)/(1/(-75)). Suppose v - 15 = -m - d, 2*m + 1244 = -4*v. Let p be 1/(-2) - (1700/v - -5). Which is smaller: 1 or p?
p
Let b be ((-28)/80*-4 + 0)*5. Let l be ((-2)/33)/(b/(-35)). Which is smaller: -1 or l?
-1
Suppose c + 16 = 5*n - 3*n, 5*n - 5*c - 50 = 0. Suppose y = -0*y + n. Let t(g) = -3*g. Let i be t(-3). Is y less than or equal to i?
True
Let z be 21 - (1/(-4) + 145/20). Is 14 less than or equal to z?
True
Let v = -38486 - -38485. Is v bigger than -3/10804?
False
Let v = 324 - 354. Let b(w) = w**3 + 31*w**2 + 43*w + 62. Let h be b(v). Is -327 at least h?
True
Let w(z) = -2*z**2 - 10*z + 6. Let p be w(-5). Let n be (-186)/(-12) + (1 - 9/p). Let y be ((-20)/n)/((-2)/(-72)). Which is bigger: -47 or y?
-47
Let q = 945217/144 + -6564. Does q = -1?
False
Suppose 2*b = -3*f + 15054 + 1196, -4*f - 4*b = -21676. Are f and 5411 equal?
False
Suppose -70 - 126 = 7*j. Let a be 3/(-2) + j/(-56). Is a >= -14/11?
True
Let c(h) = h**2 - h - 15575. Let l be c(0). Let g be l/(-61500) + ((-10)/8)/5. Is -1 less than or equal to g?
True
Let j = -651 + 449. Suppose -d - 137 = 68. Which is bigger: d or j?
j
Let f = -41 - -45. Suppose -20 = -2*l - f*i, -l - 3*i + 25 = 2*i. Let t be (10/(-590))/(1/1). Is l > t?
True
Let q = 176 + -299. Let j = q - -123.8. Which is smaller: -2 or j?
-2
Let q(o) = 10*o**3 - 4*o. Let j be q(-2). Let u be ((-693)/j)/7 + -2. Which is smaller: 3/2 or u?
u
Let g = 9531.657 +