.97 - -17.42. Which is smaller: o or 22?
o
Suppose -73*f + 132*f = 67*f + 1280. Is f greater than or equal to -157?
False
Let m(b) = b + 4. Let n be m(2). Suppose n*q - 2*q = q. Suppose 115 = 5*o - 4*f + f, q = o - f - 21. Do 26 and o have the same value?
True
Suppose 2*j = c + 17, 0 = c + 2*c + 3*j + 69. Let i be ((-14)/c)/(2/27). Which is smaller: i or 11?
i
Suppose -20 = -3*g + 1. Let t be 6/21 + 2*(-1)/g. Suppose 5*h - 2*k + 3 = 0, t = -0*k - 3*k + 12. Is 2/5 > h?
False
Let n be 1/(-995)*-587 + 909/(-1515). Let m be ((-12)/3 - -6) + -1. Which is smaller: n or m?
n
Let m = -8.33 + 0.33. Let k = 559 - 559.3. Does m = k?
False
Suppose 866 + 604 = 5*z. Suppose -140 - z = -7*c. Is -1 greater than or equal to c?
False
Let s(z) = z**3 + 8*z**2 + 10*z + 16. Let l be s(-6). Let f be l/20*(3 - -7). Let i be f/21*2/(34/(-3)). Which is bigger: 0 or i?
0
Let j = 12918 - 12917. Is -2/599 > j?
False
Let u be 3696/198 - (-9 - 0). Which is greater: u or 0?
u
Let v be ((-20)/2)/(6/(-15)). Let u be (-536)/(-3)*360/160. Suppose -18*r + u = -48. Is v > r?
False
Let w = 3372092/1983 - 3401/2. Is 0 less than w?
True
Let d be 9 + -28*679/(-28). Is 690 < d?
False
Let a = -2449 - -2426. Is a less than 26?
True
Suppose g = -u + 150, 19*g = 24*g + 15. Let l be (u/(-36))/(-17)*-44. Let b be 2/7 - (-402)/(-35). Is l not equal to b?
True
Suppose 96*l - 95*l = -2*j + 11, -5*l + 13 = 3*j. Which is smaller: l or -2/4275?
l
Let y = 15234155213/13422492 - -10/372847. Let h = y - 1135. Let j(c) = -c**3 + 5*c**2 + 5*c + 5. Let f be j(6). Which is smaller: h or f?
f
Let z(a) = 13*a**2 - 2*a + 1. Let f be z(-2). Suppose -4*j + 37 = f. Let q be 0*(j/(-15) + (-6)/(-9)). Which is greater: q or 1?
1
Let f = -324.515 - 0.485. Let q = -324.7 - f. Is -0.4 less than or equal to q?
True
Let p = 6.91 - 9. Let g = 1.09 + p. Is -52 >= g?
False
Let o = -222 + 227. Suppose -2 = -k - 5*u, -8*k - 4*u = -o*k - 6. Is 10 equal to k?
False
Let o be ((-2 - 2)/(-4))/(8*(-3)/(-24)). Are o and 24/467 equal?
False
Let f be (-2)/3 - 67/(-33). Suppose 3*q + 42 = -3*d, 5*d + q + 78 = 4*q. Let r be 0/(-6)*5/d. Which is greater: f or r?
f
Let b(m) = m**2 + 134*m + 1897. Let j be b(-16). Which is smaller: -742 or j?
-742
Let l(y) = -75*y + 8850. Let u be l(118). Which is bigger: -32/1213 or u?
u
Let g be -4 + -3 + (4 - 3) + 16. Suppose -2*y - g = -2*i, -4*y - 4*i = -9*i + 19. Which is bigger: y or -8?
y
Let w = 185.5 + -159. Let a = 26.6 - w. Is 3/29 < a?
False
Suppose 0 = 4*o - 5*n - 4, 4*o = 3*n + n + 8. Let f(t) = -t**3 + 4*t**2 + 6*t - 8. Let m be f(o). Let q be (-7)/(70/m) - 4. Which is smaller: q or -4/11?
-4/11
Let i = -4413/7 + 10872/35. Which is smaller: i or -319?
i
Let h = -3459 + 3456. Which is smaller: -312/139 or h?
h
Let c = -0.85 - 28.15. Let q = c + 28. Let t = -16.81 + -0.19. Which is smaller: t or q?
t
Let z be (-14)/(-2) + 2939690/(-9360) + 8/18. Is z at least -306?
False
Let v be -2*(-2 - (8 + -12)). Let q be (1/v*2)/(-1)*2. Which is smaller: -5/9 or q?
-5/9
Let r be 3/(-2)*(-2)/3. Suppose -8*v + 260 + 188 = 0. Let f be 52/(-10) + (v - 50). Is r less than f?
False
Let s be 10/35 + (-1096)/14. Let g be (217/(-62))/(2 - 129/66). Is s smaller than g?
True
Suppose -4*c + 1 = -23. Let i be -8*(-9)/108*c/20. Which is smaller: -1.7 or i?
-1.7
Suppose -5*k - 27 = 4*n, 253*n = 257*n - 3*k + 35. Is n at most 141?
True
Suppose -2*s + 20*s = 0. Suppose -r - 3*g - 16 - 9 = s, g - 93 = 5*r. Which is greater: -23 or r?
r
Let o be (5 + -9 - 3) + 4438/624. Do o and 1 have the same value?
False
Let k = -6983.2 + 1630.2. Which is smaller: k or 1?
k
Let v be (4/(-4 - 80))/((-2044)/1428). Do 0 and v have different values?
True
Let d = 2102 + -2102. Which is smaller: d or -22/81?
-22/81
Let w(r) = -r**3 + 11*r**2 - 10*r + 24. Let p(s) = -s**3 - 11*s**2 - 8*s + 30. Let o be p(-10). Let g be w(o). Which is smaller: g or 20?
20
Let p = 442 + -480. Which is smaller: p or -776/21?
p
Let q be 3/(-4)*(-651)/(-9). Let z be (-770)/(-21)*(3 - (-90)/(-20)). Which is smaller: z or q?
z
Let u = -592 + 542. Let j = 279 - 276. Which is bigger: j or u?
j
Suppose -9*f = c - 4*f - 13, 2*c + 4*f - 14 = 0. Let a be c*3/(-27)*(-17 + 0). Suppose 21 = 3*w + s, -4*w = -5*s - 12 + 3. Which is smaller: a or w?
a
Let y be (130/208)/((-5)/(-4)). Is -0.56 at most as big as y?
True
Let x(h) = -3*h**3 + 2*h**2 + 6*h + 3. Let z be x(5). Suppose -2405*s + 5047*s - 2475*s + 48597 = 0. Which is greater: z or s?
s
Let j = 33186.055 + -33325. Let t = j - -139. Which is smaller: t or 0.1?
t
Let b(p) = 2*p**2 - 6*p - 5. Let c be b(5). Suppose -9*k = -6*k - c. Suppose 5*u = -k*o - 150, 4*u = -o - o - 124. Which is smaller: -31 or u?
u
Let m = 2428/7 + -9229/28. Let k be 1/3 + 1182/72. Let o = k - m. Which is smaller: o or 2?
o
Let b(v) = -14*v**2 - v + 2. Let a(l) = -l**2 - 6*l - 7. Suppose 0 = -j - 0*j - 2. Let y be a(j). Let h be b(y). Is -13 < h?
False
Let h = -18.5 - -6.3. Let m = -12.6 - h. Is m equal to 1?
False
Let r = 20783.779 + -20795. Let i = r - -0.321. Which is greater: 1 or i?
1
Suppose 122*w + 94*w - 65163 = 13*w. Is 2887/9 less than w?
True
Let o = 66841.1 + -66840. Let a = -0.6 - -1. Let u = 0.1 - a. Is u at least o?
False
Suppose -11*n = 3*r - 6*n - 3452, 0 = 4*r - 4*n - 4656. Is r not equal to 1160?
True
Let f = -5 - -20. Suppose -3*o = -3*g + 7*g - 22, -4*g + 16 = 2*o. Are f and o nonequal?
True
Let z be (-1*2)/((-85)/(-22049)). Is -520 greater than z?
False
Let f = -1719294341/425 - -4045395. Let l = f + 60/17. Suppose -2*o + 5*o = 0. Is l >= o?
True
Let b = 358/7 + -2239/42. Let d be (-14)/(-35) - (-12)/(-5). Which is bigger: d or b?
d
Let v be (-12)/10*170/51. Let n be (-9 - -23)*-1*(-2)/v. Let q be 2/9 + 166/(-18). Which is greater: n or q?
n
Let n = -624 + 1414. Let y = -62641/6 - -9652. Let f = n + y. Which is bigger: 1 or f?
f
Let z(w) = 104*w - 5399. Let u be z(71). Which is smaller: 17854/9 or u?
17854/9
Let i = 3.61 + 12.49. Let g = -16.63 - 0.37. Let u = g + i. Do 0 and u have different values?
True
Let s(m) = -16*m - 3. Let b be s(0). Let v(a) = -a**2 - 2*a - 2. Let h be v(b). Which is bigger: h or 17?
17
Suppose -2 = -2*q + 3*f - 15, -2*q + f = 3. Suppose 8 - 46 = -2*j + 4*z, 4*j + 2*z - 56 = 0. Suppose j*w + 629 = -22*w. Which is greater: q or w?
q
Let p be 403/1612 + (-191)/68. Which is bigger: 1/2 or p?
1/2
Let n be (-54)/(-24) - (-3219)/4. Is -13 < n?
True
Let l(y) = y - 7. Let b be l(8). Let d(t) = t**2 + 23*t + 18. Let j be d(-23). Let n be 19/j - (-22)/(-99). Which is greater: b or n?
b
Let x = -39.7 + 37.403. Let q = x + -0.003. Let r = 1725 - 1724. Is r at most as big as q?
False
Suppose -17*t + 29*t - 155988 = -72*t. Is t less than or equal to 1857?
True
Suppose 3*a - 17 = w, -3*a - 2*a + w + 25 = 0. Suppose c - 22 = -8 - 10. Suppose c*b + a*k + 20 = 0, 3*b - 2*b + 15 = k. Which is greater: b or -5?
-5
Let r be (-5135)/42 + (-45)/(-105). Which is smaller: r or -123?
-123
Suppose 2*i + 3288 = 3*u - 14991, -9167 = i + 4*u. Is i at least as big as -9148?
True
Let w = -19 - -23. Let u be 5/(380/(-302)) + w. Suppose -3*v - 4*q + 13 = 0, 3*q - 14 = v - 1. Which is smaller: v or u?
v
Let j = -4183 + 4178. Is j smaller than -3/22?
True
Suppose -5*o + p = -20 + 308, -o + 4*p - 69 = 0. Suppose 68*x + 4930 = -17*x. Does x = o?
False
Let c be 1*10 + (-5 + -18 - -22). Are 22 and c nonequal?
True
Let r(y) = -2*y + 5. Let f be r(4). Let n be 0*(f + (-15)/(-6)). Suppose n*t + 4 = 4*t. Which is smaller: t or 0?
0
Suppose 45*k - 60 = 40*k. Suppose -5*l + k = -4*a - 2, -l + 5 = -3*a. Which is greater: 1/106 or a?
1/106
Let k = 0.88 + 0.18. Let d = 0.06 - k. Let w = -2295 - -2240. Is d smaller than w?
False
Let i(t) = -60*t - 344. Let j be i(-6). Which is greater: j or -66?
j
Let m(l) = 1878*l**2 + 2*l + 4. Let w be m(2). Let x be (w/754)/(-5) - -2. Which is bigger: 0 or x?
x
Let g be (95013/31665 + -3)/((-18)/(-30)). Is 0 greater than g?
False
Suppose -c + 23 + 5 = 0. Suppose -4*x + 0*x = c. Let f be (-6)/(-15) - (-210)/(-25). Are x and f nonequal?
True
Suppose 3*x - x - 6 = 0. Suppose -x*f + 12 = -5*t - 25, 0 = -f + 4. Which is smaller: -0.2 or t?
t
Let x = 2465223/14 - 175876. Suppose 2*z + 2*w = 422, -3*z + 633 = 3*w + w. Let k = x - z. Is -1 < k?
True
Let d(l) be the second derivative of 7*l**4/6 + 169*l**3/6 + 8*l**