 - 1. Are z and k equal?
True
Let v = 57.47 + -57. Let h = v + -0.77. Which is bigger: h or -2/23?
-2/23
Let i(g) = g**3 - 3*g**2 + 1. Let x be i(4). Suppose 3 = w - 2, 0 = -4*p + 3*w + x. Let l be (6 - p) + 2/4. Which is greater: l or -1?
-1
Suppose n + 31 = -4*n + 31. Let q(a) = a - 4. Let u be q(5). Is u <= n?
False
Let l(v) = -2*v + 1. Let f be l(-2). Suppose 4*k - f = 3*q - 0*k, 3 = q + k. Are q and -2 non-equal?
True
Let r = -66 - -22. Let z = 41 + r. Let y = -79/4 + 20. Is z < y?
True
Suppose -5*m - 5 = -4*z - 23, -2*z = -3*m + 12. Let b be (-4)/m - 52/12. Let o be (-2)/b + 97/(-5). Which is greater: o or -18?
-18
Let c = -15743/5 - -3145. Let m = -0.1 + 0.2. Is c greater than or equal to m?
False
Suppose -v = -4*v. Suppose v = 36*d - 33*d. Suppose -2*g - 2*g = d. Which is bigger: g or -27?
g
Let u = 12 - 6. Suppose 4*g - s = 17, 27 = 4*g + 3*s - u*s. Suppose 0*y + g*y = 9. Are 2 and y non-equal?
True
Suppose 4*g = -2*f - 2, -3*g = 2*f - 4*f - 9. Is g <= -8/41?
False
Let f(r) = 21*r + 7*r**2 + 2 - 27*r - r**3 + 0*r**3. Let k be f(6). Is 4 bigger than k?
True
Suppose -14*k + 12*k - 43 = -o, -2*o + 26 = -k. Which is smaller: k or -36?
-36
Let f be -5 + 1/259*7*205. Is 2/5 less than or equal to f?
True
Let p be (-2)/7*7175/(-50). Which is smaller: p or 48?
p
Let c = -47 - -69/2. Let g(x) = 4*x + 15. Let n be g(-7). Let y = n - c. Which is smaller: 3/4 or y?
y
Let r = -1679/18 - -187/2. Which is smaller: r or -4/3?
-4/3
Suppose 5 + 9 = 2*i. Suppose -4*w + 3*w - 4*c = -i, 3*c = -5*w + 1. Is w > 1/4?
False
Let d = -3254.876 + 3249. Let f = -0.124 + d. Which is smaller: f or -0.2?
f
Let o be -1*6*(-10)/(-4). Let n be (28/8)/(o/6). Let l = -26 - -26. Does n = l?
False
Let q = 86 + -76. Let a be -3*(-4)/(-45) - q/25. Let x = -0.2 + 0.22. Are a and x equal?
False
Let y be ((-4)/(-212))/(6/(-6)). Suppose 0*g - 2 = 2*g. Which is greater: g or y?
y
Let y be 30/(-140)*2163/(-18). Is 26 < y?
False
Let j be (1/(-4))/(156/64). Let z = 61/468 + j. Which is smaller: z or -1?
-1
Suppose 21*c = 28*c - 7. Which is greater: -2/31 or c?
c
Let l = 3/482 - -137/55430. Which is smaller: 1 or l?
l
Let x be 105/33 + (-4)/22. Suppose 0 = -3*b + x. Suppose b - 13 = 4*u. Which is bigger: -12/5 or u?
-12/5
Let g = 50 - 435. Let d = g - -23484/61. Which is smaller: -1 or d?
-1
Let m = -827 - -787. Which is greater: m or -41?
m
Let x(w) = 12*w + 2. Let z be x(-1). Let o be ((-3)/(-1) - 5)/z. Let i = 0.9 + -0.8. Is o not equal to i?
True
Let o = -144 - -253. Is 110 greater than o?
True
Let f(d) be the first derivative of d**4/4 - d**3 + 2*d**2 - 5*d - 1. Let b be f(2). Which is bigger: 3/20 or b?
3/20
Suppose -11*h + 87 = -5*f - 13*h, 3*f + 77 = 5*h. Is -18 < f?
False
Let k(z) = 2*z**2 - 9. Let o be k(0). Let w(s) = -s**2 - 10*s - 9. Let j be w(o). Which is smaller: j or -1.5?
-1.5
Let t be ((-1)/(-3))/(4 - 10093/2523). Let r = 28591/34 + t. Which is greater: r or 2?
2
Let i be ((-5)/2)/(13/(-26)). Suppose -l - 29 = i. Is l < -34?
False
Suppose 3*n - 8 = 5*i, 2*i - 1 = -3*n - 0. Let k be -1 - (1 - (n + -3)). Let g = 7 + k. Which is greater: g or 2?
g
Let k = 18 + -17.74. Let q = k + 3.74. Let v = 0.2 - 0.2. Is v at most as big as q?
True
Let t be 8/(-12) - (-50)/(-6). Let l(m) = -m - 11. Let o be l(5). Let y = -26 - o. Which is greater: y or t?
t
Let z be (-118)/6 + -5 + 5 + 2. Which is smaller: z or -17?
z
Suppose -10*o + 1744 = 584. Which is smaller: o or 117?
o
Let z be ((-10)/40*0)/(-4). Which is bigger: z or 2/1487?
2/1487
Let p(c) = 4*c + 13. Let j be p(-3). Let g be -27 + (3 - j) - (7 - 6). Which is smaller: -25 or g?
g
Suppose 3*o - 7 = -2*m + 18, 5*o + m - 44 = 0. Let v(h) = 6 + 2*h**3 - h**3 - 11*h - 13 + o*h**2 - 5. Let j be v(-10). Which is smaller: j or -2/3?
j
Suppose -110*t - 5*p = -112*t - 14, -50 = 5*t - 5*p. Which is bigger: t or 1/34?
1/34
Suppose -2*y - 3 - 7 = 0. Let n be 231/5 + (-31)/155. Let b be n/14 - (-15)/y. Is 0 smaller than b?
True
Suppose 3*b = -0*b + 12. Suppose -5*w = f + b, 3*f - 3*w = f - 60. Let l be 4/5*(-20)/f. Is l <= 1?
True
Suppose -6*z + 1266 = -0*z. Let a = z + -66. Is 1/3 greater than or equal to a?
False
Let t = -9 - 6. Let j = t - -15. Which is bigger: j or 7?
7
Suppose 5*a - 3 = -3*k, -2*a + 2 = -a + 2*k. Is 89 greater than or equal to a?
True
Let w = -94 + 34. Suppose 0 = 3*t + 12*v - 11*v - 3, -t + 5 = -v. Are w and t equal?
False
Suppose 2*i = 3*w + 34, 2*w = 300*i - 296*i - 60. Let l(h) be the second derivative of -h**3/2 - 5*h**2/2 + h. Let x be l(-6). Which is smaller: i or x?
x
Let q be (3 - 15/(-9))*6. Let o(l) = -l + q - 41 + 3*l. Let r be o(6). Is -12 bigger than r?
False
Let y = 737.9 - 738. Which is greater: 17.4 or y?
17.4
Let i = 5 - 6. Let g = -32 - -40. Suppose 2*v + g*v + 30 = 0. Which is bigger: v or i?
i
Suppose 191 = -3*j + 155. Is -14 at least as big as j?
False
Let a = -442 - -1313/3. Is a at most as big as -3?
True
Suppose -5*f + 5*s = -1145, -3*s - 15 = -3. Suppose 3*q - 3*v + f = 0, -2*q = -7*q - 5*v - 395. Do q and -78 have the same value?
False
Let j(c) = -c**3 + 3*c**2 + 4*c + 1. Let u = 18 - 15. Let h be j(u). Which is smaller: 53/4 or h?
h
Let w be ((-44)/8)/(-11) - 246/44. Which is smaller: -5 or w?
w
Suppose -4*g - 3876 = 3*j - g, j + 1304 = 2*g. Is j less than or equal to -1296?
True
Suppose 21*l - 17*l + 4*f = -20, 3*l = -f - 5. Which is bigger: 2/1433 or l?
2/1433
Let x = 1017 - 915.2. Let k = x + -102. Which is smaller: k or 0.5?
k
Let n = 86 + -92. Let w be (-23)/(-42) - (n - (-320)/56). Is w > 1?
False
Let q = -0.983 - 0.027. Let z = 1 + q. Which is smaller: z or -1/13?
-1/13
Let r be 1 + (-133 - 4/(-8)*-2). Are -133 and r unequal?
False
Let x(a) = -4*a**2 - 28*a + 7. Let z be x(-7). Let u(t) = -2*t**2 + 7*t - 10. Let w be u(z). Which is smaller: 0 or w?
w
Let t be (26 + (-30 - 2))*86/(-4). Which is bigger: 132 or t?
132
Let h = 132 - 144. Let k be (14/6)/(h/108). Which is greater: -22 or k?
k
Let c = -10 - -11. Let d be 40/(-6)*(-3)/(-56)*12. Let t = -26/7 - d. Are t and c unequal?
True
Let p be 82/(-282) - 3/(-9). Suppose -3 = 8*t + 5. Is t less than or equal to p?
True
Let r be (-7)/(63/(-2)) + (-16)/(-9). Let w be (-11)/110*((-2)/(-4) + r). Which is smaller: w or 46?
w
Let x = -18.5 + 16.2. Let h be ((6 - 8)*(-2)/(-6))/2. Which is bigger: x or h?
h
Let m = -74.7 + 74.8. Which is smaller: m or -3/68?
-3/68
Suppose -180 = 22*t - 12*t. Let u = t + 32. Which is smaller: u or 12?
12
Let y = 112 - -73. Is 185 equal to y?
True
Let q = 115 + -114.943. Let z = q - -22.943. Which is smaller: 0 or z?
0
Let a = 80.878 - 81. Let x = a - -0.072. Is x at most 0.3?
True
Suppose -20303 = -38*i - 4799. Which is smaller: 0.3 or i?
0.3
Suppose 0 = -0*x - 3*x + 9. Suppose x*r - 8 = 2*u, -3*r - 5 = 2*u + 3. Let b = -10.7 + 13.7. Are b and r non-equal?
True
Let s = 1262 + -1231. Which is bigger: 34 or s?
34
Let a = -1489 + 2466. Which is greater: a or -2?
a
Suppose 79 + 181 = -3*z - 4*l, 5*l - 445 = 5*z. Let b be (22/z)/((-2)/464). Which is greater: 1 or b?
b
Let z be 22/(-12) - -2 - (-515)/(-210). Suppose -20 = -4*u - 0*u - 4*i, 4*u - i = 15. Let f = u + -6. Is f < z?
False
Let z(v) = v**2 - 7. Let b be z(-3). Suppose -130 = -5*w - 5*i, -b*w + 3*w - 4*i = 26. Is 25 at most w?
True
Suppose 334 = 22*q - 216. Is 28 > q?
True
Let u be (-259)/91 + (-2)/13. Let b be 0*((-2)/u + -1). Let k be b + (-4)/4 - -2. Is 1 not equal to k?
False
Let b be (-4)/(-46) + (-1 - -1). Suppose t - 4*j = -12, -3*t = 113*j - 112*j - 3. Which is greater: t or b?
b
Let h(j) = 2*j**2 + 9*j - 7*j**2 + 7 + 7*j**2. Let w be h(-3). Is w at least as big as -2/3?
False
Let r(f) = 2 - f + 4 + 0. Let h be r(10). Let l = 10 - 16. Is h != l?
True
Let c(x) = -2*x + 27. Let j be c(12). Let r be ((-8)/5)/(-1) - 0. Is r > j?
False
Let a = 11.302 + -11.27. Is a smaller than 2/5?
True
Let t = -37 + 11. Let y = t - -25.92. Which is greater: -4 or y?
y
Let k be ((-2)/(-4))/((-8 - -2) + 8). Which is smaller: k or -5?
-5
Let b be (-1020)/(-21)*7/171. Let w = 42/19 - b. Which is greater: 6 or w?
6
Suppose -2*v + i = -7, v + 10 = 5*i + 27. Which is bigger: v or 36/49?
v
Suppose 5*w + 6 - 16 = 0. Suppose -16 = -2*i - 2*z, 0 = -w*i + 4*i - 5*z + 5. Suppose 36 = -i*j + j. Is -9 at most as big as j?
True
Let r = 0.18 + 10.82. Let w(b) = b**3 - 1 - 16*b**2 