-10292. Do s and -3431 have different values?
True
Let x = 94 + -93. Which is smaller: 3/1133 or x?
3/1133
Suppose 2*u - 4*u - 192 = 0. Let v = u + 78. Which is bigger: -16 or v?
-16
Suppose 23*z = 26*z + 33. Suppose 0 = -c - 2*c. Let l(a) = -a**3 + a**2 - a - 10. Let r be l(c). Which is greater: z or r?
r
Let z(g) = g + 5. Let b be z(7). Suppose -1380 = -3*c - 12*c. Let v = 107 - c. Which is smaller: b or v?
b
Let a be (2/(-52)*13)/((-1)/(-664)). Which is greater: a or -0.7?
-0.7
Let i be (-2)/(-2)*2/12. Let a be ((-82)/(-6))/((264/(-756))/22). Let x = a - -851. Are x and i unequal?
True
Let i = -1733/8 + 217. Let l = -557 + 562. Suppose 2*x - l*k - 2 = 0, -4*x + 8*k - 4*k - 8 = 0. Do x and i have the same value?
False
Suppose 10*t = 6*t + 8. Let d be ((-18)/(-90) - 2/10)/t. Which is bigger: d or 1/34?
1/34
Suppose 3*i = -2*l + 511, -1062 = l - 5*l + 2*i. Suppose 5*a = -l + 308. Which is smaller: a or 14?
a
Let l be (756/(-945))/((-2)/5). Which is smaller: -8/55 or l?
-8/55
Let s = -3129 + 3115. Which is smaller: 1/55 or s?
s
Let a(q) = 15*q**2 - 108*q + 22. Let g be a(7). Is -5.603 greater than g?
False
Let c(a) = -4*a**2 + 58*a + 49. Let v be c(16). Suppose 3*u - 20 = -p, -u + 0*u = -5*p + 20. Suppose 0 = u*z - 4*j + 241, -z + j = 2*j + 41. Is v equal to z?
False
Suppose 160 = 5*o - 3*o - x, 0 = -o + x + 82. Suppose -6913 = -90*h + 6*h - 277. Which is smaller: h or o?
o
Let z(s) = -2*s**3 + 5*s**2 + 4. Let w(r) = -r**2 - 4*r + 9. Let p be w(-5). Let b be z(p). Let d = -43 - b. Is -1/27 equal to d?
False
Let a = 2411 - 2608.2. Let n = a - -196. Are n and 8 equal?
False
Let n be ((-225)/684)/(51/(-20)). Let b = n - 4/57. Is b < -1?
False
Let d = -242.51 - 2.49. Let i = 242 + d. Let z = -5 + -1. Which is smaller: z or i?
z
Let v be 121/693 + 20/180. Which is smaller: 27.84 or v?
v
Let k = -83 + 78. Let l be 18/(-12)*(-168)/9. Let q be (-313)/k - l/(-70). Is 63 equal to q?
True
Let m(x) = -2*x**3 - 40*x**2 + 29*x - 92. Let b be m(-18). Is b equal to -1909?
False
Suppose 0*r = r - 2. Let h(u) = 8*u - 7 - u**2 - r - 7. Let o be h(5). Which is bigger: 1/10 or o?
1/10
Let p be (-1)/((-8)/176*-2). Let c(k) = k**2 - k - 29. Let o be c(p). Is -0.2 not equal to o?
True
Let q be (-64)/30 + 2/6. Suppose 5*r = -5*i - 4024 + 3999, -i = 3*r + 9. Is q at least r?
True
Suppose -3*j - 4*q + 19 = -17, -3*q + 41 = 4*j. Suppose -j = -k - 2. Let z = 2123/340 - 3/68. Does k = z?
False
Let a = 3835.9156 - 3836. Do a and 0.4 have different values?
True
Suppose -112 = 6*w - 2*w. Let x be (-1)/(-3)*w/3. Suppose 0 = s + 3, -2*b = -5*s - 18 + 7. Which is greater: b or x?
b
Let y(q) = 892 - 866 - 217*q + 10*q**2 - 2*q**2. Let w be y(27). Is 2/1359 less than w?
False
Suppose 35*d - 1584 - 2966 = 0. Suppose d*h - 132*h - 44 = 0. Is h equal to -13?
False
Let c = 10/9 - 13/9. Suppose 272 = 4*t + 2*z - 4*z, 5*t = -3*z + 340. Suppose -o = o - t. Which is smaller: c or o?
c
Suppose 0*y + 138 = 5*s - 3*y, -y - 28 = -s. Suppose 8*u = 12 - 20. Let a be (-6)/8 + u/((-28)/s). Which is bigger: a or 0?
a
Suppose 88 = -2*d - 38. Let c = 322 - 457. Let i = c - -71. Is d != i?
True
Let d be (-1050)/40*(-3050)/35. Which is greater: d or 2287?
d
Let q = 0.3 - 0.2. Let n = -22152 - -22212. Is q < n?
True
Let s = -33067 + 2017035/61. Which is smaller: -1 or s?
-1
Let v be (-46)/161 + (0 - 108/14). Let f(y) = -y**3 - 9*y**2 - 7*y + 15. Let x be f(v). Suppose s - 2 = 4. Which is smaller: x or s?
s
Let o = -1490425/252137 + 526/89. Which is bigger: -1 or o?
o
Let j(k) = 454*k**2 + 4*k + 31. Let r be j(-4). Let i = 2380235/327 - r. Which is greater: -1 or i?
i
Let l = -997/8 + 28825/232. Let i be (8 + 0)*(-55)/(-440). Which is smaller: i or l?
l
Let d = 481745/48804 - -2613/332. Let y = -20/49 + d. Do y and 17 have different values?
True
Let g be ((-4)/14)/((-2)/(-137)). Let z(u) = u**3 - 56*u**2 - 523*u - 109. Let s be z(-8). Which is bigger: s or g?
g
Let f = 22 - 2. Suppose -6 = 3*g + 2*g - 2*p, -20 = 5*g + 5*p. Let x = f - g. Is 22 <= x?
True
Suppose -5*s = -2*q + 21, -3*q + q + 19 = -3*s. Let b be (3 - (-2123)/(-704))/((-4)/q). Suppose -2*r + 4*r = 0. Do r and b have different values?
True
Let j = -610866 - -13918581808/22785. Are 1 and j unequal?
True
Let a be 6174/168*(-3)/33. Is a at most -4?
False
Let f be ((-9)/4 - -1) + 0. Let j(n) = -2*n + 13. Suppose -3*w + 58 = 37. Let z be j(w). Is f greater than z?
False
Let u be ((-1813)/7252)/(2/24*-13). Let k = -3 + 6. Suppose n - 6 = -3*n - k*t, 3*n + t = 2. Which is bigger: u or n?
u
Let z = -145 + 693. Let t = z + -548.4. Which is bigger: -8 or t?
t
Let v(t) = t**2 - 312*t - 1918. Let r be v(-6). Which is greater: 13.1 or r?
13.1
Let h(f) be the second derivative of f**5/20 - 5*f**4/6 + 13*f**3/6 - 9*f**2/2 - 9*f. Let d be h(8). Let t be 1*(-1 + -33 - 0). Which is smaller: d or t?
t
Let a(u) = -115*u + 239. Let t be a(2). Which is smaller: -14 or t?
-14
Suppose -3*n + 26 = 2*m, -2*n - n + 2 = -4*m. Suppose -n + 34 = 7*t. Suppose 1 = -2*b - a, -5*b - a = -t*b. Is -5/9 less than or equal to b?
False
Suppose 3*l + 4665 = -6*j, 20*j = 21*j + 5*l + 764. Which is greater: j or -787?
j
Suppose -3*t + 7*t + 70 = -5*d, 54 = -3*t - 3*d. Let m be (-19)/(-4) + -3*(-5)/t. Let w be m/318*26/(-52). Which is smaller: 0 or w?
w
Let x be (5/(-3))/((-7)/21). Suppose -2*c = -x*c. Let k be -2*2*21/(c - -3). Are -30 and k nonequal?
True
Let h(q) = q**3 + 52*q**2 + 145*q - 98. Let s be h(-49). Is s bigger than 3/8554?
False
Let q(h) = -h**3 + 70*h**2 - 97*h - 428. Let l be q(69). Is l at least as big as -2360?
True
Let a = 158 - 154. Let b(k) = k**2 + 4*k + 7. Let q be b(-7). Let y be (-2)/(2 - q/10). Which is smaller: y or a?
y
Let h be ((24/64)/((-9)/138))/((-3)/1992). Which is greater: 26720/7 or h?
h
Let a = 17/2 - 25/3. Let v = a - -1/3. Let w = 1.048 + -3.048. Is v less than w?
False
Let l = 36 + -36.019. Let j = l - -124.019. Does j = -1/3?
False
Let i(o) = -o**3 - 3*o**2 + 3*o - 5. Let h be i(-5). Suppose -3*u = -u - h. Let x = -20 - u. Is x at most -35?
True
Suppose -40*s = -41*s + 231. Let h = s - 244. Which is smaller: h or -18?
-18
Let m be 196419/18 + 23/(-138). Let g be 2048/m - (2/11 + 0). Are 0 and g equal?
False
Let i be 75/(-45)*(4 - -1703). Is i at least -2844?
False
Suppose -16 = -2*a - 6, 3*k = 4*a - 14. Let t be k/(-6) + (-5)/387*-15. Is 1 less than t?
False
Let x be 4*4/48 + (-26)/6. Let i be -2*(x - 45/(-10)). Which is greater: i or -2/183?
-2/183
Let v = -72.46 - -73. Let z = 0.6 - v. Let f = z + -0.08. Which is smaller: 2/3 or f?
f
Let c = -10 - -9.95. Let d be (-5 - 1) + ((-300)/75 - 338/(-34)). Is d > c?
False
Let a be (5/(-25)*4)/((-6)/(-255)). Suppose 12*x - 10*x + 4*s = -60, 2*s = x + 34. Does x = a?
False
Let t(x) = x**2 + 25*x + 19. Let h be t(-25). Let r(k) = k**3 - 10*k**2 + 6*k - 9. Let q be r(10). Let v = h + q. Which is smaller: v or 71?
v
Let m = 1.038 - 0.99. Let a = m - -7.952. Is 0.04 != a?
True
Let a be (42/(-5))/(2/(-10)). Suppose 3*l = l + a. Suppose 115 + 20 = 26*v - 359. Is v > l?
False
Let f(u) = -15*u - 30. Suppose 22*z - 20 = -64. Let n be f(z). Is 5/27 <= n?
False
Let m be 2*13/52*2. Which is smaller: -2/7021 or m?
-2/7021
Let i = 31 + -27. Suppose -5*d + 5 = -4*u - 0, -5*u = 4*d - i. Let s be ((-2)/(-19))/(10/35) - d. Are s and -2 nonequal?
True
Suppose 646 - 4050 = 171*r - 326. Which is bigger: r or 22?
22
Let u be (-44)/99 - (-19)/((-1710)/(-11200)). Suppose -4*n + 339 + 153 = 0. Is u at least n?
True
Let s(w) = w + 14. Let t be s(-9). Suppose -p - p = -5*n + 17, -20 = 5*p - t*n. Which is smaller: p or 9/13?
p
Let y be ((90 - -418)/(-127))/(5/(-4) - -1). Let r(u) = -2*u**2 - 3*u - 3. Let a be r(-2). Let s be 2/a + (-6)/(-15). Is y bigger than s?
True
Let r(j) = 11 - 29*j - 71*j - 60*j + 35*j. Suppose 64 = -8*f + 72. Let i be r(f). Is i greater than -115?
True
Let v(f) = 14*f**2 - 4*f + 10. Let d be v(-3). Let q = d + -36. Is 111 < q?
True
Let s = -2616 + 2607. Let w be ((-12)/(-14))/(0 - -2). Which is smaller: s or w?
s
Suppose -12*u - 244 = -16*u. Let j = u + -57. Suppose q = -4*y - 123 + 46, j*y = -5*q - 97. Do y and -17 have different values?
True
Let f = 26982 + -26982.02. Which is greater: f or -100?
f
Let q = -623 - -625. Is 0.07 bigger than q?
False
Let a = -62 + 68. Suppose -a*x + 142 = -218. Is x 