/11 unequal?
True
Let f = 1876.87 + -1890. Let l = 0.13 + f. Let d = -12 - l. Are -0.09 and d unequal?
True
Suppose 3*t + 2*f + 10 = 0, 4*t - 5*f - 128 = -103. Which is greater: -0.134 or t?
t
Let s be (4/(-6))/(2/(-3)). Let f(h) = 2*h + h - 4*h + 2*h. Let r be f(s). Which is greater: r or -1?
r
Suppose -33*m - 119 - 871 = 0. Is -88/3 < m?
False
Let c = -61 - -23. Let q = -42 - c. Is -19/5 equal to q?
False
Let w be 1 + (3 - (-2 - -3)). Let p = -1052/3 + 354. Which is greater: p or w?
p
Suppose 5*t - 6 = 14. Suppose 0 = 5*q + 3*u - 7, -t*u = -0*q + 2*q. Suppose -3*v = -g - q, g + 6 = 6*g + v. Which is smaller: g or 2/3?
2/3
Suppose -p = -4*p + 63. Suppose 4*h = -4*i - 84, 3*i + 38 = -2*h - p. Let q = i - -24. Are 3 and q nonequal?
True
Let h = 569 - 11945/21. Let t = -48 - -50. Suppose -l = -t*c - 5, 2*c - 3*c + 5 = l. Which is greater: c or h?
h
Suppose 5*y - 4*c + 128 = 0, 2*c + 0*c = -6. Which is smaller: 7 or y?
y
Suppose -27*m - 61 = -574. Are m and 99/5 non-equal?
True
Let n = -1207 + 1197. Let j(o) = 9*o + 6. Let k be j(5). Suppose -5*z = -r - 2*r - 2, -4*r = 3*z + k. Which is bigger: n or r?
r
Suppose 0 = 7*n - 523 + 2735. Is -316 < n?
False
Let m be 3/(-26)*(-64)/24. Is m < -1?
False
Let f be 328/(-156) + 1*2. Suppose 0 = 4*l + 16, 5*l + 19 - 3 = -4*q. Is f at least q?
False
Let d be (-2407)/(-1653) - (-2)/(-3). Let h = d - 541/589. Is 1 at least h?
True
Let v(i) = -1. Let n(h) = h + 1. Let b(a) = -2*n(a) - v(a). Let q be b(-5). Suppose -q*z = -12*z + 3. Are 3 and z unequal?
True
Let g be ((-1 - -3) + 0)/5. Let d = -0.17 + -4.33. Let n = -0.5 - d. Which is smaller: n or g?
g
Let p(n) be the second derivative of n**5/20 + 2*n**4/3 + n**3 - 5*n**2/2 - 5*n. Let h be p(-7). Let b be 20/15 + -1*h. Which is smaller: 3 or b?
b
Suppose 6*h - 3*h = 0. Let v = -615 - -615. Is h < v?
False
Let b(v) be the third derivative of v**5/30 + 13*v**4/24 + 7*v**3/3 + 7*v**2. Let t be b(-4). Which is smaller: t or -3?
t
Let a = 162 - 1780/11. Is 6 smaller than a?
False
Let m be (-96)/(-44) - (-6)/(-33). Suppose -m*b = -1 - 3. Which is greater: b or -2/9?
b
Suppose 2 = 4*c + 2*p, 4*p = -c + 1 + 10. Let a = -199381/5 - -39749. Let x = 3184/25 + a. Which is smaller: x or c?
c
Let x = -54 - -31. Let i = x + 22.9. Which is bigger: i or -1.5?
i
Suppose 5*z = -3*l - 7, -z + l - 1 = -6*z. Let c(u) = -4*u**3 + u**2 - 1. Let o be c(1). Let r be o + (1 - (-110)/35). Is z at most as big as r?
False
Let l be (-16)/4 + 3 + (3 - 5). Suppose 0 = 9*t - 4*t + 10. Which is smaller: t or l?
l
Let k = 6 + -11. Suppose -5*v + 29 = d, 4*d - 2*v - 6 = -0*v. Let w be 4 - d - 0 - 3. Is w > k?
True
Let n = -157 + 48. Let y = n + 67. Which is smaller: y or -43?
-43
Let i = 0.499 + 0.101. Let q = 1.6 - i. Is q >= -6/101?
True
Let l(w) = -5*w - 8. Let h(v) = -3*v**2 - 4*v - 3. Let s be h(-2). Let k be l(s). Is 26 at most k?
True
Let t = -73 - -439. Let b = 6219/17 - t. Which is smaller: 1 or b?
b
Suppose 0 = -3*o + 7*o - 280. Suppose -2*y = 2*g + 2*g - 38, -2*y - o = -5*g. Is 12 smaller than g?
False
Let u = -590 + 590. Is u != -2/235?
True
Let r = 14/5 - 47/15. Is r greater than or equal to -20/11?
True
Let y = -695/8 + 87. Let g = 20 - 19. Which is greater: g or y?
g
Let w be 9 - 3/(3 + (-9)/6). Which is greater: 2 or w?
w
Let t = 717 - 716.9. Which is bigger: t or -769?
t
Suppose 14*l - 18*l = -4. Which is bigger: l or -3.4?
l
Let l(m) = -4*m**2 + 16*m + 7. Let i be l(5). Suppose -24 = -3*x + 2*x. Let z = x + -36. Which is greater: i or z?
z
Let b(a) = a**3 + a**2 - 2*a. Suppose 5*j - 15 = 5*r - 2*r, -4*j + 12 = -5*r. Let x be b(r). Which is bigger: x or -6/7?
x
Let k = 56 + -67. Let f = 10.95 + k. Which is smaller: f or 1?
f
Let u = -185 + 184.991. Which is greater: u or -0.1?
u
Let x = 1882/7 - 269. Let s be -1*0/(-2 - -1). Is x not equal to s?
True
Let u be -1*((-2)/11 - (-27836)/396). Let v = u - -70. Which is bigger: 0.3 or v?
0.3
Let n = -0.06 - -1.77. Is n greater than -1?
True
Suppose 0 = -4*h - 11*h + 165. Let q be 3/(-18)*2*-33. Is q > h?
False
Suppose -l = -2*f - 9, 3*l + 84*f = 82*f + 11. Let b = -3 - -3.5. Which is smaller: l or b?
b
Let s(d) = d**3 + 5*d**2 - 7*d - 6. Let m be (-6 - (1 + 0)) + 1. Let r be s(m). Let b = -198/1435 + 8/41. Which is smaller: r or b?
r
Let o(w) = 14*w + 365. Let u be o(-26). Which is greater: -2/139 or u?
u
Let t = 16.2 - 0.2. Let a = 37 - t. Let l = a - 24. Which is smaller: 0 or l?
l
Let u be (2002/210)/11 - (-1 - -2). Which is smaller: u or -2/11?
-2/11
Suppose c + 16 = -3*c, -3*v - 5*c = 8. Let n = -5 + v. Is n at least as big as -2?
True
Let r be (11/(-594))/(51/(-12)). Is 1 not equal to r?
True
Suppose -8*r - 18 = -9*r. Is 16 at most r?
True
Suppose 4*b + 4*m + 24 = -0*m, -4 = 2*b - 2*m. Let g be b/10 - 16/(-140). Let a = -3/26 + -2/39. Which is smaller: a or g?
g
Let q be ((-4)/3)/(290/87). Which is smaller: -7/31 or q?
q
Let a = 1510 + -1532. Suppose 26 = -5*h - 89. Is a at most as big as h?
False
Let o = -0.664 - -1.664. Is 98 smaller than o?
False
Let c = -157 - -226. Which is bigger: 73 or c?
73
Let j be -5*(-3)/25 + 6/15. Suppose 4*n = 4*m - 11 - j, 4*n + 12 = -5*m. Which is smaller: 3.9 or m?
m
Let o be 0 - (-1 + (0/(-4) - 2)). Let a(c) = -2*c**2 + 6*c - 1. Let k be a(o). Let d = -61/165 - 1/33. Do d and k have the same value?
False
Let b = 111 + -78. Let s = 32.96 - b. Which is greater: -2 or s?
s
Let d = -17274/7 + 2468. Let r = 5 + -2. Let q = r + -5. Do q and d have different values?
True
Let a = -871 - -497. Is -374 less than or equal to a?
True
Let l = -17.3 + 10. Let s = 1 + -8. Let j = s - l. Is j >= -1/2?
True
Suppose -6*n + 15*n = -99. Let r(l) = -l**3 - 12*l**2 - 12*l - 20. Let x be r(n). Let v be (-3)/(18/(-33))*-2. Which is greater: x or v?
x
Let q = -186.0142 - -186. Is 0.1 smaller than q?
False
Let v(r) = 179*r**3 + 2*r**2 - 13*r - 15. Let k be v(-1). Is -179 less than or equal to k?
True
Let v = -180 + 172. Let p = 5 - 23. Let h = -26 - p. Is v >= h?
True
Let a(v) = -4*v + 1. Let p be a(-8). Suppose 81 = 3*r + p. Let i be 8/2*4/r. Which is greater: -4/9 or i?
i
Suppose 43 = -10*s + 663. Is s at least 71?
False
Let d = -2/413 - -417/826. Do d and -0.153 have different values?
True
Let m = -8 - -11. Let l be 1*(144/51 - m). Let v(h) = -h**2 + h + 2. Let a be v(-1). Is a less than or equal to l?
False
Let m(l) = l**3 + 11*l + 6. Let w be m(-7). Let f = w - -2022/5. Which is greater: -11 or f?
f
Suppose 0 = 3*y - 3*m + 18, 4*y + 2*m + 30 = -0*y. Is y equal to 4?
False
Suppose a - 13 = -3*r, 8*a = -r + 4*a - 3. Suppose -2*j = -o - r, -5*o - 21 = -6. Let n = -772 + 774. Is n < j?
False
Let i = 78 - 60. Let x = i + -18. Which is greater: x or -13?
x
Let u be ((-8)/4990)/((-19)/1235*-13). Are 1 and u non-equal?
True
Let c = -60.8146 - 0.1854. Which is greater: -7 or c?
-7
Let u = 875/663 - 22/17. Suppose -2*j + 6 = -4*m + 2*m, m + 8 = 2*j. Suppose 0 = -4*g - 5*t + 5, -m*t = -1 - 1. Which is bigger: u or g?
u
Let j = -24 - -4. Let a = 20.2 + j. Which is smaller: a or 27?
a
Let b = 57 - 185. Let s = b + 123. Suppose 0*v + 6 = -2*v. Which is smaller: v or s?
s
Let o(g) = 2*g**2 + 21. Let t be o(10). Let z = 1987/9 - t. Is z equal to -2?
False
Let o = -13.1 + 15.1. Do 108 and o have the same value?
False
Let j = 5 + -3. Let s = -7/58 + 193/638. Is s at most as big as j?
True
Let j = -68.93 + 113. Let f = -44 + j. Is f at most 2?
True
Let s be (6828/21)/4 - (-2)/(-7). Let x = s - 48. Is 32 at least x?
False
Let k be -5*30338/(-50545) - 3. Are k and -1 unequal?
True
Let z be (18/(-24))/(2/(-16)). Let o be (-5 - -8) + (-17)/z. Let q = -4 - -5. Which is smaller: o or q?
o
Let c = 14 + 2. Let p = 16.9 - c. Let g = p - 1.1. Which is smaller: g or -0.1?
g
Suppose 43*i - 6956 = 47*i. Let r = 19145/11 + i. Which is bigger: r or -0.1?
r
Suppose -13*b = -8*b - 50. Let x be 342/990 - 8/b. Which is smaller: -1 or x?
-1
Suppose -n = z + 83 - 30, -5*z + 5*n - 255 = 0. Which is bigger: -53 or z?
z
Suppose -3*g + 147 - 3 = 0. Let x = -4617 - -4663. Which is smaller: x or g?
x
Let r be ((-36)/(-150)*5)/(282/(-20)). Is 0 at least as big as r?
True
Let b(l) = 2*l**2 + l - 8. Let a be b(2). Which is greater: a or 13/7?
a
Let l = -61 + 65.1. Let a = l - 4.1. Let c = 5 - 1. Which is bigger: a or c?
c
Let c = 150.641 + 0.359. Which is smalle