 + 146 = 0, -3*n - 3*l = 2*l + 100. Let i be 3/(n/4*47/(-5)). Which is smaller: 0 or i?
0
Let f = 9 + -8.98. Let n = f - 0.02. Let j = 0 - n. Is 1 >= j?
True
Let y = -23 - -22.97. Let w = -0.13 - y. Let r be 3/(-18)*3*-10. Which is greater: w or r?
r
Let z(b) = -b**3 - 5*b**2 + 9*b - 19. Let m be z(-9). Suppose 225*w = m*w. Do 2/153 and w have the same value?
False
Let y(p) = 3*p**2 - 7*p + 1. Let w be y(1). Which is bigger: 3/2 or w?
3/2
Let v(k) = k**2 - 2*k + 5. Let a be v(2). Suppose 25 = 4*n - z, a*n = n - z + 23. Which is smaller: 16/3 or n?
16/3
Suppose 3*c = -3 - 0. Let x be 0 - c - 2/(-2). Suppose 0 = 14*g - 11*g - 9. Which is greater: x or g?
g
Suppose 6*u - 49 = -u. Suppose -5 = -4*m + u. Suppose m*g = 10*g. Which is smaller: -7 or g?
-7
Suppose -24 = -1259*u + 1265*u. Let o = 5 - 2. Do u and o have the same value?
False
Let o(h) = -h**3 + 63*h**2 - 188*h + 190. Let l be o(60). Is l >= -292?
True
Suppose -2*h = -2*m - m + 73, 4*h = -m + 1. Let j be 79/7 + (-6)/m. Let p = j + -12. Which is smaller: p or 0?
p
Suppose 3*j + 22 = -14. Let i be (j/8)/((-3)/20). Suppose 7 + 49 = 7*v. Which is smaller: i or v?
v
Suppose d - 3*h = 2, 21 + 5 = -2*d - 4*h. Let k be -1*(2 - -1*6). Is d equal to k?
False
Let u = 79 + -26. Suppose 5*g = -32 - u. Is -17 less than g?
False
Suppose -5*i + 120 = -u, -2*i + 495 = -5*u + 2*i. Let f = u + 96. Is f at most as big as -1/18?
False
Let y = -427 - -877. Let a = 160 - y. Let j be 4/14 + a/525. Which is bigger: j or 1?
1
Let j(m) = m**2 + 2*m + 13. Let i be j(-6). Let c(z) = -8*z - 3. Let u be c(-3). Suppose 3*l + u = 3*s - 0*s, 4*l + i = 5*s. Which is smaller: 8 or s?
8
Let i = 0.1 + -0.1. Let o = -1 - i. Let h = -5.92 + 5.9. Is h at most as big as o?
False
Suppose 12*n = 5*n + 252. Let u be (18/8)/3*n/(-45). Which is bigger: u or -1?
u
Let m = -9.3 - -0.3. Let u = 10 + m. Let d = -1.4 + u. Is d != -1/4?
True
Let z = 79 + 101. Let c be 78/z + (-3)/5. Let u be (4/6)/(4/(-6)). Is c < u?
False
Let b be 6/(-27) + (-4)/(-18). Suppose -s + 0*s - 3 = b. Which is greater: s or -5?
s
Let u = -139 - -61. Let c = 80 + u. Does 5/2 = c?
False
Let v = -34.21 + -0.79. Let x = 34.9 + v. Let f = -9/14 + 17/21. Which is smaller: f or x?
x
Let y = 94 - 76. Suppose 0 = b - 6 + y. Is -32/3 greater than b?
True
Let c = 760 - 757. Suppose 0 = 4*w - 2*v - 16, 3*v = 2*v - 4. Suppose c*p + 2*n - 1 + w = 0, 3*p - 1 = -4*n. Which is smaller: 2/43 or p?
p
Suppose 2*m + 0*m = 22. Let k = 18 - m. Let p = 6 - k. Is p at least as big as 1?
False
Let p = -19 + 19.11. Let a = 94 + -93. Which is greater: a or p?
a
Let t(v) = -v**3 + 5*v**2 - 2*v + 6. Let p be t(4). Suppose 2*m - 3*m = 5*b - p, m = -b + 6. Suppose -3 = o - b. Which is greater: -9/4 or o?
o
Let m = 219 + -210.4. Which is greater: 1 or m?
m
Let u = 15 - 13. Let r be -1 + (3 - 3) + 3. Let w be ((-1)/1)/(r/(-2)). Is w bigger than u?
False
Let f = 12 - 24. Let b = -611 + 599. Is b less than or equal to f?
True
Suppose 2*i = 4*z + 14, 126*i = 127*i + 3*z + 8. Let g = 26/7 - 102/35. Which is smaller: g or i?
g
Let h = 1.46 + -31.46. Which is smaller: h or 3?
h
Let n = 272 + -277. Which is greater: n or -0.4?
-0.4
Let n be (-4)/(-6)*2928/(-32). Which is smaller: 0.2 or n?
n
Suppose -5*h - 42 = -6*h. Let c be 2/7 - 432/h. Is c <= -11?
False
Suppose r - 4*u = 55, 5*r - 48 - 173 = 2*u. Which is smaller: r or 45?
r
Let k be 8/2 + 6 + -7 + -1. Is k greater than 13/14?
True
Let n = 269 + -254. Let y = -0.6 - 0.4. Let q = y - -0.9. Which is bigger: q or n?
n
Let x be (95 - 79)*32*1. Is 512 at most x?
True
Let r(a) = -6*a + 1. Let x be r(-1). Suppose 0 = -x*m + 12*m. Suppose 0 = -3*t + 2*t + 2*c + 3, 0 = -t - 5*c - 4. Is t at most as big as m?
False
Let b = -1083 - -1078. Is 4.4 >= b?
True
Let g(v) = 17*v + 1. Let p be g(2). Suppose 3*x = -3*r - 2*x - 21, -5*r - p = -2*x. Do -10 and r have the same value?
False
Let u be (6/(-270))/((-111)/63). Let k = 2/37 + u. Which is smaller: -1 or k?
-1
Suppose -7*r = -3*r + 28. Let m = r + -1. Let v be 8/3*(3 - 6). Do m and v have the same value?
True
Let t(j) = -j - 17. Let v = -14 - -29. Suppose 2*n + v = -n. Let u be t(n). Is u at least as big as -11?
False
Suppose -2*z + 0 = -4. Suppose z*l + 2*l = 64. Suppose -2*r = -2 + l. Which is smaller: r or -1?
r
Let x = 370 + -384. Do 11 and x have different values?
True
Let t = 26905/122 + -441/2. Which is bigger: t or 1?
1
Suppose -528 = -11*f - 1573. Is -98 smaller than f?
True
Suppose 0 = 2*c - 0*c. Suppose -2*k + 34 = -19*k. Let d be 34*4/72 + k. Which is smaller: c or d?
d
Let u = 16 - 12. Suppose -4*z = -7*z + 4*s - 7, -33 = 5*z + u*s. Let p(m) = -m. Let j be p(2). Which is smaller: z or j?
z
Let g be (2954/482 - 6)*31 + -4. Which is smaller: -1 or g?
-1
Let z(u) = 19*u - 3. Suppose -f - 12 = -5*f. Let h be z(f). Suppose -3 = 4*t + 9, -3*t - h = -5*r. Which is greater: r or 8?
r
Suppose 0 = -46*c + 35*c - 2530. Which is bigger: c or -229?
-229
Let h(n) be the first derivative of -n**3/3 - 4*n**2 - 8*n - 9. Let k be h(-7). Is -6/11 greater than or equal to k?
True
Let q = -0.24 - -13.24. Let a = q - 13.1. Which is greater: -8 or a?
a
Let o be (-130)/(-238) + 2/(-17). Let x be (14/6 + -2)*9. Suppose 3*g - 4*q - 6 = 0, -x*g + 4 = -g - 4*q. Do o and g have different values?
True
Suppose -306 = -5*c - 41. Is 52 < c?
True
Let k(o) be the third derivative of o**6/120 - 17*o**5/60 + 10*o**3/3 + 2*o**2. Let m be k(17). Is 20 > m?
False
Let j = 0 + 59. Let q = 39 - j. Which is smaller: -19 or q?
q
Let i = -63 + 66. Suppose -21 = i*j - 2*j. Is -64/3 less than j?
True
Let t = 308 + -308.67. Is t < 0.09?
True
Suppose 4*d - 9 = -0*p - 5*p, 4*p - 2*d - 2 = 0. Which is bigger: -85 or p?
p
Let w = 328 - 312.95. Let n = w - 15. Let l = -0.05 + n. Which is greater: -3/4 or l?
l
Let k = -44 - -44. Suppose 0 = -5*a - 2*r - 68, 5*a + 52 = 2*r - k*r. Let l = 4 - 16. Is a > l?
False
Let o = -35 + 59. Let j = -7 + o. Is 16 != j?
True
Let d = 3309.85 + -3311. Which is bigger: -2/7 or d?
-2/7
Suppose 2*o - 30 = -g, 0 = 7*g - 2*g + 5*o - 125. Is g at most 20?
True
Suppose 7*q + 180 = q. Let a be (-7)/(-28) + q/(-8). Let u(p) = -p**2 + 4*p - 2. Let s be u(a). Is -4/5 less than or equal to s?
False
Suppose 25*x - 26*x + 2 = 0. Let c = 41 - 69. Let y = -28 - c. Does x = y?
False
Let r be 2/4 - (-12)/(-8). Is -21 at least r?
False
Let m = 16.65 - -0.35. Let u = m + -10. Which is smaller: 0.1 or u?
0.1
Let r = 0.7 - -0.3. Let q = 109977/53 - 2075. Which is smaller: q or r?
q
Let r be (-2)/(1 + -1 + -2). Suppose -s - 3*f - 5 = -2*f, 4*f = -s - 2. Let k be ((-7)/42)/(2/s). Is k < r?
True
Let w = -2 - 0. Let c be (-18 + (3 - 1))/w. Suppose s = -c - 3. Is -10 at most as big as s?
False
Suppose 0 = -17*p + p + 1056. Suppose -4*k = 22 - p. Let m = 157/17 + 9/34. Which is smaller: m or k?
m
Suppose 3*l = 8 - 2. Suppose 0 = -l*b + b. Is 0 equal to b?
True
Let i be -16*(-3 + (-10)/(-4)). Let n(w) = -w**3 + 7*w**2 + 7*w + 18. Let x be n(i). Which is smaller: 12 or x?
x
Let t = 1708 + -1707.8. Which is greater: -185 or t?
t
Suppose -2*n + 5*l = 5, -8 = -5*n - 5*l - 3. Let f = -730 - -16787/23. Let c = -25/161 + f. Is n bigger than c?
True
Let x = 1.58 + -17.78. Let d = 16 + x. Do d and -1 have different values?
True
Let h be (-4)/(-18) + 990/(-81). Let x be (-22)/(-6*4/h). Which is bigger: x or -10?
-10
Let m(l) = -l + 1. Let p(b) = -b**2 - 14*b - 69. Let r(s) = 3*m(s) + p(s). Let o be r(-12). Are -70/11 and o equal?
False
Let y = -1.2 + 1. Let u = 0.61 - 0.14. Let i = u - 0.49. Is i bigger than y?
True
Suppose 0 = 4*k + 65 + 75. Let r = 36 + k. Which is smaller: 1/4 or r?
1/4
Let n be (1*-12)/((-30)/(-80)). Let f be (-60)/n*(12/5)/(-6). Are f and -1 unequal?
True
Let d(t) = t**3 + t - 10. Let l be d(0). Let x be 15/5 + l/3. Let m = -59 - -54. Which is smaller: m or x?
m
Let j = -88 - -91. Suppose 0 = -5*q + a + 3, 4*q + j*a - 5 = 5. Let k = 2 + -2.3. Do k and q have the same value?
False
Let l be (10 + -40)*15/35. Are -12 and l non-equal?
True
Let f = 57.3 - 277.2. Is 0 at most f?
False
Let y = 1872 + -1872.1. Is y greater than 12/151?
False
Let h(o) = -o. Let k be h(-3). Suppose 7 = -k*x + 22. Let u be 12/1*2/4. Which is bigger: u or x?
u
Let p(d) = -d - 10. Let c be p(-12). Let o be (8/(-4))/((-4)/c). Are o and -4/21 nonequal?
True
Let r 