 - 36. Which is bigger: 8 or z?
8
Let s be 299 + (-7)/(-4) + 9/36. Is 301 at least as big as s?
True
Let a(s) = -s**2 + 11*s + 5. Let i be 18*-5*(-8)/60. Let b be a(i). Which is smaller: b or -10?
-10
Let w be 21/(-12) - 2/(-1). Let t be ((-20)/6)/(36/(-54)). Let u be ((-2)/t)/(12/(-15)). Is u >= w?
True
Let z = -10 + 0. Let r = 8 + z. Which is smaller: 3 or r?
r
Let o = -0.192 + 0.202. Is o > -0.1?
True
Let x be 2 - ((3 - -1) + -9). Let f = 10 - x. Suppose 4 - 1 = f*l. Which is smaller: -2/27 or l?
-2/27
Let a = 447 - 447.8. Let o(z) = 2*z**3 - 2*z**2 - 3*z + 4. Let k be o(3). Let j = k - 215/7. Which is greater: a or j?
j
Let m(i) = 10*i - 4. Let c(s) = -9*s + 4. Let x(v) = 6*c(v) + 5*m(v). Let r be x(1). Which is bigger: 1/5 or r?
1/5
Suppose 12 = 4*a, -14*a - 126 = 2*f - 18*a. Is -58 > f?
False
Suppose 4*o = 5*o + 14. Let y = 35 + o. Do y and 20 have the same value?
False
Let o = -187 + 367. Let x be (-132)/o - (-4)/10. Is -26 smaller than x?
True
Suppose -5*o + 10*o = 110. Suppose -6*g = -g + 4*c + 11, -5*c - o = -2*g. Suppose 2*a = 6*a - 8. Is g smaller than a?
True
Let p = 1889/80 - -35/16. Which is bigger: p or 26?
26
Let w be (-80)/3*12/(-5). Suppose 4*z = -3*x - w + 20, 3*z = -x - 18. Let v be 1/(-2) + 2/x. Is v < -2?
False
Let w be (-2 - (-333)/162)/(10/(-6)). Are w and -0.1 nonequal?
True
Let b = 3.6 - 2.66. Let z = 0.7 - -0.3. Let g = z - b. Which is smaller: g or 1/3?
g
Let p(i) = -i**3 + 20*i**2 - 85*i + 11. Let r be p(14). Is r at most -21/13?
True
Let h(l) = -l**2 - 5*l - 4. Let m be h(-4). Let x = -113 - -1021/9. Which is bigger: m or x?
x
Let i(f) = -44*f**3 - 5*f - 4. Let g be i(-1). Suppose 5*x + 173 = -4*t, t + g = -5*x - 137. Which is bigger: -39 or x?
x
Suppose -2*n + 4 = 2*b, -2*n + 0*n = 5*b - 16. Is 86 greater than or equal to n?
True
Let i = 100 + -43. Let y = 211/4 - i. Which is smaller: -4 or y?
y
Let q = 254 - 253.9. Which is bigger: 1/23 or q?
q
Let l(h) = h**3 + 7*h**2 + 10*h + 3. Let o be l(-5). Let u(i) = i**2 - 5*i + 6. Let m be u(o). Which is smaller: 6/19 or m?
m
Let n be (-4)/15*39/(-26). Suppose 4*j - 4*x = -44 - 4, 0 = -5*j + 3*x - 64. Which is greater: n or j?
n
Let c = 17.45 - 14.45. Which is bigger: c or -78?
c
Let t = 62 + -65. Is t bigger than -76?
True
Let q = 4363 - 545366/125. Is -1 greater than q?
False
Let r(o) = o**3 - 7*o**2 + 5*o + 1. Let x be r(7). Suppose 0 = 5*n - 2*q - 33, 3*n - 4*q - x = -n. Let y = n + -1. Does y = 3?
False
Let v(u) = -u**3 - 4*u**2 - 2*u - 6. Let x be v(-4). Suppose -p = x*p - 3. Suppose 0 = q + p + 2. Which is smaller: -4 or q?
-4
Let a(x) = -48*x - 143. Let y be a(-3). Which is smaller: y or -4/601?
-4/601
Let j(k) = -2*k - 245. Let f be j(-22). Does -202 = f?
False
Suppose -4209 + 5919 = 10*x. Which is smaller: 167 or x?
167
Let j be (-1 - -4) + (-3 - -19). Suppose 5*l - j = -h, -2*h - 3*l = -5*l - 26. Suppose -25 - 27 = -4*v. Are h and v non-equal?
True
Let b = -1.3 + 1.9. Let y = 1 - 11. Let s = -8 - y. Which is smaller: b or s?
b
Suppose 5*j = -5*a - 170, 3*a - 194 = 5*j + 2*a. Which is smaller: -39 or j?
-39
Let q(g) = 2*g - 23. Let z(m) = -m**2 + 12*m + 10. Let k be z(12). Let a be q(k). Is a smaller than 0?
True
Let c = -4.5 - -8. Let q = -0.5 - c. Let t = q - -20. Is t at most 0?
False
Let z = 1376 - 50921/37. Which is bigger: z or -1?
z
Let k be (6 - (-16)/(-3))*(-1 + 7). Suppose -t + 9 = 5*g, 2*g + 4*t - 14 = k*g. Which is smaller: g or 5?
g
Suppose 3*n + 249 = 3*o, -5*o + 264 = -3*n - 7*o. Which is greater: -85 or n?
-85
Suppose 10*o - 15 + 5 = 0. Let x = o + -5. Suppose p + 3 = 1. Which is smaller: x or p?
x
Suppose -4*i + y + 1 = 0, -i - 3*i = -2*y - 2. Let k be (1 - 3) + (5 - (i - -2)). Which is greater: 0.04 or k?
k
Let g be 4/(-6) + 6/9. Let t be 8/(-28) + 12/42. Let r be 3/258*(-4 - t/2). Are g and r non-equal?
True
Let k be (-1 - 0) + 10/6. Let g = 98/5 + -397/20. Which is greater: g or k?
k
Let n = 537.1171 - 0.1171. Which is bigger: 2 or n?
n
Let g = -55 - -51. Let f be 4/(72/(-1227)) + g/(-6). Is f at most -69?
False
Suppose -w + 18 = -0*w + 5*k, -4*k = w - 13. Let n be ((-4)/6)/((-2)/15). Suppose 4*t - n*t = 8. Is t bigger than w?
False
Let g = -158 - -211. Do 69 and g have different values?
True
Suppose 2*a + 5 + 19 = 0. Let z(w) = -w**3 - 13*w**2 - 12*w - 4. Let j be z(a). Let x = 12 + -17. Is x greater than j?
False
Let w be 6/116*15/(-45). Let d = -3/58 - w. Which is smaller: d or 1?
d
Suppose -4*a + 12 = 2*h, 2*a = -2*h + 9 - 3. Let b = -4 + 7. Which is bigger: b or h?
b
Suppose 12*c - 5*c = 2555. Let w = c - 12044/33. Which is smaller: w or -1?
-1
Let q = 48 + -9. Let c = -37 + 41. Suppose -m - x - q = 4*x, -4*m = c*x + 76. Are m and -25/2 unequal?
True
Let l(z) = 45*z - 2. Let m be l(2). Let g be 5/(-20) + 6/m. Suppose 2*u = -3*o + 2*o, 2*u - 2*o = 6. Which is smaller: u or g?
g
Suppose 2*b + 2*j = -0*b + 2, -2*b + 3*j = 3. Let p be (-136)/64 - (-2 + b). Suppose 4*t = -t. Which is smaller: p or t?
p
Suppose -225 = -52*r + 51*r. Is 226 > r?
True
Let o = -362/91 - -30/7. Does 0.5 = o?
False
Let y = -48 + 59. Suppose -14*g = -y*g - 15. Which is smaller: 4 or g?
4
Let v = 0.688 + -0.608. Is v >= -23?
True
Suppose -4*p - h = -189, 3*p = 8*p - 5*h - 255. Does 55 = p?
False
Suppose -2*y = 2, -r - 73*y = -74*y. Let w be (-208)/(-206) - -1 - 2. Which is greater: r or w?
w
Let s = -1126.8 + 1127. Is s less than or equal to 336/13?
True
Let x = 276 + -275.22. Which is smaller: 0.1 or x?
0.1
Let h = 0.15 + 10.85. Let f = h - 10.8. Let a = f + 0. Which is smaller: 5 or a?
a
Let y = 4 - 2. Suppose 3*g - 20 = y*g. Let m = -591 - -611. Are g and m equal?
True
Let n(a) = a + 10. Suppose -3*b - 21 = v, v = 5*b - v + 24. Let h be n(b). Let k be (-24)/78*(-3)/h. Are k and 0 equal?
False
Let y = 57.2 - -0.8. Let o = y - 55. Is 1/3 at most o?
True
Let q = 644 - 622. Which is smaller: 26 or q?
q
Suppose 3*r = -89 + 329. Let n be (1 - 9)*r/(-32). Is n <= 21?
True
Let m = -704.6 + -191.4. Are m and -0.1 non-equal?
True
Suppose 9 - 3 = 2*t. Let m be ((-1)/3)/(t/(-18)). Suppose m*k = -2*k. Which is smaller: k or 2/7?
k
Suppose 3*a = 2*d - 16, d = -d - 4*a - 12. Let g be ((-3)/(-3))/(1/d). Let o be 0 - (1 - (3 - g)). Which is smaller: 2 or o?
o
Let k = -2/219 + 464/2847. Let c(j) = 2 - 2 - 2*j - 5*j - j**2. Let o be c(-7). Is k smaller than o?
False
Let y be -1 + 4*(-3)/(-4). Let f be (15 + -13)*(-1)/y. Which is smaller: f or -2/73?
f
Let u = -15 - -15. Let l = -4 - -4. Suppose l = 5*p - u*p - 60. Which is smaller: p or 1?
1
Suppose 3*z = -3*g + 14 + 7, 3*g - 9 = z. Suppose -s + z = 1. Let a be (-36)/(-70) - (-4)/14. Which is bigger: a or s?
s
Let c(t) = -t**2 + 7*t + 8. Let p be c(8). Suppose p = -5*x - 25 + 5. Which is smaller: -13/5 or x?
x
Let k = 6.1 - 14. Let d = -5.1 + k. Is d equal to 0?
False
Let v = -3380 + 3393. Let k be (-102)/(-8) + 0 + -1. Which is greater: v or k?
v
Let q = -24 - -29. Suppose -q*y = 2*y + 7. Which is bigger: y or 2/27?
2/27
Let w = 83 - 81.2. Is -0.2 <= w?
True
Let s(l) = -34*l**3 - 6*l**2 + 7*l - 9. Let p be s(2). Which is smaller: p or -293?
-293
Suppose 64 = -322*o + 326*o. Let q(h) = -h + 8. Let i be q(4). Suppose -4*c - i*b - o = 0, 3 = -c - b - b. Which is smaller: c or -7?
-7
Let c = -4 + 5. Let f be c*(-4)/6*-3. Does f = -2?
False
Let h be ((-9)/12)/((-1)/4). Suppose -16 = -3*n - u, 0 = -7*n + h*n - 2*u + 22. Suppose 2*t + n = 3*k, -10 = 3*t - 5*k - 1. Is t <= 4/3?
False
Suppose 11 + 14 = -5*p + 3*s, 3*p + 15 = 3*s. Let v(k) = -k**3 - 14*k**2 + 16*k + 6. Let g be v(-15). Which is bigger: g or p?
p
Suppose -6 = -3*v - 3*i + 9, -5*v - i + 9 = 0. Let o = 712/5 + -13518/95. Are o and v nonequal?
True
Let b = 1.951 + 0.049. Which is greater: b or 39?
39
Let n be (-1186)/110 - (-4)/22. Is -10 > n?
True
Suppose 0 = -4*l - w + 76, -5*l - 5*w = 13 - 108. Let f = -32 - -50. Let p = f - l. Are p and 0.3 nonequal?
True
Suppose 0*d - 16 = -d. Suppose d*k - 19*k = -9. Suppose -k*v - 4 = v. Which is bigger: v or -3/4?
-3/4
Let k = 116 - 39. Which is smaller: k or 80?
k
Suppose 0 = 71*f - 73*f - 2. Which is greater: -2 or f?
f
Let y = 781/4668 + -1/1556. Suppose 2*u + 0*u - 2 = 0. Suppose -u - 14 = -3*m. Which is greater: m or y?
m
Let n = -1.046 + 1.446. Let s = -1/9 + 31/117. Which is greater: n or s?
n
Let u = -54817/2 - -160043/6. 