*a - 7, -k*w + 7 = -5*a. Which is smaller: a or l?
a
Let f(r) = r**2 + 7*r - 9. Let b be f(-8). Which is bigger: b or 5/31?
5/31
Let s = 429 - 424.7. Is s less than or equal to 0.4?
False
Let n be 10/(-45) - (-416)/1791. Let p be 5/(-11) + 486/(-891). Which is greater: p or n?
n
Suppose -4*v + 24 = -4*h, -22 = -3*h + 5*h - 4*v. Which is greater: h or 6/389?
6/389
Suppose -3*t = -0*t - 24. Let w(q) = q**2 - 15*q + 24. Let c be w(t). Is -33 smaller than c?
True
Let z = -1061 - -1057. Which is greater: 1/50 or z?
1/50
Suppose 3*q - h = -6*h + 12, -4*h + 14 = -2*q. Suppose 5*l + 3 = 8. Let i be 5/(-20)*(l + -1). Which is greater: i or q?
i
Suppose -4*n - u = -n - 16, -5*u + 14 = 4*n. Suppose -5*o = -n*o + 9. Is o != 5?
True
Let f be -3 + 1 + -1 + 3. Let a(h) = -8*h + 1. Let w be a(1). Do w and f have the same value?
False
Let n = 1/13 + 19/91. Let b = 338 - 354.1. Let m = b + 7.1. Which is smaller: m or n?
m
Suppose -5*z + 310 = -3*w, 2*z + 43 = -2*w - 169. Is w >= -107?
True
Let r be (-52)/(-39)*(-3)/(-4). Let p be 2 - (78/(r - 3))/(-19). Are p and -1/4 nonequal?
True
Let b(o) = -o**3 + o**2 - o - 1. Let d be b(0). Let n be -3 - (10/(-6) + d). Let m be -1 - 2 - 25/(-15). Is n equal to m?
False
Suppose f + y - 20 = 0, 3*y - 4 = 2. Let i = 11 - 11. Is f at least as big as i?
True
Let x = 35878/39 + -920. Which is bigger: -2 or x?
x
Let o(j) = j**2 + j + 3. Let c be o(-2). Suppose h - 2*f + 9 = -f, 27 = -3*h + c*f. Are -13 and h unequal?
True
Let z = -3 + 2.96. Let s = -0.96 + z. Let l = -46 + 47. Which is greater: s or l?
l
Let u = -1703/4295 + -3/859. Let h = -44 + 394/9. Is h at most as big as u?
False
Let y = -0.287 + 0.587. Is y greater than or equal to 114?
False
Let m = 674 - 638. Is 42 <= m?
False
Let x = 9996480079/34723531710 - 54143/302246. Let f = x - 2/3105. Which is smaller: 1 or f?
f
Let i(v) = -5*v**2 - 5*v - 1. Let l be i(-1). Which is greater: l or 4/153?
4/153
Let n = 0.1461 - 4.1461. Which is greater: -49 or n?
n
Let q be ((-70)/(-2))/(-5) + 2. Let s = -5 - q. Let x = s - 18. Does -18 = x?
True
Let l = -0.9 + -0.8. Let a = -1.35 - l. Is 0.1 not equal to a?
True
Let o be (-5 - (5 - -7))/(-71). Which is greater: o or -1?
o
Let c = 271 - 320. Which is bigger: c or -1/2?
-1/2
Suppose 16*p = -0*p. Let h be (6/45)/(5/3). Which is smaller: p or h?
p
Let n(l) = -l - 8. Let w = -19 - -13. Let r be n(w). Let x be 1*2/(-4)*(-30)/(-5). Which is smaller: r or x?
x
Let r = 5757256/493 + -11678. Which is smaller: r or 0?
0
Let p = -33.9 - -32. Let f = 6.1 - p. Let y = f + -14. Is y at most as big as -3/4?
True
Let u = -4305011/799 + 5388. Are -1 and u nonequal?
True
Suppose y = 3*y + 82. Let o be (1 - 0)*y/246. Is 1 greater than o?
True
Let b(k) = k - 5. Let a be b(4). Let q = 3 + -2. Let s be 10*q/(-4) + 3. Is a greater than s?
False
Let k = 1.8 - 1.88. Let g = 0.09 - k. Let u = g - -5.83. Is u greater than 1/4?
True
Let k be (-7 - -2) + 238*(-9)/6. Which is bigger: -361 or k?
-361
Suppose 5*m = -3*z + 585, -5*z - 431 = -3*m - m. Let t be -1 - (-111 - 1) - 84/(-21). Is t smaller than m?
False
Let d be ((-101)/(-3030))/((-10)/(-8) + -1). Suppose 8*o - 10 = 3*o. Let m = 3 - o. Which is greater: d or m?
m
Let w(y) = y + 13. Let a(t) = t + 1. Let n(f) = 3*a(f) - w(f). Let k be n(9). Suppose 0 = -h - h - k. Is h bigger than -5?
True
Suppose 0 = 5*s + 2 + 3. Let n(g) be the third derivative of g**4/24 + g**3/2 - 5*g**2. Let c be n(-5). Is c greater than s?
False
Let z = 35 - 36. Let q = -31 - -96. Let v = q + -323/5. Which is smaller: v or z?
z
Suppose -s + 21 = 5*y, 0 = 5*s + y + 3*y - 84. Suppose -5*p - 8 - 11 = 2*g, 2*g = -4*p - s. Does p = -2?
False
Let x be 9/(-11)*1 + 1. Let g = 8.84 - 8.9. Is g < x?
True
Let c be -1 - 12/(-8) - 2/(-4). Let t be (c/(-5))/((-48)/(-210)). Which is bigger: -1 or t?
t
Suppose -2*h = -3*h + 3*n - 9, -2*h = -5*n + 15. Let a be (1 - 1) + (-24 - h)/4. Let l = -16 + 63/4. Is l not equal to a?
True
Let d(y) = y**3 + 10*y**2 - 3*y - 9. Let n be d(-7). Let f be (-471)/n - (-4 + 1). Which is smaller: f or -1?
-1
Let k = -26 + 13. Let c(y) = y + 1. Let i be c(2). Let j be i/5*5/(-15). Which is bigger: j or k?
j
Let s = 8.31 + 0.39. Let r = s - 8.73. Which is greater: 0 or r?
0
Suppose -16*b = 438 + 58. Which is smaller: -26 or b?
b
Let u be 6 - 12 - (4/4 + -5). Are -44 and u equal?
False
Let c = -5.6 - 2.4. Let t = 7.3 + c. Let b = 0.9 + t. Is -7 bigger than b?
False
Let x = 28.1 + -27. Let n = x + -1.3. Are 2 and n unequal?
True
Let a(f) = -3*f**2 + 24*f + 9. Let v be a(6). Let z be ((-9)/(-6))/(v/16 - 3). Is z bigger than -7?
False
Let x = -5.98 + -0.02. Let f = -5.1 + -0.9. Let y = x - f. Is y equal to -0.1?
False
Let y(s) = -s**2 + 2*s + 11. Let b be y(-4). Let k = b + 12. Which is bigger: 0 or k?
0
Suppose -12 = 2*r - 76. Is 157/5 at least as big as r?
False
Suppose 166*m - 169*m = 1317. Which is smaller: -440 or m?
-440
Let b = -9 + 13. Let s be b/14 - (-60)/(-112). Let m = -8 - -7.9. Which is smaller: s or m?
s
Suppose 0 = x - 1. Let d = 1 + x. Suppose -3*t + d - 5 = 0. Which is bigger: t or -2?
t
Suppose -35 = 5*t + 435. Which is smaller: t or -95?
-95
Let r(m) = -9*m - 80. Let s be r(-9). Let l = -53283 - -425389/8. Let n = 109 + l. Which is smaller: s or n?
n
Suppose -3*k + 144 = -7*k. Let z = k - 8. Is -43 less than or equal to z?
False
Let f = -1 - -1.1. Let g = 16.12 - 0.12. Let q = g + -16.1. Are f and q non-equal?
True
Let d = -63979/1802 + 4/901. Let j = d + 36. Is j less than 1/6?
False
Let c = -501 - -514. Let k = -1 + 1. Does k = c?
False
Suppose 4*n - 7*n = -18. Let v = 9 + n. Which is bigger: v or 16?
16
Let b(o) = -16 - 2*o + o + 5. Let n be b(-9). Let u be 105/(-60)*2/7. Which is smaller: n or u?
n
Suppose 7*h - 212 = 5*h. Let t = h + -104. Which is bigger: 13/4 or t?
13/4
Suppose 0*j = j + 5. Let v be (3/1 + -3)/2. Suppose 0*d - 2*d - 8 = v. Is j at least d?
False
Let v be -3 + 3 + ((-31)/(-4) - 3). Let j = 0.074 + -0.174. Which is bigger: j or v?
v
Let k be (-2 - 0)/(1/5). Suppose 38*m - j = 33*m - 56, 3*j - 18 = 0. Is m != k?
False
Let c = 2/45 - -41/90. Let j = 1 + c. Let l = -4500.8 + 4501. Are j and l non-equal?
True
Suppose 0 = 2*c - 3 + 13. Let l = 115 - 110. Suppose 5*w = l, -3*k = -5*k - 5*w - 11. Is c != k?
True
Let g = 4.6 - 5. Let y = 3.9 + -4.3. Let h = g - y. Is -5 bigger than h?
False
Let y be (2/(-45))/(300/540). Which is bigger: y or -14/11?
y
Let z = 1378 - 1702. Which is smaller: z or -0.2?
z
Suppose u - 63 - 49 = 0. Let m(s) = 3 - u*s + 122*s - 1. Let x be m(-2). Is x smaller than -18?
False
Let v = -904 + 929. Is 37 at most v?
False
Let l = 23 + -205/9. Let k be (-27)/(-42) + -2 + (-21)/(-14). Is k > l?
False
Let p = -6 + 17. Let v(s) = -s**3 + 12*s**2 - 11*s + 2. Let w be v(p). Suppose -w*j + 0*j = -16. Are -2 and j equal?
False
Let d = 49 + -51. Let v be 7 + (0 - d - 3). Is 28/5 greater than v?
False
Let h = 257 - 144. Is h less than 114?
True
Let x(g) = g**3 - 15*g**2 + 16*g - 22. Let d(w) = w**2 + 24*w + 14. Let c be d(-24). Let m be x(c). Do m and 0 have different values?
True
Let p be -6 + 9 + 1 + 285. Let l = p - 2315/8. Is l less than or equal to -1?
False
Suppose 0 = -33*r + r - 32. Is -2/29 less than r?
False
Let b be -1*-1*6/195. Let f = 306/1495 - b. Are f and -1 non-equal?
True
Suppose 0 = v - 3*r + 6, 0*r + r = -3*v - 18. Let b be ((-2)/v)/((-8)/24). Which is greater: -1/30 or b?
-1/30
Suppose -27 = d + 3*k, -2*d - 5*k - 50 = -0*k. Let f be (18/d)/(10/(-25)). Let b be -1*(-1)/f*-2. Which is bigger: 0 or b?
0
Suppose -2*o = -344 + 50. Is 147 greater than or equal to o?
True
Let b(l) = 3*l**2 + 43*l + 15. Let g be b(-14). Which is smaller: g or 24.2?
g
Let f = -8 + 12. Let r be 2/(-4)*8 - 0 - (-8)/1. Is f less than r?
False
Let y = 11 - 10. Let o be (-6 + -10 + 15)*(-5)/1. Do y and o have different values?
True
Let l = -5872/3 + 88048/45. Let y = l + 14/15. Let t = 91 + -91.3. Which is bigger: y or t?
y
Let b = 422998/43263 - -2/4807. Is 10 at most as big as b?
False
Suppose 0 = 4*c - a + 5, 10 = 2*c + 2*a - 0. Suppose -5*i - s - 324 = c, 176 = -0*i - 3*i + 4*s. Let y be (-2)/8 + (-208)/i. Is y < 3?
False
Suppose 0 = 933*l - 929*l - 896. Is 223 > l?
False
Let h = 26.5 - 19. Let f = -1.5 - h. Let m = -8.8 - f. Are m and 0.1 nonequal?
True
Let u be (2*32)/(6 + (-20