is smaller: f or j?
f
Let i = -0.8 - 0.2. Let k = -184 - -110. Let b = 76 + k. Which is bigger: b or i?
b
Suppose 0 = 5*d - 36 - 4. Let s = -255 + 257. Is d bigger than s?
True
Suppose 4*z + 8 - 25 = x, -4*x = 4*z + 8. Is -3 > z?
False
Let y = -0.058 - -1.138. Let s = 0.08 - y. Which is bigger: 0 or s?
0
Suppose -5*c = k - 1055, -c - 10*k = -12*k - 200. Is c greater than 208?
True
Let h = -155/3 - -54. Let x = 1253 + -1253. Which is greater: x or h?
h
Suppose 2*n - 7 = 2*s + 7, -25 = -4*n + s. Let z be (-3)/(1*(-27)/n). Let k be -3*35/(-45) + 2/(-6). Is z at least k?
False
Suppose 7*q + 5 - 285 = 0. Let x = -11 + q. Is 28 < x?
True
Let w = -16 + 16.11. Let k = 0.31 - w. Is k at least as big as -9?
True
Let j be (-1)/((-3)/6) + 0. Suppose 0 = -5*y + o - 21, 25 = -y - j*o - 3*o. Let v = -7 - y. Which is smaller: v or -7/9?
v
Let z(n) = -3*n**2 - 115*n + 77. Let p be z(-39). Which is greater: p or 8/495?
8/495
Let u = 14.54 + 0.46. Which is bigger: -3/7 or u?
u
Let c = 0.233 + 5.767. Is c < -7?
False
Let l(j) = j**3 + 10*j**2 + 8*j - 6. Let z be l(-9). Let s(w) = w**3 - 4*w**2 + 3*w. Let y be s(z). Is 1 <= y?
False
Let m = 9.4 - 10. Let y = m - -0.7. Is y equal to 6/7?
False
Let d = -0.27 + 11.27. Let c = -9.4 + d. Let v = -290 + 289.9. Which is bigger: v or c?
c
Let b(s) = 5*s + 44. Let g be b(6). Do 72 and g have different values?
True
Let d = 101.99 - 102. Let q = 0.2 + 0.1. Is q greater than d?
True
Let x be 26/4 - (-3)/(-2). Suppose 5 = 2*t + v - 0*v, 0 = -4*t - v + x. Suppose j + 0 - 1 = t. Which is smaller: j or -1.5?
-1.5
Suppose 4*o = 0, -5*n + 2*o + 39 = -2*n. Suppose -4*g - 85 = -n. Let c = -35 - g. Which is smaller: c or -16?
c
Let n = -114 + 215. Let p = n + -1817/18. Let w = p + -13/18. Which is smaller: -1 or w?
-1
Let v(f) = 5 + 13*f - 5*f - 3*f - 6*f. Let k be v(1). Which is greater: 22/7 or k?
k
Let w = 1130383/519 - 2178. Is 1 < w?
False
Let x(i) = i**3 + 5*i**2 - 3*i - 3. Let q be x(-5). Suppose 3*h - 69 = -3*m + 48, 0 = 3*h - q. Is 35 smaller than m?
False
Let q = -3576/13 + 114081/416. Which is smaller: 0 or q?
q
Let h = -10.12 - -0.12. Let l = 9 + h. Let p = -0.86 + -0.04. Which is greater: p or l?
p
Let y = 54 - 52.14. Let u = -2.64 - -2.5. Let g = y - u. Which is smaller: 0 or g?
0
Let h be (-7 - -2)*(-4)/4. Is 94/15 less than or equal to h?
False
Suppose 0 = 2*x - 19 + 117. Is x greater than -49?
False
Let j be (-22)/(-12) - 4/2. Let h be -3 + (-4 + -26)/5. Let b(x) = x**2 + 10*x + 9. Let u be b(h). Which is smaller: u or j?
j
Let b be (834 + 0)*7/(-14). Let q = b - -925. Let h be -5*(-2 + q/260). Is 1 != h?
True
Let c be (-16)/(-112) + 1349/(-182). Let s = c - -237/26. Is s at least as big as 2?
False
Let a = 320 - 319. Which is greater: a or -0.04?
a
Let c be (66/(-55))/(1/(-5)). Let i be 34/(-77) - c/21. Is i at most 0?
True
Let l(a) = 3*a + 1 + a - 6*a - 2. Let x(i) = -i. Let r(v) = 2*l(v) - 5*x(v). Let u be r(2). Which is greater: -2/9 or u?
u
Let g be 100/8 - 5 - -5. Is g not equal to 12?
True
Suppose 11*g + 77 - 55 = 0. Let r = 2 + -7. Does g = r?
False
Let d(z) = -z**2 + 7*z + 116. Let l be d(-8). Let i be (-2 + 3/2)*0. Suppose i*g - 3*g - 12 = 0. Is g greater than or equal to l?
True
Let a be (4/(-2))/(2/10). Let z be (-4)/a*(-9 + 5). Let i = z - -62/45. Are 2 and i equal?
False
Let k = 0.9 - -0.1. Suppose 85 = -4*s + 3*j + 250, -4*s + 141 = 5*j. Let z = s - 159/4. Which is greater: z or k?
k
Let z = 4133/14 + -295. Let k = -38 - -41. Suppose 0 = -k*f + 7*f - 4. Which is bigger: f or z?
f
Let b = -1413 + 1247. Is b < -165?
True
Let n be (2/4242)/(7/42). Which is smaller: 1 or n?
n
Suppose -w + 7 + 4 = 0. Suppose 0 = -4*l - 5*q + 3, 3*l - 2*q - 3*q = w. Suppose 0 = -0*y - l*y - 8. Is -6 != y?
True
Let g = 30 - 21. Let l = 8.8 - g. Is 0 greater than l?
True
Let r be (-1 - -4)/(-64 + 63). Which is greater: r or -7/3?
-7/3
Suppose -28*h = -25*h - 5*g - 137, 0 = h - 2*g - 46. Is h at least as big as 43?
True
Let t be -4 + (-4)/24*45/(-3). Which is smaller: t or -3?
-3
Let z be (-16)/(-88) + 238/22. Suppose 2*x + 0*x = 14. Suppose -z*c = -x*c. Is 0 > c?
False
Let r = 178/11 - 2147/132. Let a(t) = -2*t + 3. Let i be a(2). Which is smaller: r or i?
i
Let h = 213 - 215. Which is smaller: h or 16?
h
Let b = 15 - 10.8. Let l = -6.8 - b. Which is bigger: l or 0.2?
0.2
Let w(j) = -j - 12. Let c(g) = -2*g**2 + 11*g - 4. Let z be c(6). Let h be w(z). Let u be (2/(-7))/(h/12). Which is bigger: u or 1?
u
Let x be (8 + -8)/(4 + -1). Suppose 0 = -2*q + v + v - 10, x = -3*v - 3. Is q > -5?
False
Let v = -26 - -31. Suppose 0 = v*z - 22 + 2. Is z bigger than 3/7?
True
Let l = 1173 + -1174. Which is smaller: -20/11 or l?
-20/11
Let f = -1136.3 + 1136. Are f and -13 nonequal?
True
Let f(s) = 123*s - 128. Let l be f(-9). Is -1234 < l?
False
Let s = 0.547 + -0.247. Is s less than or equal to -86?
False
Let r(a) = -a**3 + 26*a**2 + 55*a + 29. Let v be r(28). Which is greater: -3/416 or v?
v
Suppose -4*j - 5 = -9. Is 12/55 < j?
True
Let t(g) = -g**2 - 3*g - 2. Let z be t(0). Let a = 0 + 8. Let s be (2/28)/(2/a). Is z at least s?
False
Let s = 29 - 21. Let n be (-315)/20 - 2/s. Let f(o) = -4*o + 5. Let q be f(5). Are q and n equal?
False
Let t(f) = f**2 - 5*f + 6. Let v be t(6). Suppose -3*q - 290 = -8*q. Let r = q - 46. Is r at most v?
True
Suppose 0 = 4*q + 20, 0*q + 3*q - 737 = -2*u. Let k = 7898/21 - u. Is k >= -1?
True
Let l be 24 + 10*(140/25 - 6). Are l and 17 unequal?
True
Suppose -3 = l + x, -2*x + x = -4. Which is smaller: 3 or l?
l
Let w = 395/2484 - 4/27. Let n = 167/1564 + w. Which is smaller: n or 0?
0
Let q be -4 - (1309/(-340) - 1/(-4)). Is q at least -0.069?
False
Let f be (166848/4095)/11 - 4. Let j = 2/195 + f. Is -1 smaller than j?
True
Suppose -10*a = -12*a - 98. Is -50 smaller than a?
True
Suppose b - 5*k - 13 = 2, -9 = 5*b + 3*k. Suppose -10*w + 5*w - 85 = b. Which is smaller: -18 or w?
-18
Let i = -0.391 + 0.46. Which is smaller: -1 or i?
-1
Let z be 1/(1/4) + -2. Let n be 1 + 0*z/4. Let u = -183 + 2381/13. Are u and n unequal?
True
Let c(q) = q**3 + 7*q**2 + 5*q + 7. Let v be c(-7). Let g = 56 + v. Let n be ((-2)/g)/(7/21). Which is bigger: n or 0?
0
Suppose 25 = -d - 4*v, 2*d = -3*v - 18 - 7. Let b = 9 + -9. Suppose -3*r - 21 = -b*r. Which is bigger: d or r?
d
Suppose 3*d - 7 = -o, 0 = o + d - 3*d + 3. Let u = 363 + -1811/5. Is u greater than o?
False
Suppose d + 5 = 0, -3*a + d + 10 = 2*d. Suppose 1 = -a*k + 6*k. Is k <= 2/109?
False
Suppose 4 = -g, -3*u + 4*g - g + 1551 = 0. Is u greater than or equal to -0.1?
True
Let u be (1/(-2))/(35/20). Let i = 27.1 - 27.2. Is i at least as big as u?
True
Suppose -3*v = -4*j + 12, 3*j + 1 - 10 = 3*v. Suppose 0 = j*g - 16 + 1. Suppose -g*a = -2*a. Is a less than or equal to 1/9?
True
Let d(m) = 2*m**2 - 90*m + 135. Let f be d(43). Is f < -39?
False
Let h be 1 + ((-10)/25 - 6/10). Let j be ((-4)/6)/(h + (-2)/(-66)). Is -0.2 equal to j?
False
Let j = -24/109 + -5075/218. Let b = 541 - 565. Which is bigger: j or b?
j
Let r = -197 + 196. Which is bigger: r or 5?
5
Let h = -4648824791/2604 - -1785263. Let w = 3/124 + h. Suppose 0 = -4*b - c - 3 + 4, 2*b - c + 7 = 0. Is b at least as big as w?
False
Suppose -6*w + 7*w = -14*w. Which is greater: w or -1/40?
w
Let r = -33.024 + 0.024. Let c = 24 + r. Let l = 10 + c. Is -12 smaller than l?
True
Suppose -37 + 22 = -15*x. Are x and 1/175 non-equal?
True
Let s = -183 - -177. Which is smaller: 2/9 or s?
s
Let g = 4/229 - 1844/687. Which is smaller: -3 or g?
-3
Let f = 20/7 + -46/21. Which is smaller: f or -30?
-30
Suppose 0 = -5*q - 25, -5*n + 0*q = -q - 25. Let p(y) = -y**3 - 7*y**2 + y + 5. Let u be p(-7). Let i be (9/(-2) - u)*-2. Which is smaller: n or i?
n
Let z(b) = -b**3 + 6*b**2 - 3*b + 14. Let j be z(6). Let c be 4/(-2) + 2*2. Let h be c + 3 + j/1. Which is smaller: h or 12/7?
h
Let y = -991 + 566. Is y smaller than 1?
True
Let i(m) = -m**3 - 10*m**2 - 10*m - 2. Let k be i(-9). Suppose -6 = -k*c + 9*c. Let f be (-1)/c + (-12)/(-18). Which is smaller: f or 1/7?
1/7
Let f = 351.8 + -346. Is 2 less than f?
True
Let u = -0.8 - -0.67. Let x = u + -0.09. Let s = x - -1.22. Are -0.1 and s non-equal?
True
Let a be 7112/(-224)*(-3 + -1). Is 125 greater than or equal to a?
False
Let i = 336.7275 - 0.6275. Let j = i - 321. Let v = 15 -