u) = -u**2 - 12*u - 12. Let p be t(-11). Which is greater: p or m?
m
Let u be (-7)/((-7)/3)*1. Suppose -c - 2*b - b = 43, 4*c + 200 = -5*b. Let r be (-2 + c/(-20))/u. Which is bigger: 10 or r?
10
Let w be (-19 + (-2366)/(-63))/((-2)/(-18)). Is w < 1844/11?
True
Suppose 153*c - 1968 = 30*c. Do c and -334 have the same value?
False
Let d = 257398 - 2695147/11. Let g = d + -3722636/319. Let h = g - 715. Which is bigger: h or 0?
0
Let f = -54 - -63. Suppose -20*i + 17*i = -f. Let p(l) = l**2 - 6*l + 22. Let k be p(i). Is k less than 13?
False
Suppose 16*n = 17*n - 59. Let f = n - 31. Suppose 2*w + 0*z - 2*z = 4, 0 = -4*w - 5*z - f. Is w less than -8?
False
Let j be (8630/50 + -10)/(6/150). Which is smaller: j or 4067?
j
Let s = -335.8369 - -336. Is -1 != s?
True
Let n = 33054 - 3735128/113. Is -1 greater than n?
False
Let j(q) = -q**3 + 12*q**2 + 18*q + 4. Let w be j(13). Suppose 0 = 2*c - 57 - 79. Are c and w non-equal?
True
Let j be (495535/550 - -1) + 4/5. Let h = -903 + j. Which is smaller: h or 1?
h
Let a(q) = 3*q + 1 - q - q**2 - 17 - 9*q. Let i be a(-5). Suppose -3*z + 6*z = -3. Are i and z non-equal?
True
Let p = -216.1 + 211. Let o = 6.5 + p. Which is bigger: o or -1/4?
o
Let k = -75.6 + 75.4. Let v = 15 - 33.7. Let i = v - -18. Which is smaller: k or i?
i
Suppose 4*q - 191 = b - 0*b, 3 = 3*b. Suppose 71*u = 36*u - 27*u + 3038. Which is smaller: q or u?
q
Let o(g) = -g**2 - 30*g - 54. Let z = -31 - -3. Let w be o(z). Let l = 173/305 + 2/61. Is w smaller than l?
False
Suppose -5*m + 2*a = 4*a + 201, 4*m - 10*a + 184 = 0. Suppose x = -58 + 16. Which is bigger: m or x?
m
Suppose 0 = 41*b + 84 - 822. Let f = 146 - 83. Suppose -9 + f = 3*y. Is b < y?
False
Let x(b) = 20*b**2 + 44*b - 85. Let f be x(-15). Is f bigger than 3756?
False
Let b = -338.5 + 520. Let z = b - 183. Which is smaller: 4 or z?
z
Let z = -19863 + 24519. Is z greater than -1?
True
Let j be (-2)/2 + (-4)/(-6). Let b = -250 + 180. Let c = b - -70.03. Is c at least j?
True
Let m = -955/45661 + -3/593. Let g(d) = -d**3 + 19*d**2 + 20*d + 4. Let j be g(20). Let r be (-11)/33 + (-13)/(-3) - j. Is r at most m?
False
Let h = -4.8 - -6. Let n = 1.4 - h. Let p = 3849 + -3815. Which is smaller: p or n?
n
Suppose 4*x = -5*b + 119, -2*b - 1 - 1 = 0. Let y = 30 - x. Let d be -6 + (-399)/(-45) - (-3)/(-1). Which is greater: y or d?
d
Suppose b + 22*r - 25*r + 67 = 0, 0 = -2*b + 5*r - 137. Let w be 1/2 + 151/(-2). Let q = w - b. Is q at least -1/50?
True
Let o = -115 - -46. Let j = o + 68. Which is smaller: -1.9 or j?
-1.9
Let a be 52/(-20) + (-2)/2. Let w be (60/2*9/27)/(-2). Is a at most as big as w?
False
Let m = -83.01 + 79.6. Let b = m - -0.01. Let f = 38.4 + b. Which is smaller: f or 0?
0
Let p be (-4)/12 + 2/6. Suppose p = 3*q + 2*q + 80. Let f(d) = -2756*d - 2772. Let v be f(-1). Do v and q have different values?
False
Suppose -49*t = -31*t + 43*t - 122. Is t at most 4059?
True
Let v be (-104)/(-13) + -9 - 58/(-64). Do -1/6 and v have the same value?
False
Let w = 11.4 - -20.6. Let t = 0.646 - 0.246. Is w bigger than t?
True
Let m = 0.1 + -0.12. Let x = 376225 + -376248. Which is greater: x or m?
m
Let c = 48.981 - 49. Let r = -2.119 - c. Let z = 0.1 + r. Is z at most -5?
False
Let r be 8*8/(-128)*(-1125 - 1). Let q be r/(-2) - 182/52. Is q <= -285?
True
Suppose 138*g = -157650 + 443586. Is 2070 >= g?
False
Let q = -119.82 - -117.72. Which is smaller: q or -0.341?
q
Let y = 46 - 0. Let p = y - 48. Is p not equal to -59/2?
True
Let k(c) = -c**2 + 10*c + 12. Let d be k(11). Let a(z) = 38*z**2 - z + 1. Let f be a(d). Let h be (-36)/(-1) - 3/(-1). Which is smaller: f or h?
f
Let g = -0.038 + -0.062. Which is bigger: -950 or g?
g
Suppose 0 = -12*r + 17*r + 60. Let g be r/6 - -80 - 6. Are 70 and g nonequal?
True
Let v(i) = -i**3 - 10*i**2 + 24*i - 9. Let d be v(-12). Let m(u) = -5*u - 44. Let j be m(d). Does 1/125 = j?
False
Suppose 0 = -94*b + 90*b - 530680. Let z be 4/(-38) + b/(-16359). Let a = 164/21 - z. Is a > 0.1?
False
Let v be ((-432)/14)/6 + -8 + 13. Is 7/16 smaller than v?
False
Let x be ((-3)/12*2)/(67/(-192034)). Let l = 1433 - x. Which is greater: 1 or l?
1
Suppose 11*q + 39 = 2*i + 24, 10 = 5*i. Is -3/19724 bigger than q?
True
Let h be -1*8/10*(-30)/(-6). Let q = 10 + 0. Suppose 3*f - 2*f = -q. Are h and f equal?
False
Let g = -22.45 - -4388.45. Which is bigger: 1 or g?
g
Suppose -4*z - y + 10 = 0, 6*z - 4*y = 2*z + 20. Let l be (4/(-10))/(z/(-15)). Suppose 1 = -l*a + 9. Are 3 and a non-equal?
True
Let g be (-16)/(-812)*24 + ((-1034)/154 - -7). Which is bigger: g or 2?
2
Let z be 1 - 3/((-57)/(-20)). Let n(f) = -f**3 - 7*f**2 - 9*f - 17. Let w be n(-6). Let s be -4 + 7 + (1 - 3)/w. Which is greater: s or z?
s
Let a = -5507 + 1128937/205. Let l = 48 - 47. Is l at least a?
True
Let s = 134 + 159. Let k = -294 + s. Which is bigger: 120 or k?
120
Suppose -17557 = -46*k + 2361. Which is smaller: k or 440?
k
Suppose 2*k + 3 = x - 2*k, -4*k + 2 = -2*x. Suppose c - 10*c = -810. Suppose 34*o = 16*o - c. Is x at least o?
True
Let m = -258.4 - -260.1. Let o = -0.096 + 0.006. Which is smaller: m or o?
o
Let c be 12/(-4*(-6)/112). Suppose -3*a = -w + c, -148 = -2*w - a - 22. Which is greater: w or 187/3?
187/3
Let f be 1/2 - (-3)/2. Let y(m) = -12*m - 29. Let b(u) = -u - 1. Let t(g) = -6*b(g) - y(g). Let i be t(-2). Are i and f equal?
False
Let w = 5279 + -5278. Is -13295 at least w?
False
Let w = -5689885953759191701/125256 + 45426055068943. Let c = w + -10/15657. Let t = c - -348. Which is smaller: t or -1?
-1
Let l be 432/336 - ((-8)/7)/(-4). Is -1/1283 > l?
False
Let v = -104089 - -3434942/33. Let d = 0 + 0. Which is greater: v or d?
v
Suppose -4*h = 3*n - 9, -7 = -5*n - 3*h - 3. Which is smaller: 1 or n?
n
Let s be (96/360)/((-1084)/(-545) - 2). Let y = s + 2888/117. Let p = 0 - 0.1. Is y at least p?
True
Let k be 3/((-93)/(-12152)*-4). Suppose 136 = -v + 39. Is v at most as big as k?
False
Let f(p) = -2*p**2 - 58*p + 803. Let q be f(14). Is -403 less than or equal to q?
True
Let v be -1 - 27585/(-55210) - 9/(180/(-10)). Are 1 and v unequal?
True
Let x = 116.1 + -118.9. Let p = 13.05 + 1.75. Let f = x + p. Is f smaller than -0.1?
False
Suppose 2*q + 22 = -5*g + 97, 4*q = 0. Let a = g - 13. Let c be (a/(-4))/(18/(-12)). Which is smaller: c or 0?
0
Let p = -2566 - -7655/3. Is p at most 18?
True
Suppose -169 = -2*z - 2*o - 443, 5*z - 4*o = -649. Let s = z + 135. Suppose s*f + 12 = 32. Which is smaller: 57/5 or f?
f
Let u(c) = -170050*c**2 + c. Let r be u(-1). Let x be r/(-96040) + (-9)/(-15). Let h = 3/686 + x. Which is smaller: h or 2?
2
Let n = 0.3089 + -0.3089. Which is greater: -2389/4 or n?
n
Suppose -258439 = -471*n + 428*n + 37702. Are 6886 and n equal?
False
Suppose -3*m + 0*m = -9. Suppose 12 = m*o + 3*q, 3*o - 20 = 7*o - 5*q. Let f be ((-4)/(-10) - o)*24/(-60). Which is smaller: f or -1?
-1
Let a = 225 - 71. Let o = a - 457/3. Let k = 2.7 - 2. Which is smaller: k or o?
k
Suppose b = -2*x + 50, 3*b - 120 = -0*x + 4*x. Suppose -z = -32 + b. Let s = 10903/6 + -1830. Which is smaller: z or s?
s
Let x = 0.1362 - 146.7362. Which is smaller: x or 2/3?
x
Let o be (-14915)/(-75) - 2/(-15). Let r = o - 1389/7. Does r = -21?
False
Let g be 27/18 - 1/2. Let n be 3/7*((-11)/(-22))/(4011/(-28)). Which is bigger: n or g?
g
Let a = -0.2 - 0.3. Let f = -3970/2067 - -232/159. Is a bigger than f?
False
Let p = 2/5433 + -5459/70629. Does p = -139/5?
False
Suppose -5*g - 75 = -740. Suppose -l = 6*l - g. Is l < -4?
False
Suppose -5*n + 1181 = 2*u - 162, 0 = 5*n - 4*u - 1319. Let g = 233 - n. Is g greater than -29?
False
Let s = -706126/47 - -15022. Is -2 equal to s?
False
Suppose -2*t + 8*t = 0. Let c be (t - (-2)/(-4))*-2. Is -1/101 bigger than c?
False
Let g be -5*14*2/35. Let j be ((-44)/(-3) - 2)*-3. Let n be 16/20*j/8. Is g at most n?
True
Let t be 384/(-144)*(0 - 90/(-12)). Suppose -20 + 3 = -h. Suppose w + 2 = -h. Is w at most as big as t?
False
Let a(c) = -2*c**3 + c**2 + 3*c + 2. Let m(i) = -2*i**3 + 10*i**2 - i + 2. Let x be m(5). Let p be a(x). Let f = 377 - 321. Is f at most as big as p?
True
Suppose -d + 6*d = 3*k - 1062, 0 = 3*k - 12. Let f be (d/(-25))/(-3 + 16/5). Suppose 2*y + 4*p = f, -149 = -y - 4*y + p. Which is smaller: y or -2/3?
-2/3
Let f = 1061 + -4217/4. Let v(l) = -