(4). Suppose 5*s - s - n = 0. Does s = 23?
True
Let f be 2/3 - (-8)/3. Suppose -5*a + 3*a = c - 3, -4*a + 12 = -4*c. Are a and f nonequal?
True
Let u be (-2)/9 + 678/216 + -3. Let g = -5 + 10. Suppose 4*d - 5 = 3*z, -4*d + 3 = -g. Is u > z?
False
Let u = 1.97 - -0.03. Let f = u + -3. Let m = 8.1 - 7.1. Which is smaller: m or f?
f
Let o be 84/22 - 3 - 2/(-11). Let h be ((-2680)/(-6))/((-2)/9). Let w = -146728/73 - h. Are o and w equal?
False
Let b be (-1 + -30)/((-22)/8). Which is smaller: b or 0?
0
Let k = -2 - 4. Let h be 693/(-6)*4/k. Suppose 2*c + 24 = l + 6*c, -4*l + h = -3*c. Are l and 21 unequal?
True
Let g = -0.06 - -0.35. Let l = g - 0.1. Which is smaller: l or 0?
0
Let d(s) = 30*s**3 - 3*s + 1. Let m be d(2). Let a = 4936/21 - m. Suppose -2*z - 5 = -3*y, 4*z + 3 = -2*y + y. Which is smaller: a or z?
z
Let o be 10/360 + (21/(-12))/7. Is o > -7?
True
Let n = 11 - 11. Let z be n*3/(-6)*-2. Let i = 2 + -1. Which is greater: i or z?
i
Let w = 0 - 1. Let h be (61/(-62) - (-1)/1)*(-260)/390. Which is smaller: w or h?
w
Let k be (2/4)/(6/36). Let n = k + -3. Suppose n*r = -3*r - 3. Which is bigger: r or -2?
r
Let i be (-27)/(-144)*(-4)/33. Is -1 at least as big as i?
False
Let i be (1 - 3)*-2 + -2. Let r(k) = 5*k**i + 1 - 2*k + 3*k**2 - 2*k**2. Let f be r(1). Is f less than or equal to 6?
True
Suppose 3*s + s + 96 = -2*j, 5*j - 4*s + 296 = 0. Let w = -99/2 - j. Let q(v) = v**2 + 6*v. Let y be q(-7). Which is bigger: w or y?
y
Suppose 5*q + 3*v = -173, 1 + 1 = -2*v. Is -3/8 at most as big as q?
False
Let y(l) = -l. Let w(m) = -6 + 3*m + 2 + 0*m. Let f(u) = w(u) + 2*y(u). Let d be f(5). Which is bigger: d or 3/5?
d
Suppose 4*l + 0*u = -u + 8, 4*u + 16 = 0. Suppose -4 = 2*m + 3*w - 5*w, l*w - 4 = m. Suppose -5*b + 0*b + 17 = -3*x, -4*x = -5*b + 16. Is m at least b?
False
Let u = -70.8 - -71. Let y = -0.2 + u. Which is greater: y or 3.1?
3.1
Let j be (-3 + (-26)/(-10))*5. Let t be (2/3 + j)/((-4)/6). Which is greater: 3/5 or t?
t
Let n be 51*(-20)/(-18) - (-2)/6. Suppose n = 10*y - 73. Which is greater: 15 or y?
15
Suppose -19*g + 11 = -8. Which is greater: 2/45 or g?
g
Let w = 16175 + -2442443/151. Is w > -1?
True
Let p be (-18)/9 + (0 - -1). Let x be 2*144/10 - p. Let d = x - 30. Are d and 1 unequal?
True
Let w = -927 + 572. Are w and -355 equal?
True
Let z = -9739.1 + 9739. Let k be 121 + (-1 - 0) + 2. Which is greater: z or k?
k
Suppose 4*n = n + 15. Suppose c + 39 = n*a + 146, 8 = 4*c. Is a at least as big as -22?
True
Let l = -135806529032947/47944 + 2832607397. Let q = 26/461 + l. Let m = q + -3/26. Which is greater: 0 or m?
m
Let a be (-8296)/(-56) + 6 + -2 + -3. Is 150 < a?
False
Let r be 72/1*(-15 + 5019/315). Is r not equal to 67?
True
Suppose -91 = 4*u + 113. Is -59 equal to u?
False
Let o = 9.3 + -1.3. Let g = 9.4 - o. Let u = -0.4 + g. Is -1 bigger than u?
False
Let k be 6/(-18) + (-10)/(-3). Let v be 0/(1/(2 - k)). Let h be ((-2)/(-4) - v)*6. Which is smaller: h or 5/3?
5/3
Let q be 6/(-33)*-1031045 + -4. Let s = -187817 + q. Let h = s + 359. Which is smaller: 1 or h?
h
Let t(l) = -1965*l**3 - l + 1. Let n be t(1). Let r = 438194/223 + n. Let a = -875/3791 + r. Is -1 at least as big as a?
False
Suppose -26*c + 1020 = -9*c. Is 60 less than or equal to c?
True
Suppose 0*l - 5*y + 2072 = 2*l, l - 5*y = 1036. Let f be (14/l)/((-2)/8). Is f bigger than -1?
True
Let l be (2/3)/(5 + (0 - 9)). Is -4 not equal to l?
True
Let k = -6805/2808228 + -2/7549. Which is smaller: k or -1?
-1
Suppose 367*q - 380*q = -1170. Are q and 87 equal?
False
Let w = 0.024 - 1.324. Let p = 5.7 - 6. Let l = p - w. Which is smaller: l or -2/11?
-2/11
Let y(u) = -6*u**2 + u - 2*u - 5*u - u**3. Let h be y(-4). Suppose -25*z + 5*f = -29*z - 33, -4*z + 2*f - 26 = 0. Which is smaller: z or h?
h
Let l be 1458/567 - (1 - (-10)/(-7)). Let v be 3/l*((-76)/(-20) - 4). Let w = 0.18 + -0.2. Are v and w non-equal?
True
Let h(g) = -g**3 - 5*g**2 - 3*g + 2. Suppose 4*z + 22 = -2*o - 0*o, 3*z - 2*o = -6. Let t be h(z). Let i be (-5*8/(-20))/t. Which is smaller: 2/61 or i?
i
Let a = 13 - 9. Let t be ((-2)/a)/(((-21)/(-518))/(-3)). Is t at least as big as 37?
True
Let w = 0.2 + 0.8. Which is greater: 9/26 or w?
w
Suppose 0*n = 2*v + 3*n + 7, 5*v + 5*n + 5 = 0. Suppose j - 12 = v*j. Let i be (1 + -1)*2/j. Which is smaller: i or -1?
-1
Suppose -2*n + 3*u - 1744 = 2*u, -1740 = 2*n + u. Let m = n - -1454. Let z be -1 - -4 - 1727/m. Is z > -1?
True
Let m(b) = -b**3 - 7*b**2 - 10*b. Let p be m(-5). Which is bigger: p or -2/741?
p
Let q = -347 + 347.1. Is q != 2/459?
True
Let r(k) be the second derivative of k**3/6 + 7*k**2/2 - 3*k. Let p be r(-8). Let l = 250/279 - 14/31. Is l > p?
True
Let j be 4*((-9)/(-2) - 1). Let r = j - 17. Let n = -1 + -3. Is n > r?
False
Let j = 0.1 + -0.2. Let u = 167757/10 - 16532. Let g = -244 + u. Is g at least j?
False
Suppose -4*h - w - 9 = 0, 0 = 3*h + w - 3*w - 7. Which is greater: h or -2?
h
Let s = 26.96 + -27. Let h = -4.24 - s. Is h less than or equal to 0?
True
Let d = 263 + -263.07. Which is smaller: d or 0?
d
Let g = 16528/3543 + 2/1181. Let s be (-1 - 0)*(24/(-6) + -9). Suppose 5*t - s = 12. Is g at least as big as t?
False
Let b = -22 + 31. Let d be (-6)/b + 56/(-6). Let t(q) = q + 12. Let v be t(d). Is -1/5 < v?
True
Let y = -24 - -47/2. Suppose -5*r - 5*w = -95, 113 = 5*r - 0*w - w. Let q = -22 + r. Is q greater than y?
True
Let f be -4 - 7*-5*(-12)/(-70). Let o be ((-2)/1)/(24/(-20)). Which is smaller: f or o?
o
Suppose -310*a + 166 = 3*h - 306*a, -h + a + 53 = 0. Does h = 12?
False
Let o be (-6)/10 - 138/840. Let w = -1/20 - o. Is 0 not equal to w?
True
Let x(y) = 27*y - 163. Let r be x(6). Which is smaller: r or -2/79?
r
Let j = -2/67 - 43/804. Let f = 1/2 - 1/4. Let u = j - f. Which is bigger: 2 or u?
2
Suppose -2*g + 45 = 3*r, 0 = 2*r - 6. Suppose -2*q - g = -4. Suppose -2*a - 3*x - 7 = 0, 0 = -0*a - a - 2*x - 2. Which is bigger: a or q?
q
Let j(i) = -i**3 - i**2 + 102*i + 258. Let l be j(-9). Let q(f) = 5*f - 1. Suppose -2*o = 3*m - 4*m, o + 4*m = -18. Let b be q(o). Is l at least b?
False
Let f = -0.62 - -0.42. Let w = 3 - -1. Suppose 0 = -w*g - 5 + 1. Which is smaller: f or g?
g
Suppose 0 = -10*o + 4*o + 24. Let c = -4 + o. Is 6 less than or equal to c?
False
Let l be (-100)/(-6)*(-4 + -2). Let c be l/(-15)*5/(-20). Is -2 greater than c?
False
Let n = -15 + 15.16. Let p = 0.26 - n. Is -19 greater than or equal to p?
False
Let m = -4 + 12. Let o be ((-2)/3)/(m/36). Let t be (-3)/(((-36)/64)/o). Do t and -16 have different values?
False
Suppose -2*q + 0 = 3*c - 18, -5*c - 9 = -q. Let w = -14 + q. Let t be (w - 1)*84/(-36). Which is bigger: 13 or t?
t
Suppose 2*k = -5 - 1. Let f be 4*(2 + -3 - 28/(-16)). Suppose -f*u - 10 = 2*u. Do u and k have the same value?
False
Let s = -19 - -18. Let x = s - -2. Let j be (x - -1) + (-2)/(-1). Do 4 and j have different values?
False
Let v = -1022 + 1021. Is v less than 2/9?
True
Let r = 3 - 2.96. Let k = -499.1 - -499. Which is greater: r or k?
r
Let r be 9/(-3) - (38 + 11). Is r equal to -53?
False
Let w = -49 + 50. Which is smaller: -2/239 or w?
-2/239
Suppose -h + 5*q - 55 = 4*h, -2*h - 3*q - 12 = 0. Let u be 2/7 - h/(-7). Let s be 20/(-130)*u/(-2). Does s = -1?
False
Let s(q) = -q**3 - 5*q**2 + 4*q + 8. Let x be s(-6). Suppose 13 = 3*z - x. Let k = 12 - z. Which is smaller: k or 3?
k
Suppose h = 4, 2*h - 149 = 19*w - 16*w. Which is bigger: -49 or w?
w
Suppose -2*w = q - 19, 7*w = 2*w + q + 51. Let t = w - 72/7. Is 14 bigger than t?
True
Let j = -25 - 2. Let k = 111/4 + j. Is 1 at least k?
True
Let q be ((-4)/16*354)/(9/126). Is q greater than -1238?
False
Let r = 5.8 - 0.8. Is 7 smaller than r?
False
Let m be ((-60)/75)/(2/70). Let f = -317 - -288. Is f greater than or equal to m?
False
Let l = -457 + 460. Let k = -25 - -74/3. Is l != k?
True
Let t = -280.979 - -281. Is -2/15 greater than t?
False
Let m = -971/1668 + -1/834. Is m smaller than -2?
False
Let s = -85 - -86. Which is smaller: s or -4/195?
-4/195
Let c = 0.2464 - -0.0536. Which is bigger: 33 or c?
33
Let b = -19 + -2. Let g = 23 + b. Suppose -3*x - 7 = -4. Which is bigger: g or x?
g
Let y be (-4)/(-10) + 168/30 - -1. Suppose 5*u - y = -2*u. Which is greater: u or -1/20?
u
Let j be 3*(380/(-12))/5. Let f = j + 16. Let l be f/(-2) -