2404. Is v smaller than -98?
False
Suppose 3*n = -3*v + 21, 3*v + 2*v + 2*n = 29. Suppose k + 49 = 51. Suppose 4*x - 10 - 2 = k*q, -3*q = v*x + 7. Is 3 >= x?
True
Let o(p) = 29 + 3*p - 10*p + 10*p. Let d be o(-18). Which is bigger: d or -26?
d
Let t = 36 + -41. Let p = 5.1 + t. Which is smaller: p or -60?
-60
Let y = -17 + 10. Let h(z) = -2*z + 11. Let v be h(-3). Suppose 0 = -4*w - v - 7. Is w >= y?
True
Let c(x) = 39*x - 2419. Let r be c(62). Let t = -1227/8 - -153. Which is smaller: t or r?
r
Let l(u) be the third derivative of u**5/20 - 6*u**2. Let v be l(1). Let c be 1/v - (-39)/18. Is c <= 3?
True
Let x = 3065 - 361675/118. Which is smaller: x or -1?
-1
Suppose 3*r - 3 = 2*x - 0, 5*r + 5*x + 20 = 0. Let k be (-4)/22*r - 0. Suppose -6*v - 3*l + 12 = -2*v, 4*v - 16 = -4*l. Does v = k?
False
Let k = -9 + 2. Let q = 5 + k. Let s be ((-91)/q)/(-7) + 4. Are s and -0.2 unequal?
True
Suppose 2*y = -5*v - 656, -4*v - 103 - 417 = 4*y. Is v at most as big as -134?
False
Let t = -39.3 - -43. Let w = t + -3.6. Which is smaller: w or 15?
w
Let n(x) = 6*x**2 - x + 1. Let d be n(1). Let g be d + 6/(-3) - 64. Which is smaller: g or -59?
g
Suppose -9 = -3*t - 36. Let g be (0 + 3/9)/((-1)/(-6)). Let z be (-2 - 6/3)*g. Do t and z have the same value?
False
Let x(a) = -21*a + 40. Let v be x(2). Is -3/2 greater than or equal to v?
True
Suppose 0 = -5*p + 14 + 6, 5*p = d - 305. Suppose 4*o + 2*f = -254, -3*f = -5*o - 4*f - d. Let u be (9/4)/(o/(-16)). Do u and 1 have different values?
True
Let f(z) = z**3 + z**2 - z - 1. Let l be f(-1). Let v = 2115 - 2111. Is l < v?
True
Suppose 5*l - 95 = 295. Suppose 16*r - 14*r = -l. Which is greater: -38 or r?
-38
Suppose 771*c = 768*c - 21. Let u(m) = m**3 + 7*m**2 + 8*m + 5. Let x be 4/((-1)/(-3)*-2). Let b be u(x). Is c < b?
False
Let g(c) = -3*c**3 - c**2 + 2*c - 2. Let s be g(1). Let f be (40/3)/s - (-22)/(-33). Is 3 not equal to f?
True
Suppose -4*z + 3*x - 124 = 0, 5*z - 6*x + 156 = -2*x. Suppose -9*m + 2*y - 70 = -11*m, 2*m = y + 70. Let g = m + z. Is g less than or equal to 3?
False
Let v = 20.97 - -0.03. Let u = 310 - 301. Let l = u - v. Is l >= -1/2?
False
Suppose 74 - 2 = 2*x - 2*u, 0 = -3*u - 12. Let l be (-24)/(-10) + x/(-80). Let v = -2 - -2. Which is greater: l or v?
l
Let x = 0.1 - 0.1. Let y = 18623.63 - 18623. Do x and y have different values?
True
Suppose 3*l + l + 68 = 0. Let q be (-416)/(-39) + 1/3. Let p = q + l. Is -7 < p?
True
Let w(c) = c**2 + 6*c - 3. Let n be w(-7). Suppose -n*h - 5 = 3. Let u(s) = -6*s + 2. Let f be u(0). Which is bigger: h or f?
f
Let s = -293583 + 339088144/1155. Let h = -2/231 + s. Let i be 7/(-1) + 7/(14/16). Which is bigger: h or i?
i
Let d be 98/(-231)*15 - -6. Are 0 and d nonequal?
True
Let c = 420 - 422.33. Let k = -0.03 - c. Is k >= -1/4?
True
Let i = 2.968 + 0.032. Let a = -4 + i. Let j = 1.98 - 2. Which is smaller: a or j?
a
Let z(r) = -r**2 + 5*r + 12. Let w be z(7). Let m be 2 - 1 - ((-114)/63)/w. Which is smaller: m or 1?
m
Let l = -145097/113 - -1284. Which is greater: l or -1?
l
Let y = 1 + -2. Let w be 17/2 + y/(-2). Suppose 8 + 28 = 4*h. Is h at most as big as w?
True
Suppose -j - 3*j = b + 9, 18 = b - 5*j. Suppose -b*d - h = 4*h - 6, -2*d = 5*h - 4. Which is smaller: 0 or d?
0
Suppose -2*y + 23 = -5. Suppose y*v = 10*v. Let c be (3 - 3)/(-1 - 1). Does v = c?
True
Let u = 704 + -706. Let j = 2 + 0. Which is smaller: j or u?
u
Let n(i) = -i**2 - 8*i + 14. Let s be n(-9). Suppose -4*g = -2*c + 8, 4 = -s*c - 4*g + 2*g. Let x = 162/7 - 923/42. Is c < x?
True
Let s be 0/(4/(-2)) - 1. Let q be (31/16 - 2)/8. Let c = -633/896 + q. Is s bigger than c?
False
Suppose 808*y + 136 = 805*y + 4*g, -3*g + 3 = 0. Suppose -d + 0*t - 38 = 5*t, d - 3*t + 46 = 0. Which is greater: y or d?
d
Let j(h) = -8*h - 4. Let a be j(4). Let d = -15 - a. Let r = 9 - d. Which is smaller: -11 or r?
r
Suppose f = -3*v + 11, 3*f + 0*v - 1 = -v. Suppose 3*c + 835 = 5*t, -4*c + 308 = 3*t - t. Let y be (12/t)/((-3)/2). Which is smaller: f or y?
f
Suppose 3*h - 157 = -154. Is -1/83 at most as big as h?
True
Let g = -2 + 1. Suppose -2*x = -4*w - 21 + 15, 1 = -4*w - 3*x. Is g > w?
False
Suppose -106 - 71 = -3*j. Let g(z) = -2*z**3 - 23*z**2 + 18*z + 131. Let d be g(-12). Do d and j have the same value?
True
Let d be (16 - (-38794)/(-2590))/(6/20). Which is smaller: 4 or d?
d
Let w = 2284 - 2284.2. Which is smaller: -49 or w?
-49
Let k be (-94 - -101) + 59*2. Is k less than or equal to 129?
True
Let h = -794 - -3181. Which is smaller: h or 0?
0
Let n = -26.4 - 28.6. Which is bigger: n or 4?
4
Let m = -145/96 - -1/96. Let g be (-12)/9*12/8. Is m smaller than g?
False
Let o = 12 + -5. Let p(w) = -3*w - 6. Let f be p(-3). Suppose -f*x + 9*x = 48. Which is bigger: x or o?
x
Let j = 565 + -294. Which is bigger: j or 272?
272
Let y be 13 - 9 - (2 - -1). Suppose -u + 8 = -y. Let p be (-326)/(-30) - (-20)/150. Does u = p?
False
Let d be ((-3)/(-9))/((-2)/(-12)) - -35. Which is bigger: 75/2 or d?
75/2
Let m = -966 + 957. Are -21 and m equal?
False
Let j be (-6)/(-4)*32/48. Suppose 10*t = 9*t - j. Let u be (-1)/(-7)*-1 - 0. Is u at most as big as t?
False
Suppose -2 = y, a + 5*y = -3*y + 934. Which is greater: a or 949?
a
Suppose 4 = 3*x - 2*v, 3*v = -2*x + 5*v + 4. Which is greater: x or -18?
x
Suppose -258*c + 273*c = -255. Suppose 2*z - 3*z + 4*p + 7 = 0, 3*p - 37 = 4*z. Are z and c nonequal?
True
Let q be (18/(-15))/((-26)/20). Suppose c + c = -3*m + 27, -18 = -2*m - 3*c. Suppose -m = -3*f - 3. Which is greater: f or q?
f
Let o = -1 + -2. Let n be ((-6)/27)/(-2 + (-7)/o). Which is greater: n or -2?
n
Suppose -5*h + 2*b + 51 = 1542, -4*b - 1176 = 4*h. Is h <= -294?
True
Suppose 5049 - 1617 = 52*i. Is i != 68?
True
Let i be (-2)/3 - 4/(-6). Suppose -5*x = -i*x. Let g = 15.5 - 17.5. Which is smaller: g or x?
g
Let x be -1 + 0 - (-60)/3. Let l be (0 - 1)*0/x. Suppose -102 = -l*n + 3*n. Which is smaller: -33 or n?
n
Let c = 632 - 8158/13. Which is greater: c or 5?
5
Let c = 0.208 - 0.108. Suppose -y - 3*s + 6*s = -56, -5*s - 245 = -4*y. Which is bigger: y or c?
y
Let q = -1429 + 1430. Is -12/133 at least as big as q?
False
Let a be (-1 + -2)*84/(-9). Let w = 38 - a. Let t = -3 - -12. Which is smaller: w or t?
t
Suppose -2*z = -5*v - 6 - 38, 0 = -3*v. Let h = z - 11. Suppose -h*a + 6*a = 15. Which is smaller: a or -12/7?
a
Let f be 5 - (25/125 + (-28)/(-10)). Is f at most as big as -20?
False
Let k = -35 + 31.6. Let s = 3.9 + k. Which is smaller: s or -2/5?
-2/5
Let d be (-2)/(-8)*(14 + -6). Suppose -d*x = 3*x - v - 44, -v + 37 = 4*x. Which is bigger: x or 10?
10
Let c be (-9)/3 + 4/(-6). Let j = 61/15 + c. Do -5/3 and j have the same value?
False
Let a = -1010.53 + 1074.3. Let n = 64 - a. Is 0 at least n?
False
Let z be (1 - 3 - -5)/3. Let r be (-80)/35 + 1 + z. Suppose n + 2*n = -3. Which is greater: r or n?
r
Let a = 1216 + -1215.98. Which is bigger: a or -0.6?
a
Let a(g) = g**2. Let w be a(2). Suppose w*b - 25 = -b. Suppose 6 = 2*x - b*s + 1, 3 = 4*x - 3*s. Which is smaller: -3/11 or x?
-3/11
Let f = 0.1859 - 150.1859. Are f and -4 nonequal?
True
Let c be 6/42 - 24/21. Let k be -1*((-2)/8)/(1/4). Which is smaller: k or c?
c
Let k be (1/(-3))/(18/(-702)). Let u = k - 13. Is u at least as big as 15?
False
Let i be (-8)/(-12) + (-2)/(-6) - -742. Let z = 8167/11 - i. Suppose 0*d = 2*d. Which is greater: z or d?
d
Let t = -376 - -386. Which is greater: t or 2?
t
Let u(h) = -h**2 + 2*h + 9. Let r be u(4). Which is smaller: -7/18 or r?
-7/18
Let z = 251 + -3269/13. Suppose -5*o + 15 = -5. Suppose -o*p = -10*p - 6. Which is smaller: z or p?
p
Suppose -2*m = -x + 2 - 34, -4*m - x = -76. Suppose -15*f + m*f = -207. Which is smaller: f or 0.1?
f
Let l be (3/5)/((-10)/50). Let x be 105/222 + l/6. Which is bigger: x or 0?
0
Let l = -113 + 119.7. Let m = -5.5 + l. Which is smaller: m or -0.1?
-0.1
Let i = 0.3 + -0.29. Let n = 0.09 - i. Let j = n + -2.08. Which is smaller: -1 or j?
j
Let z be (-2)/(2*1) + 4. Suppose 2*y + r + 5 = -0*r, -5*y = 2*r + 10. Suppose 3*d = p + p, -z*d + p = y. Which is greater: d or 1/10?
1/10
Let a(i) = -5 + 6*i - 9 + 2*i**2 - 17*i. Let s be a(6). Is s at least -9?
True
Suppose 3*h - t + 286 = -5*t, 4*t + 16 = 0. Let l be -22*h/4 + -3. Let k be l/114 + 0 + -4. Which is smaller: k or 0?
0
Let