= 3*r - 2. Let x be f(1). Let c = -231 + 199. Which is smaller: c or x?
c
Let k be -311*(4 - 1)/(-3). Let h = k - 2809/9. Which is smaller: h or -2?
-2
Let o be 335/9 - 7/(126/4). Let l = 0 - -36. Is l less than or equal to o?
True
Let n(k) = k**3 + 15*k**2 + 14*k + 2. Let z be n(-14). Suppose -27 = -5*y + z*y. Suppose -3*t + 19 = -5*f, -5*t + y = 2*f - 2. Is 8/3 at least t?
False
Let s = -16.07 + 16. Let y = -23 - -72. Let c = y + -47. Which is greater: s or c?
c
Suppose -3*l = -l - 10. Let n(g) = 7*g - 1. Let t be n(-2). Let w be (-4)/6 - l/t. Which is greater: -1 or w?
w
Let t = 4.37 - 4.47. Which is greater: t or 0.354?
0.354
Suppose -3*l - 9 + 15 = 0. Suppose l*w - 28 = -2*w. Let n(f) = -2*f**2 - 12*f + 1. Let h be n(-6). Which is bigger: h or w?
w
Let h be ((-27)/(-18))/(1/(4/(-3))). Let f = -6.2 + -1.8. Which is smaller: h or f?
f
Let a(n) = n**3 + 3*n**2 - 15*n - 9. Let b(y) = -y**3 - 10*y**2 + 13*y + 16. Let d be b(-11). Let p be a(d). Which is bigger: -28 or p?
p
Let r(z) = -z**2 + 12*z + 10. Let o be r(13). Let f be 604/170 + -3 - o/(-15). Is f less than 1?
True
Let f(q) = -q**3 + 21*q**2 + 2*q - 41. Let u be f(21). Let w be (-117 + u)*(-1)/(-2). Which is bigger: w or -59?
w
Let i(g) = -122*g - 29. Let z be i(-6). Let o = -6/1307275 - 21141251162/30067325. Let b = z + o. Is -1 bigger than b?
False
Let b = -7 - -10. Suppose 0 = k + 2 - b. Is -4/59 at least k?
False
Let n be (-30)/(-1 - 0/(-1)). Let m = n + -27. Let b be (-2 + 5)*(-8)/m. Which is smaller: b or -10?
-10
Let i be (24 - 76)/(2/(-5)). Which is bigger: i or 128?
i
Let v be (1/(-11 + 5))/((-56)/(-1071)). Is -3 not equal to v?
True
Let t = -5195122683/62540891350 - -1/7673729. Let a = t - -1/326. Is 0 greater than a?
True
Let j = 1 - 2. Suppose -15 = n - l, -5*l = -0*l + 15. Let r be (-3)/n + (-21)/90. Which is greater: r or j?
r
Let y be ((-118)/4)/(2/4). Let v be -4 + -47 + -3 - (2 + 4). Which is smaller: y or v?
v
Let n = 54.071 + -0.071. Let f = -56 + n. Let w = 0.1 + -0.1. Is w less than f?
False
Let b be -3*6/(-9) + 448/(-124). Let c = b - -48/31. Let k(z) = z**3 - 4*z**2 + 1. Let n be k(4). Which is smaller: c or n?
c
Let y be 796/(-22) + (-6)/(-33). Let d = -577 - -541. Is d at least as big as y?
True
Let t(s) = 3*s - 8. Let c be t(4). Suppose 0 = c*u - u - 6. Suppose 3*l - 18 = 5*p + 15, -u*l + p = -22. Is l greater than 12?
False
Let l = -255 - -1781/7. Suppose 3*u + 5 = 11. Suppose -5*q - 3*x = 3, -5*q + 0*x - u*x = 2. Which is smaller: l or q?
l
Suppose -4*p - 4*k - 16 = 184, 156 = -3*p - k. Which is bigger: p or -50?
-50
Let c be (-11611)/(-56) - (-8)/28. Let b = c + -208. Which is smaller: b or -1?
-1
Let n = 29 + -30. Is n != 197?
True
Let m = -0.04 - 7.46. Let f = m - -2.5. Let g = -4 + f. Is g less than or equal to -1?
True
Let d = 165 - 163. Suppose 0 = -3*m + d*g - 10, 3*m + 3 = 4*g - 17. Which is greater: 1/104 or m?
1/104
Let f = -0.99 + 156.99. Which is bigger: f or 1?
f
Let c(h) = -h**2 + 14*h + 39. Let n be c(16). Suppose 17 = -n*v + 3. Is 2 bigger than v?
True
Let q = 2180 + -2179. Let p be 3/2*8/366. Which is smaller: p or q?
p
Let o be (-16)/(-104) - (-2)/(-13). Suppose 3*w - 8*w + 20 = 0. Let r be (-1 - -1)*(w + -3). Are o and r nonequal?
False
Let t(f) = -21*f**3 + f - 1. Let j be t(1). Let y = 18 + j. Is y at least as big as 0.6?
False
Suppose 2*z - 7*z + 70 = -5*b, -4*b + 29 = z. Let a = -11 + z. Let m = -6 + a. Is m bigger than 2/7?
False
Suppose -4*z + 4*y = 48, -4*y = -4*z + y - 52. Let k(d) = d**2 - 9 + 8*d + 4 - 5. Let m be k(z). Which is smaller: -11 or m?
-11
Let v = -0.5 - 0.1. Let t = -0.7 - v. Which is greater: -38 or t?
t
Suppose -3*r + 7 - 1 = 0. Suppose 0 = n + r - 4. Let m be (n/(-4))/((-7)/(-2)). Which is greater: -1 or m?
m
Let a(q) = -q**2 - 20. Let b be a(6). Is -56 at most b?
True
Let i = 17.18 - 17. Let x = i + -5.18. Is -4/5 > x?
True
Let c be (-406)/35*(-20)/(-8). Are -28 and c equal?
False
Let u(n) = -5*n - 5. Let k be u(0). Let h be 585/35 + (-4)/(-14). Suppose 3 = -5*c - 2*j - h, -31 = c - 5*j. Which is greater: c or k?
k
Let j = 7 + -14. Let f be (-4)/3*j/14. Suppose 5*d = 5 - 0. Which is smaller: d or f?
f
Suppose 0 = -5*q + 3*w + 25, -2*q - 12 = -3*q + 2*w. Let n(r) = 99*r + 3. Let k be n(q). Let a be k/(-15) + 15/(-25). Do -15 and a have different values?
True
Let w = 679 - 664. Which is greater: -9 or w?
w
Let b be (2/(-3) - (-3330)/135) + -2. Is 1/69 bigger than b?
False
Let q(k) = k**3 - 3*k**2 - 47*k + 24. Let o be q(7). Which is greater: -112 or o?
o
Let y be 2/(-2 - (-80)/42). Let w be (-28)/y + 2/(-6). Let t be -4*w - (-16 + 5). Which is smaller: -2 or t?
-2
Let h = 55.1 - 52. Let t = 4.1 - h. Is t at most 2/3?
False
Suppose 12 = -0*p - p. Let b be (-27)/p*(-8 - -4). Let u be b + 7 - 2/(-2). Is -2 bigger than u?
False
Suppose 0 = 12*t - 47 - 13. Let v(q) = -q**2 + 3*q + 5. Let a be v(4). Let d be (-1 - a)*2*-1. Does t = d?
False
Let v = -18 + 1. Let a = 14 + v. Does 1 = a?
False
Let h(c) = 2*c**2 - 13*c - 9. Let i be h(7). Let s be i/((-2)/(-5)) - -3. Is s at most as big as -2?
True
Let c = -28 + 3. Let d = -25 - c. Let g = -1 + d. Which is smaller: -0.5 or g?
g
Let q(y) be the third derivative of -y**6/120 - 7*y**5/60 + 7*y**4/24 - 3*y**3/2 + 5*y**2. Let g be q(-8). Let d be 4/40*-2 + g. Is d not equal to 0?
True
Suppose -4*i + 356 = 64. Let q be (17*13/(-3))/(-9 + 8). Let y = q - i. Is 1 < y?
False
Suppose -83 = 5*g + 3*a, -16 + 60 = -3*g + 4*a. Let n = -12 - g. Suppose 3*f - n = 4*f. Which is greater: -1 or f?
-1
Suppose 8 = -3*f + 41. Suppose -5*q = -20 - 35. Are q and f unequal?
False
Suppose 0 = 2*v - 0*v - n, -v = 2*n. Which is bigger: -3/172 or v?
v
Let h be 524/(-6)*6/4. Let u = -657/5 - h. Let y = 11 - 11.5. Which is smaller: u or y?
y
Let t be ((-2)/8)/((-3)/12). Let z(l) = -l**2 + t - 12*l**2 + 0*l**2 - 5*l + 4*l. Let v be z(-1). Is v != -11?
False
Let w = 283 + -291. Is -8 at least as big as w?
True
Let x(g) = -g**2 - 7*g - 7. Let n be x(-5). Let p = 2540/1911 + 76/147. Is p at least n?
False
Let b = -0.202 + -0.078. Let o = 1.82 + -1.5. Let h = o + b. Is h > 3?
False
Let f(z) = -z**3 - 4*z**2 + 7*z + 4. Let u be f(-5). Let s = -42417 + 42411. Are s and u equal?
True
Suppose 34*b - 97 + 131 = 0. Let i be -1 + (1 - -1) + 41. Which is bigger: b or i?
i
Suppose -6*u = -8*u + 70. Let x = -14 + u. Which is bigger: 20 or x?
x
Let g = -155403249/52 + 2988837. Let q = 313 - g. Which is greater: q or 0.1?
0.1
Let m(y) = y**2 + 4*y + 6. Let o be m(-5). Suppose -12*v + 10*v = 4*r - 36, 0 = r - 4. Is v >= o?
False
Suppose -6 = -y - y. Let g(n) = n - 7. Let u be g(y). Which is smaller: u or -3?
u
Let y(f) = -f**3 - 8*f**2 - 3*f - 8. Let u be y(-6). Which is greater: u or -59?
-59
Let n = 192 + -1347/7. Is 1 greater than n?
True
Let m = -3.31 + 3.6. Let r = -0.19 + m. Which is bigger: -2/43 or r?
r
Let f be (-10)/(-4) - (-2520)/(-880). Is -1/7 <= f?
False
Let i(x) = x**3 + 3*x**2 - 103*x - 7. Let b be i(9). Are b and 29 unequal?
True
Let l be 1 - ((1 - -1) + 1). Let g(s) = -s**3 + 6*s**2 - 12*s + 10. Let o be g(4). Let k be (-24)/(-36) + 7/o. Which is greater: l or k?
k
Let g = -396 - -344. Which is greater: g or 2?
2
Let p = -322.5 - -300.531. Let w = 0.031 - p. Are 1 and w non-equal?
True
Suppose 0 - 2 = 2*z. Let p = -335 + 5029/15. Which is smaller: z or p?
z
Let k = -136 + 153.6. Let x = k + -32. Let z = x + 14. Is 2 <= z?
False
Suppose 4*b - 40 = 8*b. Let g be (6 + -3)*b/(-3). Let c be 5/6 + g/(-30). Is c greater than or equal to 1?
False
Let z = 17/4 - 4. Let y = -191446487/7606100 + 19/152122. Let a = 101/4 + y. Which is smaller: a or z?
a
Let u = -145/3 - -52. Let w(g) = -g**2 - 7*g - 7. Let x be w(-5). Is x less than u?
True
Let b(w) = -w**2 + 7*w + 6. Let k be b(7). Let j be 1*(1 - 1) + (-9)/(-3). Which is smaller: k or j?
j
Let y = 83.3 - 87. Let h = y - -1.7. Which is smaller: 0.06 or h?
h
Let h = 816018322/6305 + -129424. Which is smaller: -1 or h?
-1
Let v(b) = 11 - b**2 + 0*b**2 + 6 + 17*b. Let z be v(18). Let y be (1/7)/((-1)/4). Which is smaller: y or z?
z
Let s = 7/34 - 223/918. Let g(q) = 2*q - 3. Let b be g(2). Which is smaller: s or b?
s
Let u be (14 - 15)/(5/(-155)). Which is smaller: 33 or u?
u
Let r be (-14)/(-4)*5*1/35. Does 1/1031 = r?
False
Suppose 0 = 3*v + d - 211, -8*v + 357 