 + -3. Is 1/4 greater than z?
False
Let w = 103/3 - 34. Which is greater: w or 6/7?
6/7
Let p = 1.057 - 0.057. Suppose 2*k - 2 = 4*k. Is k at least p?
False
Let h(o) = -2*o**3 - 3*o**2 + 3*o - 2. Let y be h(2). Let a = y + 122/5. Are a and -3 unequal?
True
Let t = -7.2 + 4.2. Which is bigger: 10 or t?
10
Let m be (4 + -25)*2/(-6). Let w = 7 - m. Let k be (2 - 7)*4/(-110). Is k greater than w?
True
Let y = 76 + -76. Let p be (-10)/(-4)*(-1 - -3). Suppose -4*j - p = 7. Is j less than y?
True
Let b be (5/15)/(1/9). Let w(a) = -a + 1. Let s be w(b). Let y be (s - -4) + 2*-1. Which is smaller: y or 3/8?
y
Let l(n) = -n**3 + 7*n**2 + n - 4. Let y = 5 - 3. Suppose 0*i + 14 = y*i. Let s be l(i). Which is bigger: 4 or s?
4
Let n(w) = w**3 + 6*w**2 - w - 3. Let b be n(-6). Let k = -4 + b. Let v be (-5)/(-9)*(-2)/(-5). Is v smaller than k?
False
Suppose 6 = -4*u + 7*u. Which is smaller: u or 6/7?
6/7
Let v(t) = t**2 + 17*t - 4. Let n be v(-17). Is -4 not equal to n?
False
Let v(m) = -m + 4. Suppose 5*g = 2*g + 3*a + 6, 4*a = 8. Let b be v(g). Suppose 3*l - 4*w = -w, b = -3*l + 2*w. Which is greater: l or 2/7?
2/7
Let u = 35 + -25. Do u and 11 have different values?
True
Suppose -2*m + 1257 - 495 = 0. Let r be -197*145/(-75)*-1. Let t = r + m. Which is greater: 1 or t?
1
Let n be 7 + -38 - 4/(-1). Is n greater than -28?
True
Let z = -11 + 15. Let h = -0.3 - -0.3. Is h < z?
True
Suppose -2*p = -3*k + 13, 4*k - 14 = p + k. Let m = -1 - p. Let b = 3 + -5. Is b smaller than m?
False
Let s be (-66)/(-9) + (-4)/(-6). Let y = -140 + 149. Which is smaller: y or s?
s
Suppose 19 = 3*f + 5*n, 18 + 7 = 3*f - n. Let a be (23/f)/(-1) - -3. Is a equal to 0?
False
Let z = 171 - 173. Which is greater: z or 1?
1
Suppose -2*r - 1 = -3. Which is greater: r or 7/3?
7/3
Let p = 3859 + -19372/5. Let x = 15 + p. Let y be (-1)/2*(-1 - -1). Which is bigger: y or x?
y
Let v = -635/3216 - -2/201. Which is greater: v or 1?
1
Suppose -j + 2*w - 7 = -0*j, -2*j + 4 = 2*w. Suppose -227 = -5*p + 123. Let m be (p/(-18))/5 - -1. Is j at most as big as m?
True
Suppose 0 = -3*t + 3*p - 0*p - 3, 3*t + 3*p - 9 = 0. Let a(o) = o**3 + 6*o**2 + 4*o - 3. Let l be a(-5). Suppose 0 = l*m - 7*m - 5. Which is greater: t or m?
t
Let g = 48 - 47.8. Is g > 10?
False
Let c be (114/18)/((-2)/(-6)). Let u = -19 + c. Which is greater: u or -2/13?
u
Let a be (32/(-68))/(-4)*1. Which is smaller: a or 1?
a
Let q = 7 + -7. Let b be (20/8 + -2)*q. Let w be -2 - 1 - -1 - 1. Is w > b?
False
Let x = 42 - 90. Is x greater than or equal to 2?
False
Let q = -8.3 - -1.3. Let m = -4 - q. Let x = m + -2.9. Is -1 equal to x?
False
Let j = -16.69 - 0.31. Is j < -1?
True
Let d = 2.03 - 2.03. Do d and -7/3 have the same value?
False
Suppose 0*s - 90 = -6*s. Which is smaller: 2 or s?
2
Let m = 51.2 - 47. Let j = m + -4. Let r be (-9)/(-12)*4/6. Which is greater: r or j?
r
Let r = 7 + -7.3. Let t = 0.3 - 0.1. Is r at least t?
False
Let n(w) = -2*w**2. Let q be n(1). Suppose -2*g - 36 = -4*g. Suppose -5*r - 7 = f + 7, r - 5*f = g. Is r < q?
False
Let p = 2 - 0. Suppose -2*u - 36 = -2*k - 0*k, 4*k + 2*u = 54. Suppose 0 = -a + 5*y - k - 13, 5*a - 2*y + 25 = 0. Is p at least a?
True
Let a = 3 + -5. Let p be (-45)/(-5) - (-2 - a). Which is greater: 10 or p?
10
Let d(b) = b**3 - 3*b**2 - 5*b + 3. Let v be d(4). Which is smaller: v or -2?
-2
Let o(u) = 2*u**2 + 3*u + 3. Let w be o(-2). Suppose 5*y + 5 = 0, v + 0*v + w*y + 6 = 0. Which is smaller: v or 2/9?
v
Suppose -37*k - 11 = -36*k. Which is bigger: k or 0.1?
0.1
Let x = -2 - -2. Suppose 0 = 5*u - 2*r - 10, r = -x*r. Suppose 5*f = u*f. Which is smaller: -1 or f?
-1
Let z = 1466 - 7297/5. Which is bigger: z or 8?
8
Let p(b) = b**2 - 9*b + 9. Let x be p(8). Let v be 4/(-6) - 112/(-150). Is x not equal to v?
True
Let h = -18 + 26. Suppose v - 5 = a, 7 + h = 5*v. Is a equal to 1?
False
Let y = 597/5 + -119. Does 1 = y?
False
Let r be (-3 - (-339)/111)*-1. Which is smaller: -1 or r?
-1
Let n be 1/(-4)*(-6)/1. Which is smaller: n or 2?
n
Let d = -0.1 + 8.1. Let b = d - 8. Is -0.09 > b?
False
Let j(k) = -k**3 - 10*k**2 - 10*k - 10. Let s be j(-9). Suppose -3*u = -5*u + 96. Let h be 4/(u/(-14)) + 1. Which is smaller: h or s?
s
Let q = 8.13 - 0.13. Let v = 8.2 - q. Which is smaller: -3 or v?
-3
Let d(v) = -v**3 - 8*v**2 + 9*v. Let i = 28 - 12. Let m = i - 25. Let u be d(m). Which is smaller: u or 1?
u
Suppose x - 10 = -0. Which is smaller: 55/6 or x?
55/6
Let z = -383/12 - -98/3. Which is smaller: -1 or z?
-1
Let k(n) = -n**2 - 18*n - 20. Let c be k(-17). Is c != -11/7?
True
Let w = -79 + 88. Let l = 9.05 + -0.05. Let f = w - l. Which is smaller: -0.3 or f?
-0.3
Let k(d) be the third derivative of d**4/8 + d**3/2 + 3*d**2. Let y(v) = v - 1. Let n(p) = k(p) - 2*y(p). Let o be n(-5). Is -3 <= o?
True
Let x(t) = t**3 - 2*t**2 - 2*t + 2. Let l be x(2). Let s be ((-1)/((-2)/(-16)))/l. Is s < 4?
False
Let u = 14 + -21. Let j be 2 + 0 - (-18)/(-2). Is j less than or equal to u?
True
Suppose -5*r - 8 = -3. Let f = 2 + r. Which is smaller: -2/21 or f?
-2/21
Suppose -5*j + 5*x + 30 = 0, -4*j + 5 = -3*x - 15. Suppose 8*v - j*m - 3 = 3*v, -4*m = -4*v. Is v smaller than -9?
False
Let s = 2 - 2. Let j be (-1)/2 + (-10)/(-22). Is s > j?
True
Suppose 0 = -28*c + 29*c - 33. Do c and 32 have the same value?
False
Let f be (18/(-15))/(34/10). Is 0 greater than f?
True
Suppose -4*b - 5*l - 25 = 0, 0 = b - l + 5*l + 20. Suppose -3*p + 2*p + 1 = b. Which is greater: -1/2 or p?
p
Suppose -4*r = c - 65, -28 - 47 = -5*r + 5*c. Is -0.1 smaller than r?
True
Let h be -14*(-2 + (-5)/(-2)). Let p(z) = z**3 + 8*z**2 + 8*z + 7. Let m be p(h). Which is smaller: 12 or m?
m
Let p = 2.27 + 0.13. Let k = 7 + -5. Let l = k - p. Which is smaller: -1 or l?
-1
Let a = 1.5 + 1.5. Which is greater: -0.1 or a?
a
Let t be ((-2)/4)/((-1)/(-4)). Let s = 13.9 - 14. Which is bigger: s or t?
s
Let s(v) = -2*v**2 + 17*v - 12. Let o(x) = -3*x**2 + 26*x - 18. Let y(c) = -5*o(c) + 8*s(c). Let d be y(5). Which is smaller: 5 or d?
d
Suppose 0 = 4*f - 3*g - 2, 0*f + 4*g + 7 = f. Let u = 44 - 24. Let n be 32/8*2/u. Which is smaller: f or n?
f
Let j = -2 - 2. Let n(z) be the second derivative of -z**4/12 - z**3/2 + 2*z**2 + 10*z. Let i be n(j). Is i greater than or equal to 3/8?
False
Let x(c) = 60*c**2. Let m be x(-1). Do 60 and m have different values?
False
Let v = 1 + 3. Are 4 and v equal?
True
Let t = -3187/10 - -319. Is t != 0.1?
True
Let x = 6 + -4. Suppose 0 = j - 0*j - x. Let k be ((-7)/28)/(2/(-2)). Which is greater: j or k?
j
Let x = -6 + 6. Suppose 5*g - 5*v - 5 + 0 = 0, -5 = -2*g - v. Suppose x = g*y - 13 + 5. Is y bigger than 2?
True
Let l = -95 - -95. Let x = 0 + -1. Let b be 0/(x - (l + -3)). Is b greater than 1/2?
False
Let q be (14/21)/((-4)/(-150)). Let j be -13 + q + -1*2. Which is bigger: 9 or j?
j
Let o = 0.136 - 1.136. Is o >= -0.04?
False
Suppose -37 = -13*a - 141. Which is smaller: a or -33/5?
a
Let d be 2/(-2)*(-207)/45. Which is smaller: d or 4?
4
Suppose -s + 24 = s. Let b be 16/6*s/(-8). Which is greater: b or -5?
b
Let t = 3/352 - 7/480. Let l = -7753/330 + t. Let q = l - -23. Is q not equal to 2?
True
Let v = -3 - -7. Suppose -v*n - 3*i = -26 + 6, i = 2*n. Suppose -h = n*h. Which is bigger: h or -1/3?
h
Let v(q) = 3*q**2 - 2*q + 2. Let u be (-14)/(-6) + 3/(-9). Let p be v(u). Let c be (4/(-40))/(4/p). Which is greater: c or -4?
c
Suppose 3*f = 8 - 2. Let j = 0.11 - -0.79. Let r = j + 0.1. Does r = f?
False
Let z(s) = -s**3 + 5*s**2 - 4*s - 2. Let w be z(4). Let o be (w - -1)*1/(-3). Which is smaller: -1 or o?
-1
Let x(r) = 5*r - 1. Let a be x(5). Suppose 0 = i - 2*t - 14 + 5, -4*i + 5*t + a = 0. Let q = -399/10 - -40. Which is smaller: q or i?
q
Suppose 0 = 3*u + 2*u + 4*t + 5, -2*u - 2 = -4*t. Which is bigger: u or -3/5?
-3/5
Suppose 0 = -3*j + 5*j. Suppose j = -3*n + n + 4. Let y be (-1)/(-5) - 33/(-60). Is n less than or equal to y?
False
Suppose -2*l + 3*w = -5, 2*l + 2*l + 3*w - 19 = 0. Let b be (-4)/(-6) + 96/(-9). Let z be (4/14)/(b/(-14)). Is z at least as big as l?
False
Let g = 59/4 + -15. Let m be 2/(-4) - (-4)/24. Which is greater: g or m?
g
Suppose 2*l + 0 = 4. Suppose 0 = -t - t - l. Suppose 0 = 3*p - 1 + 4. Is p equal to t?
True
Let v = 0.88 - -0.12. Let d(a) = a - 4. Let r be d(0). Which is smaller