= 0. Let n be 1/3*3/2. Which is smaller: u or n?
n
Suppose -3*y + 5 = -7. Suppose y*l = -0*l - 4. Let t be 64/10 - (-2)/(-5). Is t equal to l?
False
Let d be -14 - (2 - (3 - 1)). Let q = -13 - d. Let t be (-54)/(-88) - (-2)/(-8). Is t equal to q?
False
Suppose -2*f - 15 = 11. Is -13 at most as big as f?
True
Let t = 8 + -13. Let x = t + 9. Which is greater: -1/2 or x?
x
Suppose 2*o - 11 = -1. Suppose 0 = -0*l - 4*l - o*r - 8, 4*l - 5*r = 32. Let p = -4 + l. Do -1 and p have the same value?
True
Let q = 1.95 - -0.05. Let h = -4 + 0. Is h greater than or equal to q?
False
Suppose -u + 2*u - 9 = 0. Let q be ((-12)/u)/(2/(-3)). Which is smaller: 3 or q?
q
Let q(j) = -j. Let t be q(3). Which is greater: t or -11/6?
-11/6
Let h(i) = -i**3 - 7*i**2 - i + 1. Let o be h(-7). Suppose -3 = -o*m + 7*m. Which is greater: m or 5?
5
Let m = 5/102 - 32/1173. Which is bigger: m or -1/3?
m
Let y be (4 - 7)/((-2)/(-8)). Let f = y + 11. Let m = 5 + f. Is m not equal to 3?
True
Let n be 2/(-3) + (-24)/(-9). Suppose -n = -a - a. Suppose 3*c - 2 = a. Does 2 = c?
False
Let p = -1 + 0. Let m = 0.3 - 1.3. Is m greater than p?
False
Let o = 8 - 6. Suppose 3*u + 3*d + 3 = -2*d, 3*u = o*d - 3. Let z = 47 + -142/3. Which is smaller: z or u?
u
Let z = 1 + -1. Let d be (-1)/((-3)/12) + -2. Suppose 0 = -d*h - z*h. Which is bigger: h or -2/3?
h
Let u(k) = k**3 + 12*k**2 - 13*k + 4. Let p be u(-13). Let v be 3*8/6 + 1. Suppose -3*z - 13 = -p*i, -16 = i - v*i + 4*z. Which is bigger: i or -4/9?
i
Let q be (-56)/(-12)*(-9)/(-6). Let b = -8 + q. Which is smaller: -4/7 or b?
b
Suppose c = -3*c, 4*w - 5*c = 72. Let t be w/12 + 19/(-6). Which is smaller: t or -3?
-3
Let v(g) = 3*g - 3. Let y be v(2). Suppose -j + 3 = y*l - l, -l - 5*j = -6. Let b be (1/(-8))/(l/6). Which is greater: b or 0?
0
Let y be (1/(-3))/(2/(-12)). Suppose y*o + 2 = -3*u + 7, -o + 5 = 4*u. Let t be 1/2 + 2/(-6). Which is smaller: u or t?
t
Let v(l) = l**2 - 2*l + 4. Let j be v(3). Suppose -3*c - 13 = -4*x, -4*x + 2*c = c - j. Let n = -10/153 - -3/17. Which is bigger: x or n?
x
Suppose 4*x + 12 = -3*s, 3*x = 5*s - 0*s - 9. Which is smaller: s or -5/11?
-5/11
Suppose -s + 6 = -3*n - 9, -5*n = 3*s - 3. Does s = 6?
True
Suppose -2*l = 2*o, o + o - l - 15 = 0. Suppose -7 = -n - 4*k - 24, -o*n = -2*k - 3. Let f be n*(-3)/18*-2. Which is greater: f or 1?
1
Let x = -125/6 - -62/3. Are x and -1 non-equal?
True
Let k(j) = -j**2 + 12*j - 12. Let w be k(11). Which is smaller: w or -9?
-9
Suppose -4*w = 4*h - 12, 0 = 4*h - 7*h + 15. Is w less than 5?
True
Let r = 817/26 + -63/2. Is 0 >= r?
True
Suppose 13 = a + m + 2*m, -1 = -4*a + 5*m. Let x be 6/8*a/(-6). Let r = -14 - -14. Which is greater: x or r?
r
Let n = -789.1 - -789. Let k = 1/5 - -13/10. Is n bigger than k?
False
Let c(g) = g**2 + 8. Let y be c(0). Suppose -y*h = -4*h. Let r = -39 - -193/5. Is h greater than r?
True
Let s = 2/19 + -33/133. Is 0 equal to s?
False
Let m be ((-8)/36)/(8/12). Let z(p) = -p**3 + 2*p**2 + 4*p - 3. Suppose 2 = 4*t - 10. Let g be z(t). Which is smaller: m or g?
m
Let y be (-4)/(-34)*(0 - -1). Which is bigger: -0.2 or y?
y
Let g be ((-1)/(-2) - 0)/(4/144). Is g at most as big as 18?
True
Let o = 0.176 - -10.724. Let n = -11 + o. Is -4/7 smaller than n?
True
Let g be (-2 - 4)*(-2)/3. Let l(h) = -h**2 + 5*h - 5. Let i be l(g). Let z = -1/17 - 0. Which is smaller: i or z?
i
Suppose -2 = i, 2*i = 4*c + i + 30. Is -3 <= c?
False
Let j(k) = 4*k + 18. Let f be j(-3). Which is smaller: f or 8?
f
Let o = -20/107 + 1467/7276. Is o less than 0?
False
Let o(t) = -3*t**2. Let l be o(-1). Let s = 119 - 123. Which is smaller: s or l?
s
Suppose -4*l - 26 = -98. Let k be (-1)/(-2) + 9/l. Let a be ((-4)/(-5))/(2/1). Is k at most a?
False
Let d be 4/14 + (-3468)/378. Let y = -2213/252 - d. Let o = -29/252 - y. Is 0 < o?
False
Suppose -30 = -5*l - 0. Suppose -1 = t - 5. Suppose 2*m + 2*n = 0, -m + n + t = -l*m. Which is greater: 2/9 or m?
2/9
Suppose v - 12 = -5*j, -3*j = v - 9 + 1. Suppose 3*c + 5 = 5*u + c, v*u = 3*c + 13. Let h = u - -2. Is h bigger than 2?
False
Suppose 2*g = k + 3*g - 10, 3*g = 3. Which is smaller: 8 or k?
8
Let a(b) = -4*b + 44. Let s be a(5). Is 25 > s?
True
Let f = -78.7 + 79. Is -2 greater than or equal to f?
False
Let k = 8 - 5. Let d be (-4)/6*(-9)/k. Suppose -d = p + 3. Is -6 greater than p?
False
Let t be 2/(-2 - 25/(-12)). Which is smaller: t or 23?
23
Let m be 2/(-8) + (-117)/(-84). Suppose -14*t + 10*t = -8. Is t greater than or equal to m?
True
Let h be (-6)/2 - (-153)/54. Suppose 2*c = c. Which is greater: h or c?
c
Let l = -8 - -11. Suppose t - 1 = 3*t + l*p, 5*t = -3*p - 7. Is -2 less than t?
False
Let r = 0.007 - -0.043. Which is bigger: 0.3 or r?
0.3
Suppose -2*q + 7*q = 5*j + 200, 0 = 5*q. Are j and -40 nonequal?
False
Let a(v) = -v - 4. Let w be a(-8). Suppose 3*j = -5*b - 164, 3*b - b = -w*j - 60. Let i be 3/(-2) - b/24. Is 1 at most as big as i?
False
Let q = -0.1 + -0.3. Let n = 0.68 + -0.68. Which is smaller: q or n?
q
Let f = -6 - -4. Let i = f - -2. Suppose i = 3*a - 4*a + 4. Is a greater than 4?
False
Let g(f) = 2*f - 6. Let w be g(5). Let v be (-4)/w + (-2)/1. Let z be (2/(-5))/(2/10). Which is smaller: z or v?
v
Let a be 27*1*(5/3)/5. Which is greater: a or 11?
11
Let c be 52/20 + (0 - 3). Suppose -2*n - n = 0. Let f = -1 - n. Is c at most f?
False
Suppose -4*y = 3 - 7. Suppose 0 = -2*h + 3 + 17. Let a be y/(1 - h/(-4)). Which is greater: -1 or a?
a
Let d(t) = -t - 6. Let k be d(-8). Suppose -2*x = k*x - h + 1, 3*h = 15. Which is smaller: -1/12 or x?
-1/12
Suppose 0 = -6*c + c, 0 = -2*j + 2*c - 22. Which is smaller: j or -12?
-12
Let k(x) = 3*x**3 - x**3 - 4 + 2*x**2 - 4*x**3 + 3*x**3 - 4*x. Let q be k(-3). Is -2/11 at most as big as q?
False
Let s(m) = m + 17. Let d be s(-7). Let y(w) = w**2 - 11*w + 5. Let f be y(d). Which is bigger: f or -4?
-4
Let u be (-10)/(-3)*(-90)/25. Let d = u - -6. Which is bigger: d or -1/2?
-1/2
Let p = 0.1 + -0.8. Let g = 4 - 2. Which is smaller: g or p?
p
Let b be 1*(-183)/15 + 2. Let z = -10 - b. Which is bigger: z or 0?
z
Let x be (-4)/10 + 8/20. Let d = x + 1. Is d bigger than -3/7?
True
Let m = 11702/17 + -688. Which is greater: 0 or m?
m
Let f(u) = -22*u - 2. Let h be f(-1). Let x be h/(-8)*(-8)/(-10). Let j = 89/2 - 46. Which is greater: j or x?
j
Suppose 12*i = 13*i. Are -1/8 and i nonequal?
True
Let j be (-21)/4*1324/18. Let m = j + 385. Let b = -5/3 - m. Is b bigger than -2?
True
Let q(a) = -a**3 - 2*a**2 - a + 1. Let p be q(-2). Is p greater than or equal to 4?
False
Suppose -2*g - f = 7, 4 = -g - 3*f - 12. Let c be 2/(g + 13/2). Are 0 and c nonequal?
True
Let a = 250 + -758/3. Let j = a - -2. Let z = -8 + 10. Which is greater: j or z?
z
Let o = 3.06 - 0.06. Which is smaller: o or 0.4?
0.4
Let g be (-120)/(-9) - 5/15. Let t = g - 12. Is t at most 0.1?
False
Let x = 11 + -9. Suppose x*u = -u. Do u and -10/9 have the same value?
False
Let f = -32 - -798/25. Is f at least 1?
False
Suppose -2*s + 4 = -s. Suppose 2*v - 5 = 3*r + 9, 4*v - 24 = 4*r. Is v at most s?
True
Let b be 44/112*1 - 3/12. Let c = -0.2 - -0.4. Which is smaller: c or b?
b
Let h = -60 + 1016/17. Suppose 9*x - 5*x = -4. Which is smaller: h or x?
x
Suppose -7*a + 33 = -18*a. Is -5/3 at most a?
False
Let w(p) = p**2 - 7*p + 3. Let l be w(7). Let n be l - 27/21*1. Is 1 equal to n?
False
Let l be (10/(-6))/(2/6). Is l < -17/3?
False
Let g = 0.78 + -10.78. Is g > 1/7?
False
Let t = -13.07 - -13. Let x = -0.13 - t. Let k = x - -1.06. Is k bigger than 2?
False
Let x be (7 - 6 - (1 - 0))/2. Is -18/17 less than x?
True
Let q = -25 - -19. Let w(h) be the second derivative of h**5/20 + h**4/2 - h**3/6 - 5*h**2/2 - h. Let g be w(q). Which is greater: g or 0?
g
Suppose 5*m + 2 = 3*s, 3*s + 0*m - 1 = 4*m. Which is smaller: s or 1/22?
s
Let r = 0 - 0. Let h be (31/620)/(1/8). Which is bigger: h or r?
h
Let l be ((-6)/2)/(3/4). Let q be 12/(-18) - l/(-3). Let k = q + 1. Is -2 at most k?
True
Let o be 6/6 - -1*3. Suppose 0 = -o*b + 8, -5*b + 6 = 3*u + 2. Let l be (u - -2) + (-5)/10. Is -1 bigger than l?
False
Let z be 7/(-105)*50/4. Which is bigger: z or -2?
z
Let w(l) = -l. Let d(s) = -2*s**3 - 2*s**2 - 5*s + 1. Let j(x) = -d(x) + 5*w(x). Let z be j(-1). Let r = 109/3 + -36. Are r and z non-equal?
True
Suppose -11*w =