/2)/(6/4). Suppose a*m - 5 = 3*t + 3, -2*t - 3*m = -6. Is z smaller than t?
False
Suppose -6*q + 1 + 17 = 0. Suppose v - 7 + 2 = 0. Suppose -t + 0*t + v = 0. Which is smaller: t or q?
q
Let h = 65.96 + -66. Which is greater: h or 0.3?
0.3
Suppose 0 = 4*k + 8 + 12. Let x = 15 - 10. Suppose x*z = m + 14, -2*m + 2*z = -m + 8. Which is smaller: m or k?
k
Let d(p) = -p**2 - 9*p + 8. Let a be d(-10). Let r = 5 - 3. Suppose -4 = r*o + 5*z, -4*z - 4 + 12 = 0. Is o less than a?
True
Suppose 6*z - z = 0. Suppose 3*a - n + 10 = z, 4*a = 5*a - 2*n + 10. Suppose -10 = 2*r, 4*v + 4*r - 4 + 36 = 0. Is a greater than v?
True
Let h = 25 + -22. Suppose 2 = 2*a - m - 7, 4*m = -4*a + 12. Which is bigger: h or a?
a
Let w = -302/639 + 2/71. Suppose 14 - 17 = -3*k. Which is greater: w or k?
k
Let h = 4 + -4. Does -13 = h?
False
Let d = 3 - -19. Suppose -f + 9 = 3*u + d, 0 = f + 5*u + 19. Which is bigger: 1 or f?
1
Let n be ((-831)/315 - -2) + (-2)/(-5). Is 1 less than or equal to n?
False
Let r be ((-12)/16)/((-204)/32). Suppose -2*i - 1 - 7 = 5*m, -i + 3*m + 7 = 0. Is i > r?
True
Let s = -0.8 - -1. Let v = -1.7 - 0.5. Let u = s + v. Do u and -2 have the same value?
True
Let r = -53 - -59. Is r smaller than -3?
False
Suppose -2*m + z - 6 = 3*z, 3*z + 21 = 3*m. Is m less than or equal to 13/5?
True
Let l = -5.77 + -1.23. Let b(z) = z**3 + z**2 + 2. Let f be b(-2). Let s be -2*2/(-20)*f. Which is bigger: s or l?
s
Let i(x) = -2*x**2 - 2*x - 1. Let n be i(-2). Suppose 5*u - k - 16 = -0*k, -3*k + 28 = 4*u. Suppose -u*s = 5*z + 9, 1 + 1 = -2*s. Is n at most z?
True
Suppose f - 5*u + 25 = -2*f, -3*f + 20 = 4*u. Suppose f - 2 = -2*b. Which is greater: 0 or b?
b
Let z be (2/5)/((-14)/(-140)). Suppose -3*u + 0*q = z*q - 8, u - 5*q + 10 = 0. Which is greater: -1/4 or u?
u
Let q = 0.3 + -9.3. Let h = q + 8.8. Which is greater: h or 0.4?
0.4
Suppose 0 = 3*m + 2*m + 4*c - 10, -m - 19 = 5*c. Let q be 8 - m - 42/20. Which is smaller: q or -1?
-1
Let h = 70 - 144. Let a be h/10 + 8/20. Let p be 3/6*-8 - 3. Does a = p?
True
Let w(h) = -h**2 - 7*h + 2. Let j be w(-7). Suppose 0 = 2*l + 2 + j. Are -3/4 and l nonequal?
True
Let c = 2.1 + -3.1. Is -3 less than c?
True
Suppose 0 = -3*n + 5 + 7. Suppose 0*i = 5*f + i - 13, -n*f + 4*i - 4 = 0. Let r = -3/2 + f. Which is bigger: 0 or r?
r
Suppose -180 = 6*m - 618. Which is smaller: m or 74?
m
Let z = -3 + 9. Let v be ((-1)/(-2))/((-3)/(-12)). Which is greater: v or z?
z
Let k = -315/4 + 78. Suppose 4*q - 2*q = -4. Is k greater than q?
True
Suppose 2*x + 12 = -2*x. Let r be x/3*2 - -34. Let b be 4/14 - r/14. Which is greater: 0 or b?
0
Let p be (2/(-5))/(3/15). Suppose -u - 3 = -0*u. Let f be (u/(-7))/((-3)/p). Is 2/9 >= f?
False
Let y = 13 - 9. Let i(m) = m**3 + m**2 + m - 1. Let d be i(1). Let w be (-1 - 6/4) + d. Which is bigger: w or y?
y
Suppose 2*f - 29 = -3*f + 2*p, 3 = -f - 4*p. Which is bigger: 7 or f?
7
Let s be (-2)/5 - (-34)/10. Let z be (s - (-2)/(-2)) + 3. Which is smaller: 6 or z?
z
Let y = -0.5 + 2.5. Let d be (-3)/18*12/(-6). Is y at most d?
False
Let k = 24 - 170/7. Let r = 0.4 + -0.15. Let a = 0.2 - r. Is a smaller than k?
False
Suppose 2*u - 1 = s, 0 = 3*s - u - u - 5. Suppose 0 = 5*j + s*g - 19, 2*j = -2*j + 2*g + 2. Let c = 2 - j. Which is smaller: c or -2?
-2
Let v = -36 + 37. Let i = 74732/87 + -859. Let g = 353/435 + i. Is g > v?
False
Suppose -14 = 4*l - 2. Let t be (l/(-6))/(2/4). Is 2/15 < t?
True
Let k = 40 - 39. Which is bigger: -1/2 or k?
k
Let v be 18/14 - (-1 - -2). Let g = -36 + 36. Is g less than v?
True
Let n = -289/7 + 41. Let p = 0.3 + -0.2. Let j = 0.2 - p. Is n < j?
True
Suppose -2*f + 5*s + 132 = 0, f + 3*s - 113 + 36 = 0. Let t = -147/2 + f. Which is greater: t or -4?
t
Suppose 0 = 3*t - x - 6, -2*t - 6 + 0 = -4*x. Let p(b) be the second derivative of b**3/6 - b**2 - b. Let n be p(t). Is n at most as big as -1/7?
False
Let c = 18 + 102. Suppose c = a - 6*a. Let f = 71/3 + a. Is 2/9 at least f?
True
Let o = -1 + 1. Let q = o - 0. Let w = 306 + -2146/7. Is q equal to w?
False
Let u be (-1)/(-10)*(-5 + 9). Are -4 and u non-equal?
True
Let h(a) = -a**3 + 5*a**2 + a - 5. Let i be h(5). Are i and -8/7 non-equal?
True
Let g be (-7)/(105/6)*-5. Let c = 0 + 1. Let m be c/(-4) - (-1)/4. Which is greater: m or g?
g
Let g be (7 + -1)*(-3)/(-1179). Which is smaller: g or 1?
g
Suppose 0 = 4*z - 10 - 18. Let h be (-2)/z - (-8)/(-21). Let c = -1 + 1. Which is greater: c or h?
c
Let y be 6/30 + (-2)/(-12). Let x = y + 2/15. Let d be -1 - (3/(-1) - -1). Is x < d?
True
Suppose -i + 39 = 2*i. Is 13 < i?
False
Let z = -22 - -12. Is z <= -13?
False
Let t(s) = s**2 + 3*s - 4. Let v be t(-4). Let o = -2 - 1. Let b = o + v. Which is smaller: b or -2?
b
Let z(q) = 4 + 4*q - 5*q + 0. Let v be z(6). Let o be 2 + 2*15/(-10). Which is bigger: v or o?
o
Let s(m) = m**2 - 10*m + 5. Let n be s(4). Let j = n - -16. Which is smaller: j or -5?
-5
Let v(w) = -w**3 - 6*w**2 - 4*w + 6. Suppose -5*r + 0*o + 3*o = 13, -4*r + 5*o = 0. Let q be v(r). Let d(g) = g**2 + 8*g - 8. Let l be d(-9). Does l = q?
True
Suppose 0 = d + d + 8. Let k be d/6 - 10/(-15). Is k bigger than 2/13?
False
Let h(m) = 2*m**2 + 19*m + 41. Let v be h(-4). Suppose 5*u - 4 - 21 = 0. Suppose 5*q - 11 = 4*s + 34, q - u = 0. Is s smaller than v?
True
Let t(i) = i + 18. Let j be t(-17). Is 2/631 != j?
True
Suppose -5*f - p = 2*p - 1157, -5*f = -p - 1161. Let l = -3014/13 + f. Let h = 1 + -2. Which is bigger: h or l?
l
Let g = 12 + -7. Suppose -6 = -5*d + 2*l, g*d - 4 - 8 = -l. Let k = 0 - -3. Which is bigger: d or k?
k
Let y = -252 - -252. Let r = 6617/11 + -601. Which is greater: y or r?
r
Let i(z) = -z**3 + 5*z**2 + 6*z. Let r be i(6). Let a = -3.1 - -3. Which is smaller: r or a?
a
Let b = 2 - -7. Let p be b/(-234)*4*1. Do p and 0 have the same value?
False
Let n be -4 + 3 + 2*1. Let s = -14 + 8. Let m = s - -6.04. Is m <= n?
True
Let q be -2*(1 + -2) - 1. Suppose 31 = -3*y + 28. Which is smaller: y or q?
y
Let h(g) = -g**2 - 4*g. Let b be h(-4). Suppose b = -2*p - 2*p. Let u be 2 - ((-99)/(-17))/3. Which is smaller: p or u?
p
Let u(j) = -j**2 - 7*j + 3. Let w be u(-7). Suppose 10 = -2*f, -g + w*f = -4*g - 9. Let y be 0 + (0 + 0)/g. Which is smaller: y or -2/15?
-2/15
Let h = 6.3 - 6. Let t = -35 - -38.2. Let w = t - 3. Does h = w?
False
Let x = 11.27 - 0.27. Let d = x - 11.1. Which is smaller: 1.9 or d?
d
Suppose 5*d - 23 + 278 = 0. Suppose 0 = 3*k + 3. Let u be k/((-18)/d) - -3. Is 1 < u?
False
Let o(k) = k**2 + 3. Let w be o(0). Let y be 1917/(-24)*2/w. Let q = y + 53. Are 0 and q equal?
False
Let i(j) = 58*j. Let r be i(7). Let u = r - 20708/51. Which is smaller: 1/4 or u?
u
Let m be 2/(-8) + 74/8. Are m and 8 nonequal?
True
Let o = 12 - 24. Let b = o - -4. Let g = b + 5. Is -2/7 greater than or equal to g?
True
Let x be (-68)/(-60) - 8/60. Is x bigger than -1?
True
Let y be -1 + (-176)/92 - -3. Is y less than 0?
False
Let o = 21 + -12. Let j be (-1 - (-7)/3) + -2. Which is bigger: o or j?
o
Let i be ((-3147)/(-9))/(1/(-3)). Let m = -135320/129 - i. Let d = 263/645 - m. Which is bigger: 0.1 or d?
d
Let p = 0.28 + -1.38. Which is smaller: -1 or p?
p
Let l be -3 + (0 - (-2 - 0)). Let o be (-2*2/15)/((-14)/3). Is o smaller than l?
False
Let s = -3 + 6. Let a = -6 + s. Let q be -3 + (a + 2)*1. Is -4 greater than q?
False
Suppose 0 = -5*y + 2 + 3. Let u be 119/28 + 6/(-8). Let q = u - 4. Is y <= q?
False
Suppose -3*z + 5*r + 6 = 0, 3*z = -5*r + 4*r + 6. Which is greater: z or 0.6?
z
Let p be (4/(-6))/((-3)/63). Let w = -13 + p. Is -1/17 < w?
True
Suppose 3*i = i - 18. Let z(o) = -o**3 - 9*o**2 - o - 10. Let h be z(i). Is h not equal to -5/8?
True
Let d = 0.05 - -0.25. Let g(y) = y**3 - 4*y**2 + 3*y. Let v(c) = c**2 + 6*c + 2. Let q be v(-6). Let o be g(q). Which is bigger: d or o?
d
Let j = 2 - 2. Let m = 3 + -3.4. Let f = m + 0.2. Do f and j have different values?
True
Let d(g) = 2*g**2 + g + 3. Let o be d(-2). Which is bigger: o or 8?
o
Suppose -7*w + 9 = -4*r - 2*w, -4*r - 4*w - 36 = 0. Let b be (1084/120)/(r/9). Let m = b + 53/4. Is m != 0?
True
Let t be (-4)/(-14) - (-30)/(-7). Let u = 0 - t. Suppose -k + u*k = 0. Which is smaller: k or 1?
k
Suppose -2*m - t = 4 - 1, 0 = t + 1. Let j(a) = a**2 + 5*a - 6. Let c be j(-6). Let f be (c - 1/(-6))*4. Which is greater: