c + 2300. Let h be q(-71). Is h smaller than 1856/11?
False
Let w(j) = -j**3 + 7*j**2 - 7*j + 23. Suppose -4*r + k + 24 = 0, -4*k + 3*k + 6 = r. Let q be w(r). Is 20 greater than or equal to q?
True
Let g = 2.05 - -41.55. Let o = 43.7 - g. Is o > -10/11?
True
Let w be (0 + 7/(-28)*226)/((-2)/(-108)). Do w and -3046 have different values?
True
Let v be (-9 + (3 - 54/(-9)))/(-1 - -4). Which is smaller: v or 26/253?
v
Let q = 1.34 - 75.34. Let a = q + 77. Is a >= 12?
False
Suppose 4*t + 5*y + 1879 = 0, -t + 4*t + y = -1412. Is t at least as big as -472?
True
Let o = 18 + -10. Suppose 4*x - o = 2*b, -2*b = -0*x - 2*x + 8. Let h be (2 - 3)*x*1. Which is greater: h or -1/65?
h
Let q be (-7)/(((-16)/72)/2). Suppose -q = -280*f + 271*f. Is f smaller than 33?
True
Let y(v) = 18*v + 124. Let h be y(-2). Does h = 55?
False
Let q(d) = 13*d + 11. Let s be q(-5). Let u = 46 + s. Let f be ((-1)/3)/(u/24). Which is smaller: f or 35?
f
Let c be (1 + (-13474)/13494)*(1 - 472). Let s = 1/173 + c. Is 0 greater than s?
True
Suppose -78*p + 2081 - 14295 = 1202. Do -160 and p have the same value?
False
Let n be (-4)/48 + 7/112*-4. Is n less than -996/13?
False
Let w be (-6)/16 - (-344)/64. Let f be (6*10/(-75))/(2/w). Is -16/11 not equal to f?
True
Suppose 0 = 88*h - 86*h - 10. Suppose 3*r - i = -0*i + h, -2*r + 22 = 4*i. Is 20/9 less than r?
True
Let l be -2*(11 + 9822/(-12)). Is l greater than or equal to 1615?
True
Let w = 116 - 7. Let h = -4640 + 4720. Let n = w - h. Which is greater: n or 0?
n
Let m be 2*-2 + (-952)/(-7). Suppose -130*r = -m*r - 210. Let n = 96 + r. Which is smaller: n or -19/2?
-19/2
Let b = 0.325 - 14.265. Let h = 14 + b. Let x = 71/18 + -40/9. Is x at least h?
False
Let m = 15 + 24. Let o(u) = 4*u + 37. Let n be o(16). Let q = -63 + n. Is m < q?
False
Suppose -4 = -5*l + 16. Suppose -12*v + 15*v + 6 = 0. Let d be v/2*36/l. Is -11 > d?
False
Let j be 71/639 - (-19599)/27. Which is bigger: -1/4 or j?
j
Let a = 3772.1 - 3769.1. Which is bigger: a or 1563?
1563
Suppose 0 = -2*p + f - 712, -5*f = -p - 4*p - 1780. Let q = p + 355. Which is smaller: -2/53 or q?
q
Let n be (-237345)/(-40)*(-8)/(-66). Suppose -3607 = 5*b - 3*r, -3*b - 4*r = -7*r + 2169. Let c = n + b. Is c >= 1?
False
Let t be 513 + -520 - (0 + 0 - 78/11). Let l be (-1)/(-1*(1 + -2)). Which is smaller: t or l?
l
Let i = -0.1 - -0.3. Suppose -3*w - w = 3*k - 4, 20 = -k + 4*w. Let v be -1*(36/21)/k. Is i at most v?
True
Let i = -21812/84663 - -54/409. Are 1 and i non-equal?
True
Suppose -5*w = -2*x - 29, -3*w - x + 8 = -5. Suppose 0 = 7*i - 3*i - 4*g + 12, 7 = -w*i + g. Which is smaller: -2/955 or i?
i
Let k be ((-180)/(-350))/((-132)/(-20)). Let r be 1 - 3 - (-3 - -1). Are k and r equal?
False
Let p(m) = m**3 + 50*m + 12*m**2 + 1 - 52*m - 2. Let j be p(-12). Let a = j + -24. Which is bigger: 1/43 or a?
1/43
Let c = -1830 - -1840. Are c and -108 unequal?
True
Let u = 19.64 - 20. Let a be ((-24)/(-3))/((-61)/((-427)/(-14))). Which is bigger: a or u?
u
Let q = 7 - 10. Let p be ((-5)/(-2))/((-368)/2208). Which is smaller: q or p?
p
Let j = -28756 - -718898/25. Let y = 47 - 615/13. Let k = -5/26 + y. Do k and j have different values?
True
Let v(t) = -3*t + 43. Let f(l) = -5*l + 64. Let d(o) = -5*f(o) + 8*v(o). Let p be d(-16). Let w be p/10 + (-2)/5. Which is smaller: -1 or w?
-1
Suppose -4*f + 3 = -f. Let z(k) be the second derivative of 29*k**4/12 - k**3/3 + 6*k + 10. Let o be z(f). Which is greater: o or 28?
28
Suppose -3*r = 343 + 680. Let b = r - -729. Let p = b - 5812/15. Which is smaller: p or 2?
p
Let a be 3/2*(25 - 3). Let d(c) = c**2 + 6*c - 9. Let i be 1/(5/30*(-6)/10). Let m be d(i). Which is bigger: a or m?
a
Suppose -155 = -7*u + 251. Let r be 732/10*(3 + u/(-6)). Is r at least as big as -488?
True
Let c be (-36270)/1105 - (7/(-1) + -3). Is -24 less than or equal to c?
True
Let q be ((-11)/8)/(10/(-8)). Let d(a) = 447*a + 11624. Let y be d(-26). Is y > q?
True
Let g = 1840 + -1841. Which is smaller: -3/484 or g?
g
Let q be (2 + -5)/(7/(-35) - 0). Suppose 5*t + 5*v - 5 = 0, -11*v + 4 = -2*t - q*v. Which is smaller: 46 or t?
t
Let h be (1/10)/((-10)/230). Which is smaller: -2 or h?
h
Let s(m) = -m**3 - 20*m**2 + 24*m + 874. Let d be s(-19). Which is smaller: 59 or d?
d
Let b be (-456)/(-123158)*(546 + 0) + -2. Is -2/7 at most as big as b?
True
Let k = -0.52417 + -0.04583. Which is bigger: -58 or k?
k
Let g = -2867/1914 + -2/957. Which is greater: 245 or g?
245
Let f(o) = -o**3 + o**2 - o + 4. Let t be f(0). Suppose -h - 8 = -3*d, -t*h - 6 = -4*d + 2. Let w be -2*3/54*4. Which is smaller: w or h?
w
Let u = -7936 + 7936. Is 6976 < u?
False
Let t = -3.3641 + 2.7641. Is 333 greater than or equal to t?
True
Let y = 45 + -51. Let q = 257 + -269. Which is smaller: y or q?
q
Let t be ((-2100)/16)/((-69)/(-46)). Is t > -1/2?
False
Suppose -3*g + w + 8 = -6, 4*w = -g + 9. Suppose -4*x - x = 5*v + 190, -x - 143 = 4*v. Let y be g/2*(-28)/v. Are 10/13 and y equal?
False
Suppose 3*k + 9 = -5*n - 4, n - 2*k = 0. Let f(d) = -67*d - 20. Let w be f(n). Let m = w + -1024/9. Which is smaller: -3/10 or m?
-3/10
Let q be (8/(-16))/(0 - 2/8). Suppose -1 = -4*w - w + i, q*w - 5*i = -18. Are w and 13/6 unequal?
True
Let p be (-51)/(-255) - 11/5. Suppose -2 = -2*x - 14. Let g be 1*(116/36 + -3)/x. Is p bigger than g?
False
Let n = 19 + -19. Is -34/69 > n?
False
Suppose -2348 + 8111 = 113*v. Which is greater: 1204/23 or v?
1204/23
Let u = 286.13 - -2.87. Let x = 282 - u. Does -0.7 = x?
False
Suppose 3*i + 30 = 9*i. Suppose 2*l - 2*q - 8 = -3*q, i*l - q = 6. Does 26/3 = l?
False
Let a be 5/(-1) + ((-11985)/25 - (1 - 0)). Which is greater: a or -484?
-484
Let a = -10.7 + 11. Let h = -0.4 + a. Let q = 320 + -336. Is h at least q?
True
Suppose -3*s + 766 = 28. Suppose -4*m + 2*z = -s, -2*m + 2*z + 135 = -3*z. Let l be (8/45)/1 - 24/m. Which is greater: -4 or l?
l
Let p = 4/6703 + 5771/1561799. Which is smaller: p or -1?
-1
Let l be ((-28)/(-172) - 0)*(10 + 7/7). Which is greater: 3 or l?
3
Let o be (248 + -743)*2/(-10). Is -0.16 equal to o?
False
Suppose -5*t + 2048 = 2043. Which is smaller: 122/71 or t?
t
Suppose 229*o - u = 232*o - 305, 3*u = 5*o - 485. Do o and 93 have the same value?
False
Let q = 3/1034 + 929/36190. Let a be 44/(-36) + 2/9. Which is smaller: a or q?
a
Let r(j) = -2*j**2 - 47*j - 13. Let u be r(-20). Let q = 133 - u. Let d be q/(-18) - (-110)/6. Which is bigger: -1 or d?
d
Let y be ((-6)/(-22))/((1113/14)/(-53)). Let m = 13 - 14. Is y bigger than m?
True
Suppose 39*c - 4322 - 1996 = 0. Is 162 > c?
False
Suppose 40*y - 45201 + 5081 = 0. Suppose 0 = 3*x + 5*p - y, -3*x = -2*p + 16 - 1005. Is x < 333?
True
Suppose -5*i - 20 = 0, 12 = -3*j - 5*i + 1. Let u be j - 95/24 - -1. Let x be 4 - 1 - (-4 - -3) - 4. Is x >= u?
False
Let f be (-1272)/67 + -11 + 30. Let w be ((-10)/(-5))/(2/(-1)). Which is smaller: w or f?
w
Let c(r) = -78*r - 574. Let v be c(-11). Which is smaller: 285 or v?
v
Let k = -13876 - -15034. Is 1157 at least as big as k?
False
Let g = -27 + 25. Let m be 3 + 2/g + 0. Suppose 4*z - 152 = 4*c - z, -2*c - m*z = 58. Which is smaller: c or -34?
-34
Let s be -1 - -2 - 756/432. Is s < -456?
False
Let a(q) = 15*q**3 - 12*q**2 - 85*q - 297. Let d be a(-7). Is d greater than -5435?
False
Let b be ((-2718900)/130)/(-19) - -6. Is b bigger than 1107?
False
Let o = -12007/1540 + -1/308. Let b = 7 + o. Suppose -m + 2 = 3. Which is smaller: m or b?
m
Let u(k) = k**2 + 10*k + 15. Let b be u(-8). Let o be (15745/(-38))/(26/(-52)). Let v = -829 + o. Which is bigger: b or v?
v
Let v be 0 + 34/9 + -1. Let s be 14 + (-9 + -44 - -41). Which is smaller: s or v?
s
Let n be 8864/(-992) - 4/62. Let h be (-1841)/28 - (n/12)/1. Is -65 greater than h?
False
Let s be (-154)/(-770) - (687/310 + -2). Which is greater: s or -26?
s
Suppose -19*b = 6851 - 1263 + 3057. Is b != 25?
True
Let k be 321*-3 - (-175)/25. Is -956 greater than k?
False
Let q(s) = -7*s + 22. Let y be q(4). Let b be 1*y/9 - 17/(-3). Suppose -2*n - 12 = -b*n. Which is smaller: n or 8/3?
8/3
Suppose -3*k + 5*m = -35, -4*k - 3*m = -6*m - 43. Is k > 107/12?
True
Let i(n) = 3*n**3 - n**2 - 3*n + 13. Let w be i(0). Suppose 9*b = 4*b + 225. Let o = b - w. Which is bigger: -1 or o?
o
Let y be (-6)/(-4)*4/(-6) + 19. Suppose 12*r - 168 = y*r. Su