s smaller: -422 or t?
-422
Suppose -7*c = -22*c - 2*c + 68. Suppose 0 = -3*x - l + 55, x = -4*x - 2*l + 92. Is x at least as big as c?
True
Let q be (-1 - -8) + -1369 + 2 + -1. Which is smaller: q or -1359?
q
Suppose 46*l + 7 = 39*l. Let v be (9 - 8/6)/(l/3). Are v and -23 non-equal?
False
Let j = -1451 + 1450. Is j not equal to -1/1664?
True
Let l be ((-14)/231 + 1504/(-1320))*(-20)/3. Suppose 3*c = -0*c + 306. Suppose 0 = l*q + c + 210. Is q smaller than -39?
False
Let o = -130 - -118.6. Let w = -2.4 - o. Let m = -3.9 - -4. Which is bigger: m or w?
w
Let q = -10 + 24. Let j = q - 320/23. Let r = -6 + 5. Which is smaller: r or j?
r
Suppose 0 = -127*f + 126*f + 3462. Suppose -59*g + f + 963 = 0. Let a(c) = -2*c**3 - c**2 - c - 1. Let k be a(-1). Which is bigger: g or k?
g
Let h(a) = -8*a - 41. Suppose 36 + 42 = -13*t. Let j be h(t). Are 8 and j unequal?
True
Suppose -2192 = 6*y - 2180. Is y greater than 41?
False
Let z = 10324 + -11543. Is -1216 less than or equal to z?
False
Let h = -451 - -1803/4. Suppose p + 386 = -p. Is p less than h?
True
Let i = -245.6 + 73.4. Let y = i + 172. Does y = -44?
False
Let d = -4670 + 182074/39. Let p = -114/13 - d. Which is smaller: 2/9 or p?
p
Let r = -0.4 - 10.6. Let c = -1055 - -1031. Let m be 112/c + 5 - (-4)/6. Is r > m?
False
Let s(c) = c**2 - 167*c + 6929. Let w be s(90). Which is greater: 48/127 or w?
48/127
Suppose 3*z - 3 = -3*k + 6, -k + 3 = 2*z. Let m = 3798 - 3787. Suppose -f = -m*f - k*f. Which is smaller: f or 2/53?
f
Suppose 504 = 4*k + 144. Let w be (11 - 10)*k/(-2). Let c = 9 - 53. Which is greater: w or c?
c
Let v = -660805/32 - -20657. Which is smaller: v or 7?
v
Let f(d) = -d**3 + 15*d**2 + 14*d + 30. Let b(o) = o**3 + 5*o**2 + 6*o + 24. Let w be b(-4). Let c be f(w). Are c and 2/9 equal?
False
Let t = -1033 - -751. Let w be (-7)/35*5 - (t - -3). Which is smaller: 1 or w?
1
Let x(k) be the first derivative of -11*k**2 + 43*k - 2. Let l be x(2). Which is greater: 4/271 or l?
4/271
Let w be 2/7*(-266)/(-35625). Is w bigger than -1?
True
Let q(d) = 26*d + 58. Let m be q(-9). Let u = 151 + m. Are u and -25 equal?
True
Let l be (-689)/(-4)*384/(-72). Which is smaller: l or -918?
l
Let y = -19365/5852 + -35/418. Let m = 51/14 + y. Is 267 > m?
True
Let n(a) = -a**2 - 9*a - 7. Let u be n(-8). Let x = 9/1388 - 20287/131860. Which is smaller: u or x?
x
Let a be 50/15 + 3/9. Let m = 422 + -423. Which is greater: m or a?
a
Let z = -10/61 - -411/2135. Suppose -9*c + 17*c = 5*c. Suppose 11*b + 3*b = c. Which is greater: b or z?
z
Suppose 5*a = -4*s + 1559, -a - 187 = 2*s - 506. Which is smaller: a or 1/3?
1/3
Suppose 0 = -6*b - 97 + 133. Suppose 0 = -5*f + 3*m + 39, 2*f - b*f + 4*m = -28. Is 9 greater than or equal to f?
True
Suppose 34 = -5*a + t - 2*t, -3*a - 3*t - 18 = 0. Let q be (10944/(-5016))/((-9)/(-30)). Do a and q have the same value?
False
Let a be (-12)/(-10)*(34/3 - 8). Let n be 39/60 + 88/(-20) + a. Is -2/9 != n?
True
Let t be (4 - (-6)/(-48)*-2)*(77 + -5). Which is bigger: 307 or t?
307
Let r = 6130 + -6222. Is r equal to -94?
False
Let v = 3 + -1. Let w = -2.48 + 2.58. Let h = w + -0.4. Which is smaller: v or h?
h
Let k = -15297 - -15974. Which is smaller: 668 or k?
668
Suppose 21 = -5*u + 16. Suppose -46 = 2*y - 5*x, -6 = -y - 4*x - 55. Let i be (-6)/y - (1 - 1). Which is bigger: u or i?
i
Let v(c) = 3*c**2 + 165*c - 929. Let y be v(-51). Which is smaller: -1549 or y?
-1549
Suppose -4*z = -0*z - 4*p + 176, 0 = -2*z + p - 93. Let s(r) = -r**2 + 70*r + 576. Let j be s(78). Is z >= j?
False
Let t(h) = 2*h**3 - 2*h + 2. Let f be t(2). Suppose 17*x - 12 = f*x. Suppose x*a = a + 297. Which is smaller: 98 or a?
98
Suppose 4*q - y - 3 = 3, 2*y = 2*q. Let m be (6*(-2)/(-24))/(q/16). Let c = 3.8 - 0.8. Are c and m equal?
False
Let u(y) = y**3 + 61*y**2 + 124*y + 314. Let f be u(-59). Which is greater: -39 or f?
-39
Let k be (26/5)/((-3)/15*1). Let d = 24 + k. Let g be 4*d*(3 - (-5)/(-2)). Is g >= -4?
True
Let t = -1837 - -2779. Let q = 368 - t. Is -573 not equal to q?
True
Let f = 166 - 166.54. Let h = f - 0.26. Which is smaller: -17 or h?
-17
Let g = 503 + 458. Let v = -1032.1 + g. Let a = v - -71. Is a <= -0.12?
False
Let h(o) = -3009*o**3 - 8*o**2 - 27*o - 19. Let a be h(-1). Which is smaller: a or 3011?
a
Suppose 13*g - 10515 = 25105. Are 2740 and g nonequal?
False
Let o be 0 + (-4)/(-2) - (-70)/(-24). Let v(a) = 6*a - 13. Let l be v(2). Is o < l?
False
Let f = 9 - -46. Let k be (336/(-44))/((-84)/616). Is k smaller than f?
False
Let y = -19393.9 - -19394. Are y and 7737 nonequal?
True
Let k = -5835 + 683. Let h = k - -87528/17. Let v = -1137/340 - h. Is v at least as big as 1?
False
Suppose 224 = 43*r + 13*r. Which is greater: 128/45 or r?
r
Suppose 0 = -2*y, 0*y + 21 = -3*x - 2*y. Let a(q) = -4*q**2 - 84*q - 3. Let r be a(0). Which is greater: x or r?
r
Let g(m) = m**2 - 8*m + 5. Let y be g(7). Let b be (-460)/(-138)*(-72)/340. Which is greater: y or b?
b
Suppose 3*x + 2*n = -198, -6*x + 3*x - 240 = -5*n. Which is smaller: x or -50?
x
Let s(d) = -17*d**2 - 60*d + 1946. Let j be s(31). Is -16250 < j?
False
Let z = -39/190 - 18/95. Are z and 0 non-equal?
True
Let p be 4*2/(-3)*(-285)/20. Let v be (p/3648)/(-1 + (-5)/(-3)). Suppose -j - f = 3, -4*f - 2 - 11 = 3*j. Is v greater than or equal to j?
False
Suppose -240 = -3*v - v. Suppose 0 = -4*i - g - 64, -4*i - 5*g = -3*g + v. Let b = 52 - 72. Is i greater than or equal to b?
True
Let p = -2.222 + -1050.778. Do p and -1 have different values?
True
Let g = 304 - 258. Let p = 74 - 30. Let q = g - p. Is q at least 30/11?
False
Let i be -4*(-7)/(-112) - 1/(-4). Suppose a - 6 = -i*a. Which is smaller: a or -2?
-2
Let s = 2257/4 + -564. Which is smaller: 1.57 or s?
s
Let p = 31 + -64. Let q = 41 - p. Let y = -35 + q. Do 38 and y have different values?
True
Let u(b) be the first derivative of b**4/4 + 11*b**3/3 - 7*b**2 + 4*b - 110. Let t be u(-10). Which is bigger: t or 245?
245
Let n be 4/16 - (-4 - 522/24). Suppose -21*i + 47*i - n = 0. Is 2/329 less than i?
True
Let b = 290 - 1963/7. Let o = -4791 + 4801. Which is smaller: b or o?
b
Let f(u) be the second derivative of u**5/10 - u**4/4 + u**3/6 + 3*u**2/2 + 150*u. Let x be f(1). Let b = -499/3 + 170. Is x smaller than b?
True
Let o be ((-14)/(-4) + -3)/(1 + 791/(-784)). Do o and -46 have the same value?
False
Suppose 53 - 51 = 2*m. Which is smaller: m or -2/18649?
-2/18649
Let s(t) = -t**2 + 30*t + 21. Let x be s(30). Suppose -69 = -x*k + 57. Which is smaller: 68/11 or k?
k
Let j = 2746 - 2744. Is 26/51 < j?
True
Let t = -44847 - -1210717/27. Let h = t - -23882/4239. Which is bigger: -1 or h?
h
Let w be (5/(-2) - 6/(-2))*0. Suppose w = -15*x + 32*x - 323. Is x smaller than 19?
False
Suppose g + 70 = 5*l - 2*g, -3*g + 18 = 3*l. Let m be 2*(-2 + (-5)/(-10)). Let x be 11 + -1 - 0*m/6. Which is smaller: l or x?
x
Suppose -r - 10 = -14. Suppose r*m + 2*f = -6, 5*f + 14 = -1. Is m > -3/173?
True
Let p(k) = -k**3 - 2*k**2 + 12*k + 3. Let a be p(3). Let z = -72 - -61. Which is smaller: z or a?
z
Suppose 0 = 33*y - 31*y - 8. Let g(z) = -y*z**2 + 2*z**2 + 2*z + 3*z**2 - 5*z. Let h be g(1). Do h and -7/8 have the same value?
False
Let f = -1302375/509014 + -3/14971. Which is bigger: -3 or f?
f
Let y = -20.5 + 185.4. Let z = -176 + y. Let b = -11.5 - z. Is b smaller than 3/11?
True
Let q(r) = -3 + 4 + 6586*r**3 - 21*r**2 + 4*r - 6582*r**3. Let j be q(5). Are j and -2 unequal?
True
Suppose -k - 4*w = -4, 634*w + 70 = 4*k + 632*w. Is 22 less than k?
False
Let n = -0.067 - 0.133. Let y = 5874/85 - -1824/17. Let q = 177 - y. Is n greater than q?
False
Let n = 11.082 - 0.082. Let x = n + -55. Let b = 30 + x. Is 2 greater than b?
True
Let h be ((-6)/63 - 120/210)/(-70). Which is bigger: h or 1?
1
Suppose -122 - 148 = 5*q. Let m be q/(-170) + (-2)/10. Let u be 4/20 + ((-144)/(-30) - 1) - 4. Are u and m non-equal?
True
Suppose 0 = -3*k + 15, 15 = r + 2*k - 0. Suppose -5*c + 4*i = -19 - 15, 25 = 5*c + r*i. Let n be (c/8)/((-35)/20). Which is greater: n or 2/3?
2/3
Let a = 77798.2 + -77798. Let i = 44.7178 + -0.4878. Let g = -44 + i. Which is greater: g or a?
g
Let k be ((-8)/(-2))/(-2) - (-330 + -34). Let x be ((-6)/(-2) - 2)*(9 + k). Do x and 370 have the same value?
False
Let y be (6/(-12))/((-1)/528). Let x =