 Let f = 26.969 + t. Which is smaller: f or s?
s
Let j = -65 - -29. Let z = j + 36.06. Let b = z - 0.66. Which is bigger: b or -0.1?
-0.1
Let y(s) be the first derivative of -20*s**2 + 121*s + 102. Let f be y(6). Does -118 = f?
False
Let p = 694 - 697. Let l(u) be the third derivative of u**6/60 + u**5/15 - u**4/24 - 3*u**3/2 - 2*u**2. Let j be l(p). Are j and -25 equal?
False
Suppose -624*m + 2 = -623*m. Suppose m*k - 79 = 2*d + 31, -k + 53 = -3*d. Is k less than 57?
True
Let k(r) = r + 75. Let g be k(0). Suppose -132*a + 129*a + 135 = 0. Suppose 76 = u - 42*v + a*v, -5*v + 76 = u. Is u smaller than g?
False
Suppose 84*a + 23 = -61. Do a and -1/846 have the same value?
False
Suppose -4*h + 20 = 2*u, 5*u - 18 = 6*u - 5*h. Let w(m) = 0*m + 25 - u*m + 4*m. Let x be w(-9). Do 45/8 and x have different values?
True
Let d = -41/26755564 - 1375955099/52895750028. Let i = d - 4/1977. Do i and 1 have different values?
True
Let q = 178 + -187. Let a be 3/(-2)*24/(-108)*q. Which is greater: -25/9 or a?
-25/9
Suppose -2*g = 2*r + 7 - 21, -5*r = 10*g - 35. Let s be 19/(-30) - (-2)/6. Which is smaller: s or g?
s
Let l = 591 - 597. Suppose 6 - 2 = 2*v. Let d be (-1)/v*(-5 - -15). Is l bigger than d?
False
Let x be (2 + -1)*2/246. Suppose -367*j = 331*j + 137*j. Which is greater: j or x?
x
Let w be 22 + ((-3)/2)/((-48)/(-64)). Let b be -15*(-60)/(-45)*6/w. Are -5 and b equal?
False
Let m = 12.403 - 54.303. Is m <= -17?
True
Let a(r) = 2*r**2 - 2*r + 32. Let g be a(15). Let c be 5 + g/(-156) + 2 + -4. Which is smaller: c or 0?
0
Suppose 0 = 4*y - 8, -2*t - 4 - 2 = -3*y. Let j(b) = b**2 - 2*b - 5. Let c be j(t). Let z(m) = -m + 11. Let u be z(11). Is u greater than or equal to c?
True
Suppose -3*x = -a + 406 + 74, x - 2*a = -165. Are -3.2 and x unequal?
True
Let q = 135.11 - 135.21. Is q less than or equal to -311.6?
False
Let b = -606 + 579.3. Let q = b - -26.6. Is q at most 1/10?
True
Let s(r) = 44*r**3 + 4*r**2 + 6*r + 3. Let u be s(-1). Which is smaller: u or -392/9?
-392/9
Let n = 30 - 29.45. Let f = n - -0.51. Let b be 0 + -4 - (-10 + 17 - 12). Which is bigger: b or f?
f
Let x(i) = -5*i + 130. Let r be x(26). Let o be (-182)/221 - 0/(-1). Which is smaller: r or o?
o
Let i be -3 + (-7611)/78 - (-4)/(-2). Let c = i - -222/13. Are c and -86 nonequal?
True
Suppose 2*l = -3*m + 177, 4*l = -4*m + 204 + 144. Suppose 2*s = 8*s + 108. Let b be l/s*9/6. Which is greater: -4 or b?
-4
Let j(q) = q**3 + 5*q**2 - 3*q - 4. Let k be j(-4). Suppose -k = 2*w + 12. Let p(i) = 822*i + 42728. Let t be p(-52). Which is smaller: w or t?
w
Let w(j) = 43*j + 4010. Let v be w(-100). Which is smaller: v or -280?
v
Suppose 371 = 12*m - 553. Let h = m - 72. Suppose 3*i + 10 = r + 39, 4*i - h*r = 46. Is 8 equal to i?
False
Let b = -0.072 + 37.072. Let x = 27 - b. Let z = 10.2 + x. Is 4 less than or equal to z?
False
Let l = -131/55 - -11/5. Suppose 10 = 3*y + i, 0 = 8*y - 4*y - 2*i - 10. Suppose -3*x - 17 = 2*m, 11 = y*m + 5*x + 39. Which is bigger: m or l?
l
Suppose 0 = 20*r - 18*r + 62. Let j = r + 52. Which is bigger: 8 or j?
j
Let a = 15173 + -8976. Suppose -4866 = -37*f + a. Is f at most as big as 300?
True
Let u be 22/2 + 1 - 0. Let o be 6/4*8/u. Let s = -79088/3 - -26365. Which is bigger: s or o?
s
Suppose 5 = -4*g + 5*g. Let d be ((-5)/g - -4)*1. Suppose 12*x - 3 = 57. Which is bigger: x or d?
x
Let h be (3/(-9))/(4/12)*1. Let k be (-474)/11048*(-576)/492. Let y = -2/1381 + k. Is y less than or equal to h?
False
Let d = -13308.51 - -13254. Let y = d - -54.6. Let t = -0.2 + 1.2. Which is bigger: y or t?
t
Let n be (-7)/((-70)/2805)*16/20. Let r = 225 - n. Is 2 greater than or equal to r?
True
Let q = 6748 + -20760. Does 1 = q?
False
Let z = 16598 - 18734. Which is smaller: z or -3/8?
z
Let p = -2.094 - -2.324. Is p bigger than 2/11?
True
Let s be 4/16*-4*-3555. Is s at least as big as 3554?
True
Let k be (81726/(-31))/(115/(-2) - -2). Let p = 3/2294 - k. Is -49 bigger than p?
False
Let f(y) = 15*y**2 + 54*y + 116. Let a be f(-12). Which is smaller: 4882/3 or a?
4882/3
Suppose 5*w - 18 - 7 = 0. Suppose -5*m + o = 3, w*o = 5*m + 18 - 3. Is -1/31 < m?
True
Let f be 64/(-12) + (-16)/6 + 2. Let t = 699 + -706. Which is smaller: t or f?
t
Let d(y) = 11*y - 27. Suppose 17*a - 14 = 37. Let c be d(a). Let o be c + -5 + -5 - (-2 + 3). Are -7/2 and o unequal?
True
Suppose -3*r + 6 = -5*r - 4*d, -5*d - 27 = -4*r. Suppose 0 = r*i + 2*v - 16, -5*i + 2*i + 4 = -4*v. Which is smaller: i or 2?
2
Let s be 69*((-482)/42 - (-10)/70). Which is smaller: -779 or s?
s
Let z(t) = 10*t + 254. Let a be z(-24). Let l(s) be the first derivative of -s**3/3 + 7*s**2 + 19*s - 2. Let y be l(a). Is y equal to 18?
False
Let o be (-28)/(-63) - 1586/(-117). Let w be 1/(-1) + 1 + -1. Let s be (7/o)/(w/(-2)). Which is smaller: 2/95 or s?
2/95
Let x be (-8)/12 + (-5)/(-3). Let s = -48 + 68. Let y be 2/(-7) + s/315. Which is smaller: x or y?
y
Suppose 9*n = 29*n - 600. Suppose -8*d + n = -14*d. Is -8 greater than d?
False
Suppose -5*l + 306 = -419. Let y be (l/(-1218))/(1*-15). Which is greater: y or 1?
1
Let p = -48 + 12. Suppose -5*a = d + 12, 14*d - 87 = 17*d - 2*a. Let x = d - 10. Which is bigger: x or p?
p
Let a(o) = 2*o**3 - 30*o**2 - 6*o + 93. Let u be a(15). Let d = -1 + 16. Suppose -6*p + 3*p = -d. Which is smaller: p or u?
u
Let s = 4 + -3. Let t be 1 - 1 - (11 + s). Suppose -4*m = -37*p + 31*p - 46, m - 16 = 2*p. Which is smaller: p or t?
t
Let w(b) = -b**3 + 5*b**2 - 5*b + 4. Let i be w(4). Suppose i = -30*u - 5680 + 250. Is -180 < u?
False
Let n(q) = q**3 + 28*q**2 + 18*q - 16. Let c be n(-13). Let i be c*6/720*8. Is i < 153?
True
Let s = 1576 + -1519. Is s at least as big as -1/3?
True
Let x(t) be the third derivative of 3*t**4/8 - 7*t**3/3 + 2*t**2. Let o be 6 + (-1)/((-12)/8)*-3. Let q be x(o). Which is bigger: q or 21?
q
Suppose -4*c - 12 = -3*q, -4*q + 2*c = -2*c - 12. Suppose -y + 0*y + 9 = q. Let d = 677 - 671. Which is smaller: y or d?
d
Let d = 0.245 + -0.305. Is 4.39 smaller than d?
False
Suppose -2*r - 2*a + 3 - 1 = 0, 5*a - 5 = r. Suppose -5*k + 9 = -3*j + 5*j, -4*k - 3*j + 10 = r. Is k greater than or equal to 19/8?
False
Let k be -5 + 36/(-18) + 7. Which is bigger: -3/1555 or k?
k
Let k(i) = 17 + 10 - 3*i + 2*i. Let g be k(0). Let u be (-113)/(-4) - (14 + (-825)/60). Which is smaller: g or u?
g
Let v = -60 - 43. Let t = v - -102. Let p = 6.9 - -34.1. Which is greater: t or p?
p
Suppose -c + 3*c + 52 = 4*q, 0 = 2*c + 5*q + 34. Let j = c - -34. Let p = -13913 + 13921. Are j and p non-equal?
True
Suppose -5*b + 6*u - 2*u - 2 = 0, -5*b - 8*u = 86. Is b less than or equal to -182/37?
True
Let s = 171 + -175. Let x be -1 - (s + 42/12). Is -2 != x?
True
Let q = -12.8 + -74.2. Let d = -77 - q. Let t = 32 - 35. Is t > d?
False
Let h = 99 + -474. Let k = 343 + h. Is -14 equal to k?
False
Let u be ((-241311)/(-178) - 1)/((-675)/108). Let s = 94/445 - u. Let i = -217 + s. Is 0 greater than i?
True
Suppose -37*v - 52 = -24*v. Let h be v + 1341/390 + 6/10. Is -0.1 at least h?
False
Let m = 0.03912 + 0.71088. Is 0 bigger than m?
False
Let v = -0.5 - -0.4. Suppose -20*k + 30*k - 50 = 0. Suppose -3*r + k*q + 7 = 230, -86 = r - 4*q. Is v at least as big as r?
True
Let x = -25.9 - -33. Let z = x - 7.8. Let o = 0.06 - 0.26. Are o and z unequal?
True
Let s = 7952 - 7925. Which is smaller: s or -81?
-81
Suppose x - 5*v = 3, 2*x + 5*v - 9 + 3 = 0. Suppose 3*b - 5*b = -2*c + 6, 5*c + b = x. Is -1/22 greater than or equal to c?
False
Let u be -2 + ((-42)/27)/(28/(-42)*1). Which is smaller: 0.02796 or u?
0.02796
Suppose 31*q - 30*q = -3, m + 289 = -q. Is m >= -286?
True
Suppose 6*x = -o + 3*x + 3, 4*o - 3*x - 72 = 0. Suppose -13 = o*u + 2. Does 7 = u?
False
Suppose n = 3035 + 378. Which is bigger: n or 3414?
3414
Let j = -263.7 + 263.9. Is -0.0623 greater than j?
False
Let l = -13 + 0. Suppose -27*x + 2*w = -30*x + 26, -22 = -3*x + 2*w. Suppose 0 = -2*i + 6*k - 11*k - 3, -4*k = -4*i + x. Which is greater: i or l?
i
Suppose -q = 2*z - 226, 10*z = 5*z + 5. Let h be ((-8)/q*4)/1. Which is greater: 0 or h?
0
Suppose -54 + 104 = 5*t. Let v = t - 138. Is v >= -126?
False
Let y = 37369323/343966 - -9/24569. Which is smaller: 108 or y?
108
Let n = -70 - -4. Suppose 18*o + 574 = -3*o - 812. Is o less than n?
False
Let x