g
Let k = 20.9 - 21. Let v = 0.25 - -1.95. Let z = -2 + v. Which is smaller: z or k?
k
Let q = -3 - -1. Let a be (1/(-3)*0)/q. Let v = 20 - 39/2. Is v <= a?
False
Suppose -3*w = w. Suppose -3*s + 2*y + 7 = w, 3*y + 0*y + 5 = -s. Is s smaller than 0?
False
Let j be ((-20)/(-25))/((-6)/(-5)). Let d = 2.9 - 3.34. Let r = d + 0.04. Which is greater: r or j?
j
Suppose -2*l + 2 = -4*l. Which is smaller: 1 or l?
l
Let a be 18/(3 + -3 - -2). Which is greater: 7 or a?
a
Let c = 23.3 - 23. Is c at most as big as -1.2?
False
Let x = -7.14 - -0.14. Is x bigger than -1?
False
Let o(z) = z**3 - 9*z**2 + 8*z - 2. Let y be o(8). Suppose -j + 4 = 4*c + 12, 2 = -2*c. Are j and y equal?
False
Let a be (-3)/2 - 2/(-4). Let g be (-24)/(-105)*5/(-3). Let p = -5/7 - g. Which is bigger: a or p?
p
Let h(q) = 14*q**2 - 16*q + 11. Let b(v) = 5*v**2 - 5*v + 4. Let a(s) = -11*b(s) + 4*h(s). Let f be a(9). Let g = f + 0. Does g = -3/5?
False
Let u = -21 - -19. Which is bigger: 1/3 or u?
1/3
Let d(u) = -u**3 + 3*u**2 + 8*u + 11. Let t be d(5). Let w be (1 + -3)*5/(-8). Is t at least as big as w?
False
Suppose 4*t = -2 + 2. Which is smaller: t or -38?
-38
Suppose 3*k + 3 = 6. Suppose -w - b = -5*w + 12, -4*w - 4*b = 8. Let p be w + 2 + (k - 2). Is 3 bigger than p?
False
Suppose -3*q + 6 = -0. Is q bigger than 3?
False
Let a = 30/19 + -248/133. Which is greater: 0 or a?
0
Let x = 1.5 - 1.6. Which is greater: x or 11/8?
11/8
Suppose 7*j - 30 = 10*j. Which is greater: j or -2?
-2
Let t be 6/4 + (-3)/(-6). Let g = -85 - -89. Is g > t?
True
Suppose 10 = -5*p - 2*d - 3, -16 = 4*d. Let x = p - 0. Is x less than or equal to 0.1?
True
Let t = 1.876 + 0.124. Does t = 1.1?
False
Let c = -2339/559 + 55/13. Which is bigger: -1 or c?
c
Let o = -2.2 - -1.2. Let i = o + -1. Which is smaller: i or -2/11?
i
Suppose a + 4*b = 4*a - 2, 5*b - 13 = -4*a. Suppose -4*n + 6 - a = 0. Is n > 2?
False
Let g = -1.119 + 0.119. Are g and -4/13 unequal?
True
Let b be 60/52 - (-2 - -3). Let h(o) = o + 2. Let g be h(-1). Is b at least as big as g?
False
Let w = -56 - -170/3. Suppose 0 = 2*f - 2 - 0. Is w smaller than f?
True
Let r = 4 + -19. Let q = r - -20. Which is smaller: 1 or q?
1
Let l be (-129 - 1*-2)/355. Let c = l + -3/71. Let j = 43/3 + -44/3. Which is greater: c or j?
j
Let w be 2/1*1/(-2). Let m be (-1)/(-1) + (1 - 4 - -4). Let u be 0*(m/(-3) - w). Do u and 2/9 have different values?
True
Let s = -1.6 + 1.6. Which is bigger: s or 0.01?
0.01
Let t = 82/145 - -1/29. Suppose -s - 10 + 2 = 4*h, 5*s = -2*h - 4. Do t and s have different values?
True
Let w = 83 + -118. Let v be 76/28 - 10/w. Which is smaller: 11/6 or v?
11/6
Let h = -171 + 1713/10. Let b = h + -1/2. Suppose y + 1 + 0 = 0. Which is greater: b or y?
b
Suppose -8*x - 2*x = 0. Do 2/697 and x have the same value?
False
Let y = -25.956 - 0.044. Which is smaller: 2/5 or y?
y
Suppose -n + 349 = -4*l, 5 - 8 = n. Let g(b) = -b + 8. Let z be g(6). Let f be z + 5/(210/l). Which is bigger: 0 or f?
0
Let k(c) = 6*c**3 - c**2 - c + 1. Let g be k(1). Let n = -8 + g. Let x = -5 - n. Which is bigger: x or -1?
-1
Let f = 0.9 - 1. Is -2/87 >= f?
True
Suppose -8 = -2*w + 10. Which is smaller: w or 7?
7
Suppose 6 = z - 0*z. Let m be 1 - z/(1 + -4). Is m != 2?
True
Let w = 10.3 + -0.3. Let v = -9 + w. Which is bigger: v or 4/3?
4/3
Let n be 33*(-6)/(-27)*(2 + 1). Is 22 != n?
False
Suppose -6*r + 2*k = -3*r - 11, 0 = 2*k + 8. Let v(w) = -2*w**2 + 2*w. Let f be v(1). Suppose 4*b - 3 - r = f. Are 2/15 and b equal?
False
Let d be 68/(-270) - (-2)/5. Which is bigger: d or 0?
d
Let h be (6/9)/((-4)/(-6)). Is 2/27 equal to h?
False
Let d = 0.23 + -0.33. Let b(f) = f**2 - 7*f + 2. Let p be b(6). Is d != p?
True
Let j be 1/3 + (-2)/(-3). Let o = 0.05 - 1.05. Which is bigger: o or j?
j
Let k be 3/6 - 3/(-2). Let p be -1*1/(-7)*k. Does 0 = p?
False
Let u = -30 + 30.1. Suppose -2*n + 4*n - 4 = 0. Which is smaller: n or u?
u
Suppose -2*b - 54 = 5*v, -3*b - 3 = v - 0*v. Let p be (v/50)/((-2)/10). Let k = 4 + -3. Is p > k?
True
Let i = 19 + -19.04. Let h = 135/4 - 34. Is h greater than or equal to i?
False
Let m be 1/((-2)/4) + 1. Let s = -53 - -476/9. Is s > m?
True
Suppose 0*w - w = -o - 40, -o + 2 = 0. Let q be 2/(-3) - (-10)/w. Which is smaller: q or 1?
q
Let i be 1*-2*(-7 - -5). Let b be (1 - 4) + i + 0. Is b < -1/3?
False
Let h(l) = -l**3 - 12*l**2 + 11*l - 19. Let g be h(-13). Suppose -5*n + g + 28 = 0. Is n at least 1?
True
Let x(b) = -b**2 + 6*b - 5. Let s be x(4). Let j be 1/5 + (-6)/5. Let n be (10/(-2) - -2)*j. Is s equal to n?
True
Let s = -12.9 - -13. Let r(j) = -j**3 + 3*j**2 + 4*j - 2. Let a be r(4). Which is greater: s or a?
s
Let c = 2/63 + -73/315. Suppose -2*z = 3*z - 10. Let d be (-8 - -8)/(-1 + z). Is d bigger than c?
True
Let w be 2 + -2 + 134/360. Let v = w - 3/20. Which is greater: 1 or v?
1
Let h be 2/3 - 6/(-18). Let q(c) = -5*c**2 + 1. Let x be q(h). Is -4 >= x?
True
Suppose 0 - 2 = -2*u. Is -1 greater than u?
False
Suppose c - 2 = -1. Which is smaller: 1/45 or c?
1/45
Let j(n) = n**2 + 3*n + 4. Suppose p - 3*p + 12 = 0. Let i be 2/((-5)/(45/p)). Let y be j(i). Is y equal to 3?
False
Let u = 45 - 128/3. Does 3 = u?
False
Let h be ((-2)/6 + 80/(-48))/2. Which is smaller: h or 13?
h
Suppose 4*k + 166 = -5*c - 85, 4*c = -4*k - 204. Which is greater: c or -46?
-46
Let v = 2 + 3. Let f = v - 5. Is f less than or equal to -3/4?
False
Let d = 1505/6 + -251. Suppose 0 = -f + 5 - 4. Is f less than or equal to d?
False
Let b = -14 - -13. Let n = -1.3 + -0.7. Which is bigger: b or n?
b
Let d = -10/3 - -71/24. Is 0 smaller than d?
False
Let n be 2/6 + 767/39. Suppose 2*w + n = u - 6*u, 2*u + 8 = 0. Let m = 1 + -2. Are m and w nonequal?
True
Suppose -3*v + 6 + 11 = 2*m, -8 = 2*m - 2*v. Let o = -2/75 - -229/150. Which is smaller: m or o?
m
Let t be (-4)/38*(-1 + 0). Suppose 5*u = -4*x + 3*x + 7, -2*x - 2*u = 2. Let j be (x/(-14))/((-15)/20). Is t less than or equal to j?
False
Suppose 2*l = -8 + 34. Suppose -4*u + 48 = -2*f + 3*f, 0 = -5*u + 5*f + 85. Is l at least u?
True
Let q be (-94)/(-10) - 15/(-25). Let s be 3/((-6)/q) + 4. Which is smaller: s or 3/8?
s
Let j be 2/5 - 72/(-220). Which is greater: 2 or j?
2
Let w = -91 - -156. Let f be (20/w)/(2/(-3)). Which is smaller: 0 or f?
f
Let a(z) = -3*z + 8. Let p(g) = -16*g + 39. Let y(r) = -11*a(r) + 2*p(r). Let n be y(8). Is -0.3 != n?
True
Let f(l) = -l - 10. Let z be f(-11). Let u(w) = -w**3 + w**2 - w + 1. Let m be u(0). Is z >= m?
True
Suppose 2*n + 3*n = 10. Suppose z = 4*o - 7, -n*o + 26 = z + 3*z. Suppose -4 = l - o. Are l and -1/4 equal?
False
Let x = -0.16 + 0.06. Is x greater than 10.3?
False
Let n(f) = f + 2. Let q be n(-2). Suppose 3*y + 19 = -0*y + 2*r, -3*y + 4*r - 17 = q. Is -3 at most y?
False
Suppose 0 = c - 7 + 7. Is -3/5 <= c?
True
Let i(m) = m**3 + 10*m**2 + 13*m - 3. Let a be i(-4). Is a less than 42?
True
Let f(g) = g**2 - 8*g + 8. Let a be f(6). Is a at least as big as 1?
False
Suppose 0 = y - 5*y. Is y less than or equal to 0?
True
Let b = 1 + -0.7. Let a = -1.27 + b. Let d = 0.03 - a. Which is smaller: d or -0.4?
-0.4
Let h = -20 + 21. Is -1/2 less than or equal to h?
True
Let y = 1 + -2. Let k = y - -0.9. Let i = -0.3 - k. Which is greater: 1/4 or i?
1/4
Let z be (-13)/(-21) - (-1)/(-3). Let o(g) = -g - 7. Let w be o(-9). Suppose w*c - 6 = 0, 4*d + 2*c + 2 - 8 = 0. Is z at most d?
False
Let k = -2.4 + -0.6. Which is smaller: k or -1?
k
Let g be (33/9)/(1/(-3)). Let v = g + 8. Let l be 2/2 + v/2. Which is smaller: 0 or l?
l
Let u = 0.8 + -1. Let l = -4.6 - -4.5. Let o = l - u. Which is smaller: o or -2/3?
-2/3
Let q be (15/(-12))/((-1)/(-4)). Which is smaller: -1 or q?
q
Let r = 2492/5 + -500. Let v(h) = -h + 2. Let s be v(5). Which is smaller: r or s?
s
Let y = -7 - -7.06. Let s = -0.14 - y. Let q = -0.2 - s. Which is smaller: q or 1?
q
Suppose 6*b = b. Which is greater: b or -2/17?
b
Let r = -1.6 + -0.4. Let t = -2 + r. Which is bigger: t or -1?
-1
Suppose -2*y = 3*y. Suppose t - 3*t = y. Which is smaller: t or 2/13?
t
Let o = 0.3 + -0.6. Let g = 0.1 + o. Do g and 4/5 have the same value?
False
Let h(s) = -s + 10. Let z be h(5). Let p = -41 + 31.1. Let u = -10 - p. Which is bigger: z or u?
z
Suppose 0 = f + 5*r - 115, 5*f - 604 = -0*f + 4*r. Suppose -t + 4*i = i - 35, -4*i = -5