= r - 0.064. Which is smaller: z or -1/3?
-1/3
Let d be (3/(-6)*-129)/3. Suppose 4*w - 57 = 31. Is w smaller than d?
False
Let y(u) = -u**2 + 11*u - 37. Let m be y(9). Are m and -204/11 unequal?
True
Let w(g) = 19*g**2 - 3*g - 72. Let s be w(6). Which is smaller: 0.2 or s?
0.2
Let z be 13 + (-4188)/324 + (-83)/27. Which is bigger: -15/7 or z?
-15/7
Suppose -2*m + 3*q = 0, 2*m = -3*m - 4*q. Suppose m = -3*a + 12, -2*a - 148 = -4*t + 3*a. Let j be ((-2)/(-6))/((-2)/t). Which is smaller: j or -6?
j
Let y be 6/2*2*7/2. Let s be (-3)/(y/(-4)) + (-5336)/322. Suppose -3*z = 2*z + 80. Is s != z?
False
Let n(j) = j**3 - j**2 + 2*j - 2. Suppose b - 2*p + 4 = 0, 0 = -b + 4*b - p + 2. Let w be n(b). Let a be (-2)/3 - w/3. Is -6/13 at least as big as a?
False
Let p = -475 + 1167. Is p at least 692?
True
Let j(a) = -2*a. Let x be j(-2). Let q = x + -4. Let p be (2 - 3) + (-50)/(-54). Which is greater: q or p?
q
Suppose -95 = -3*c + 5*a, 0 = c - 5*c + 4*a + 124. Let k = c - 15. Is 15 >= k?
True
Let s(n) be the third derivative of n**5/60 - n**4/3 + 7*n**3/3 - 27*n**2. Let o be s(6). Is o not equal to 5?
True
Let p = -129933 - -346351/3. Let j = -14680 - p. Let v = j + 195. Which is smaller: v or -2?
v
Let q(g) = g**3 + 6*g**2 + 8*g + 13. Let i be q(-6). Is -35 <= i?
True
Let w be (-9)/(2940/(-744) + 4). Are 0.2 and w unequal?
True
Let m = 10 + -8. Let t = -2.9 + 4. Let q = t + 1.9. Which is bigger: m or q?
q
Let b = 182 + -155. Which is greater: 29 or b?
29
Let k be (-2)/4*(7 - 3). Let x be (-25)/k*(-2 + 4). Suppose 0*d + 2*d = 50. Is x at most d?
True
Let f = 0 - -3.1. Let k = 25.9 + f. Is 1/2 greater than or equal to k?
False
Suppose -1 = 2*k + 1. Suppose 0 = -9*w + 4*w + 2*j - 65, -90 = 5*w + 3*j. Let z be -1*(-3 - 42/w). Is z smaller than k?
False
Let l = -4 - 8. Let t = 4 + l. Let n = -11/68 + 7/17. Which is greater: n or t?
n
Let c = 84 + -40. Let t be (-14)/c + 2/4. Do 1 and t have the same value?
False
Let c be 34/(-72) + (-1 - (-20)/16). Are c and -18 unequal?
True
Let k be 2/(-5) + (-152)/(-5). Let l be (-6)/(16/40 + (-32)/k). Does 8 = l?
False
Suppose 44*c + 91 = 31*c. Suppose 0*r + r + 5 = 0. Is c bigger than r?
False
Let i = 1 + 2. Let r = 108/119 - -21/17. Which is smaller: r or i?
r
Let z be (57/(-95))/((-39)/(-20) - 2). Suppose 5*j - 20 = 7*j. Let p = j + z. Are p and -0.2 equal?
False
Let w(s) be the third derivative of 0 + 0*s - s**2 + 1/24*s**4 - 2/3*s**3. Let y be w(0). Is -5 < y?
True
Let u = -3.7 + 3.86. Let z = u + -2.16. Is 0.5 smaller than z?
False
Suppose 2*u = 6*u + 2*u. Suppose u = 2*p - 5*m + 7, m = 5*p - 6 - 11. Which is greater: 0.02 or p?
p
Let r be (-18)/99 + (18/(-22) - -1). Suppose r = 5*t, -5*f + 5*t + 6 + 4 = 0. Is 10/11 less than f?
True
Let t(z) = -2*z**2 - 15*z - 34. Let g(d) = d**2 + 15*d + 34. Let w(c) = 3*g(c) + 2*t(c). Let a be w(17). Which is smaller: a or 7/6?
a
Let w = -82 + 79. Let x = 30 - 34. Do w and x have different values?
True
Let w be (-8817 - 0)*205/(-140). Let j = -12913 + w. Let c = j + 15/7. Which is smaller: c or -0.04?
c
Suppose -3*g + k + 26 = 5*k, -2*g + k = 1. Suppose g*x + 3*d - 7 = 0, -5*d + 0*d = -4*x + 25. Is 4 less than x?
True
Suppose h = -h. Suppose h = -4*v + 3*d - 4*d + 13, v = 4*d + 16. Suppose -3*a - v + 1 = 0. Which is smaller: a or -1/7?
a
Let s = 673/36309 + -15/637. Which is bigger: -1 or s?
s
Let b(y) = y**2 - 2. Let m be b(-2). Suppose -m = 4*c - 38. Suppose 0 = -q + 4*q + c. Is q != -0.3?
True
Let n be 1*(0 - 1/(-1)). Suppose -n = -o + 5*b + 2, 0 = -4*b - 4. Let h be (8/4)/(o/(-2)). Which is smaller: -2 or h?
-2
Let u = 2 - 1. Let f be (2/2)/3 + (-1)/3. Let t be (-3)/(-9 + f) + u. Which is smaller: t or 0?
0
Suppose -5 = -6*l - 11. Does l = -2/359?
False
Let f(j) = j**3 + 4*j**2 - 11*j + 3. Let a be f(-6). Let p be (-9)/6 - (-3)/2 - a. Which is greater: 0 or p?
p
Let z be (27/(-9))/(18/78). Do z and -85/7 have the same value?
False
Suppose -z + 4*m + 62 = 0, -112 = -4*z + 2*z + 2*m. Let k be (-8 - -5) + z/16. Suppose -1 + 6 = 5*f. Which is greater: f or k?
f
Let y = 52 - 209/4. Is -2/7 less than or equal to y?
True
Let w be (1179/18)/((-1)/2). Let n = 140 + w. Is 9 > n?
False
Let h = -202.43 + 202. Is 1/2 smaller than h?
False
Suppose -3*u - 15 = -0*u, 80 = k - 4*u. Is 58 > k?
False
Let h(f) = -f**3 + 8*f**2 - 6*f - 6. Suppose -4*q = -5*z + 19, q - 4 = -0*q. Let i be h(z). Let t be (-196)/21 - i/(-3). Is -9 greater than or equal to t?
True
Let w = 51 - 19. Let s(u) = u**3 - 17*u**2 + 70*u - 11. Let j be s(11). Is w at most as big as j?
True
Let t(g) = g**3 - 11*g**2 - 12*g + 3. Let q be t(12). Suppose 8*z - 3*z = -5*h + 30, 0 = -2*h - 2. Which is smaller: z or q?
q
Let z(b) = 3*b**3 - 52*b**2 + 65*b - 17. Let o be z(16). Which is greater: o or 0.305?
0.305
Suppose 0 = -6*a + 4*a - 14. Let o = a - -25. Let g be (-4)/6 + o/27. Which is smaller: g or 2?
g
Let b be (-6201)/1027 - (27/(-3) + 3). Which is smaller: b or 0?
b
Let y = 20 - -40. Which is smaller: 56 or y?
56
Let o = 1 - 0. Let b be -4 + (2/4 - 2655/(-750)). Is b smaller than o?
True
Let w = 9 - 9. Let z(c) = c**3 + 3. Let h be z(w). Is 7/3 at most as big as h?
True
Let d be ((-5)/85)/(-1*(-2)/(-10)). Suppose 4*n - 4*g = 0, -g - g = 2*n. Is d at least as big as n?
True
Suppose 4*h + h + 2*n - 1362 = 0, h = n + 278. Let o = h + -2474/9. Is 0 greater than o?
True
Let z be (-11515)/147 + 8/6. Which is bigger: -78 or z?
z
Let k be (-3)/(-36)*297/6. Which is smaller: k or 5?
k
Let w = 29 + -51. Let i = w + 0. Let d = 33 + i. Which is greater: 10 or d?
d
Let b(c) = c + 10. Let h be b(-10). Let v be (-24)/(-14)*(-70)/(-170). Are h and v unequal?
True
Suppose 4*o - 4*a + 20 = 0, 60 = -5*o + o - 4*a. Suppose 0 = -l - 0 - 5. Which is bigger: l or o?
l
Let c(t) = -35*t + 293. Let o be c(8). Let d = 44048/3477 - 2/1159. Is o bigger than d?
True
Let i = -23677/21032 - -2/2629. Is i greater than or equal to -1?
False
Suppose -15*f + 1225 + 1295 = 0. Is f bigger than 167?
True
Suppose 0 = -11*l - 19*l - 19560. Is l less than or equal to -651?
True
Let w = -52 + 38. Suppose -14 = -5*k - 3*n + 1, 15 = 5*k - 5*n. Let x be k + -2 + 15/(-9). Which is greater: w or x?
x
Let r = 476 - 669. Is r greater than -194?
True
Let x = -1658 - -1648.97. Let n = x + 0.03. Let c = n + 12. Is -7 bigger than c?
False
Let u = -23 + 48. Let d = 26 - u. Which is smaller: d or 0?
0
Suppose 9 = 2*k + 2*n - n, -2*k = -n - 11. Suppose -k*m = -0*m + 10. Which is smaller: -7 or m?
-7
Suppose -148*h - 145 = -149*h. Which is bigger: h or -2/3?
h
Let z be (2/44*8962)/((-11)/66). Let u = z + 2442. Which is bigger: -1 or u?
-1
Suppose 0 = 19*i - 24*i + 5. Suppose -2*v = -6*v - 5*u - 17, i = -v + 2*u. Suppose 2*n = n + 3. Which is smaller: n or v?
v
Let y be (3 - 5)*(-32 - 0). Let m = y + -63. Which is smaller: m or 4/13?
4/13
Let j = 0.117 - -0.183. Is j equal to -0.1?
False
Let k(i) = -7*i - 1. Let m be k(-4). Let x be 6/m - 16/(-252). Is -0.01 equal to x?
False
Let w = 12.04 + -11.9. Which is smaller: w or -2/33?
-2/33
Suppose 0 = -3*z + 3*k + 21, 0*z = -z + 3*k + 17. Suppose -z*r = -3*q + 14, -4*q + 12 = 8*r - 4*r. Is 1/21 <= r?
False
Let f be (-8)/802*1/(-4). Let u = f - -10021/1604. Do 5 and u have the same value?
False
Let h(a) = -a**3 - 6*a**2 - 5*a - 28. Let z be h(-6). Which is smaller: 12/7 or z?
12/7
Suppose -380 + 2831 = -19*a. Which is smaller: 2/9 or a?
a
Let s be 74/90 - (-104)/(-468). Is s at least as big as -13/3?
True
Suppose 0 = -4*s - 5*n + 85, 0*n = -s + 2*n + 5. Let y be (-69)/308 - s/(-60). Are 1 and y unequal?
True
Let t = 12/49 + -373/1323. Which is smaller: -1 or t?
-1
Let m(c) = -8*c - c**2 + 6*c - 1 - c. Let x be m(-3). Are -1/3 and x equal?
False
Let a = -21 + 25. Let d = a + -26. Do -22 and d have different values?
False
Let r = 43193/19 - 2273. Is r bigger than -13/6?
True
Suppose 0 = -n + 4, 3*z + 8 = z + 5*n. Suppose -3*o + z = -g - 0*o, -40 = -4*g - 4*o. Let b be (2/g)/(48/9). Which is bigger: 1 or b?
1
Let r(w) = w**2 + 13*w - 141. Let k be r(7). Which is smaller: 3/28 or k?
k
Let x(p) = -p - 4. Let g be x(-10). Suppose -6*i - 14*i = -g*i. Is 1/102 less than i?
False
Let v = 1889 - 1770. Which is smaller: -0.4 or v?
-0.4
Let s be -4*(-3)/12 + -2. Let b be s - 1 - (-48)/36. Let x = 3 + -3.2. Which is smaller: x or b?
b
Let y(a) = a*