0.14 + 118.14. Let n = -108 + r. Let i = n - 9.9. Which is bigger: i or -11/5?
i
Suppose 4*f - 60 = 2*d, d + 3*f = -0*d - 15. Let x be (-36)/(-396) + (-42)/(-22). Suppose 3*i + 80 = -5*g - 35, 4*g - x*i + 92 = 0. Which is greater: d or g?
g
Let c be -3*(3/7)/((33 - 4)/(-203)). Suppose 2*h = -x + 90, 3*x + 104 + 110 = 5*h. Suppose -4*d + 4*i = -h, -6 = -2*d + d - 4*i. Which is smaller: d or c?
c
Suppose -3*r = -28 + 19. Suppose y + a + r*a = 6, 2*a = 3*y - 46. Let p be (y/301)/((-1)/(-2)). Which is bigger: 1 or p?
1
Let z = -26463 + 29306. Is z at least 2846?
False
Let k be (-26)/(-325) - 442/(-100). Is 38 less than or equal to k?
False
Suppose -p + 0 + 15 = 0. Suppose 26*y + 30*y - 21*y - 595 = 0. Is y <= p?
False
Let y(d) = -2*d + 2. Let o be y(6). Let z be (((-27)/(-6))/3)/(6/2192). Let i = z - 558. Is i greater than o?
False
Suppose 34*q = 37*q + 9, 4*m + 4*q = -32. Let w(k) = 3*k**2 + 19*k + 20. Let r be w(m). Is -8 at least as big as r?
False
Let l be (-6 - (-24506609)/2415) + (-4)/6. Let w = l + -10141. Which is bigger: w or 0?
0
Suppose 3 = 9*d + 21. Let i be d/7*(-12)/(-10). Is 0 at most as big as i?
False
Suppose -2*r + 44 = -4*z, 2*r = z - 4*z - 26. Let q = 3839 + -3832. Which is greater: q or z?
q
Let z(m) = 2*m**2 + m. Let d(s) = 11*s**2 + 7*s - 16. Let x(o) = d(o) - 5*z(o). Let r be x(-5). Does r = -18/11?
False
Let b = 7631 + -7167. Which is bigger: -0.5 or b?
b
Let l be 6/(-18) - (-4)/12. Let m be ((-28)/16)/((-22)/(-8) + l). Which is smaller: -2 or m?
-2
Let x = -1127 - -1222. Which is greater: x or 100?
100
Let c be (-243)/(-3888) + (-3)/64. Is -1 equal to c?
False
Suppose 4*c - y = -131, 2*c + 4*y + 86 = -2. Let b(j) be the second derivative of j**3/6 - 12*j**2 - 11*j. Let p be b(-11). Which is smaller: p or c?
p
Suppose -2*d - d = 3*y - 69, 3*d = -4*y + 91. Let q be (y/8 - 2)/((-3)/(-12)). Suppose 5*v + 6 = q*v. Is v less than or equal to -8?
False
Let f = 1098 - 1819. Let c be 4/(-12) - f/21. Which is bigger: c or 35?
35
Let w(o) = 944*o - 2129. Let d be w(9). Which is smaller: 6364 or d?
6364
Let c = 7219.05 - 7610. Let w = 391 + c. Which is smaller: -1 or w?
-1
Let s = 341/80 - 65/16. Let y be (-6)/(-7*(-5)/((-315)/(-6))). Which is greater: s or y?
s
Let r be (8 - 7)*(-1 - -1)/9. Is r equal to -2124?
False
Let m(f) = 187*f - 21. Let v be m(1). Suppose -171 = -v*o + 157*o. Is o bigger than 81/4?
False
Let t = -0.0368 + 0.0168. Let n = 0.53 + -0.7. Let b = 0.11 + n. Do b and t have different values?
True
Let j = -336 + -264. Let h = j - -475. Which is bigger: h or 1/3?
1/3
Let h be (-93)/(-6) + 1/((-4)/6). Let q(z) = h*z - 10*z + 32 - 2*z. Let l be q(-13). Is l less than or equal to 6?
True
Let k be 528/(-308) + (-60)/(-35). Which is smaller: -1/5034 or k?
-1/5034
Let f = 3359 + -4763. Which is greater: f or -1405?
f
Let f(k) = k**2 + 20*k + 4. Let r be f(-20). Suppose r*x + 32 + 32 = 0. Let l be (x - -16) + 5/3. Is -0.1 <= l?
True
Let z = -10.88 - -10.6. Let q = -0.67 + z. Let k = -1.45 - q. Is 10 greater than or equal to k?
True
Let q be 4/50*(-101157)/28. Let i = q + 289. Suppose -3 = k - 4. Is k >= i?
True
Suppose 3*n - 167 = a, 4*a - 3*a - 4 = 0. Let x be 9*n*(-55)/(-33). Let k be (-4)/(-10) + x/(-2075). Is 1 <= k?
False
Suppose 168 = -34*r + 33*r. Let b be (-1)/(-4) + -6 + (-846)/r. Are 3 and b nonequal?
True
Suppose 17393 + 24277 = 137*m - 10527. Which is smaller: m or 372?
372
Let m = -6574045498/16225 - -405180. Do 1 and m have the same value?
False
Let n be (-220)/(-176)*(-3 + -1) - (-383412)/76684. Is n less than -1?
False
Suppose 1352 = 34*d - 8*d. Let k be 1*1*-25 + -1. Let r = k + 79. Which is smaller: d or r?
d
Let q = 8 + -3. Let n be 18*1/(1/q). Let a be (-2)/6 - 12*871/(-117). Is a not equal to n?
True
Let m be (-1216)/320 - 6/10. Let l be (-3 + 2)*0/6. Suppose l*j = -5*j - 25. Is j > m?
False
Let n = 125 + -125. Which is smaller: -168 or n?
-168
Let g be 5/(55/2) - -2. Let l = -38 - 14. Let z = l - -55. Is z > g?
True
Let t = 300 - -4861. Which is smaller: t or 25802/5?
25802/5
Let x = -94.1888 - -0.1388. Let a = 94 + x. Is a bigger than 4?
False
Let v = 173 - 94. Let a = -87 + v. Is -3 > a?
True
Let m be 5/((-10)/12) + 33 + 837716/(-31020). Does m = 0?
False
Suppose 5*m - 63 = -48. Suppose 2*a = -m*a + 65. Is 8/7 <= a?
True
Let v be -34*(-3)/12*1. Suppose -5*s = -5*b + 25, 5*b - 20 = 3*s + 15. Is v not equal to b?
True
Let a = 19 + -26. Let n(x) = -x - 2. Let v be n(a). Suppose 4*c - 7*c + 55 = u, v*u + 67 = 4*c. Which is smaller: c or 19?
c
Let t = -30397/2184 + 179/13. Which is smaller: -1 or t?
-1
Let y(t) be the second derivative of -t**4/12 - 2*t**3/3 + 61*t**2/2 + 62*t. Let z be y(11). Is -105 bigger than z?
False
Let s(m) = -7*m - 22. Let t be s(-4). Let o be (-30)/(-165)*(-9)/t. Is o < 16?
True
Suppose 0*b + 11 = -b + 2*r, -b = -r + 9. Let u(f) be the second derivative of f**4/12 + 7*f**3/3 + 25*f**2/2 - 18*f. Let q be u(-11). Does b = q?
False
Let i = 207482/95 + -2184. Suppose 11*o - 397 = -5897. Let u = o + 501. Which is greater: u or i?
u
Let t = 4195 - 4194.9. Is -0.3464 >= t?
False
Suppose 107 = 89*t + 18*t. Which is smaller: -18788 or t?
-18788
Suppose -4*r = -3*m + 53, -5*r + 81 = 4*m - 0*m. Let l(z) = 4*z**2 + 119*z + 70. Let g be l(-30). Suppose -g = -30*y + 25*y. Is y at least as big as m?
True
Let q = -7.4 + 8.12. Let k = 0.68 - q. Which is bigger: k or 0.11?
0.11
Suppose 3*z + 3*h + 738 = 0, 2*h + 96 = 5*z + 1333. Let j = -734/3 - z. Which is smaller: j or 1?
1
Let d(t) = -11*t**2 + 4*t + 15. Let z be d(6). Let k be (-1)/((-8)/(-28) - (-81)/z). Which is bigger: k or 6?
6
Let v = 2/638033 - -251210975/5742297. Let d = v - 293/11. Is 18 < d?
False
Suppose x = -4*o - 5937, 6*x + 3*o = -2*o - 35565. Which is greater: -5924 or x?
-5924
Let d be 2/3*(-36 - 9). Let l be (-4)/16 + d/(-56). Let p = 237 + -280. Which is bigger: p or l?
l
Suppose -3*j + 0*j + 4*f = 20, -20 = -2*j - 4*f. Let h be (-118)/100 - (-3)/2. Is j smaller than h?
True
Let t = -4.3 + 124.3. Let n = -118.3 + t. Do 0 and n have the same value?
False
Suppose -60 = 4*h - 0*h. Let x(p) = 4*p + 89. Let u be x(-26). Are u and h unequal?
False
Let w = -207 + 106. Suppose 0 = -2*g + 3*l - 209, 2*l = 2*g + 6*l + 202. Is g != w?
True
Let n = -0.934 + 0.034. Let t = 109.9 + -115. Let z = -5 - t. Is z less than n?
False
Suppose -142*x + 143*x = 4*o + 6, -5*x + 30 = 0. Does o = -36/115?
False
Let y = 9 + -8. Let s be (-15)/30*(-7)/147. Which is greater: y or s?
y
Let g be 3 - (-3)/((-9)/(-87)). Let i(n) = n**2 - 18*n + 33. Let k be i(16). Let h be k + 31*(5 - 4 - 0). Are g and h non-equal?
False
Let l = -100/221 - -1498/3315. Which is bigger: l or -1?
l
Let n = -251 + -112. Let b = n - -360.83. Let a = b + 2.073. Is a bigger than 0.1?
False
Let z = 10759 + -14711. Is z < -0.1?
True
Suppose d - y + 0 = 1, -4*d + 4 = -2*y. Let b be (-40)/12*(-20)/40. Which is greater: b or d?
b
Let h be (10 - (-820)/(-70))/((-21170)/35). Are h and 0 unequal?
True
Let n be ((-170)/(-51))/(4/(-18)). Let j be (n + 31)/(0 + 4). Which is greater: 5 or j?
5
Suppose -1097 - 3586 = -7*s. Let k = s - 771. Is -102 smaller than k?
False
Let t = -262 + 402433/1536. Which is smaller: 1 or t?
t
Let z(o) = -2*o - 9. Let q be z(-6). Let f be q + -1 - (1 + 0). Let k be 3*-2 + 308/(-66)*(-72)/49. Is f less than k?
False
Suppose -4*k = -7*k - 3. Let j = -11744 - -317089/27. Which is greater: j or k?
j
Let x(d) = d**2 - 11*d + 42. Let o(z) = -z**2 + 8*z - 5. Let c be o(6). Let w be x(c). Suppose -w = 2*y + l, -y + 25 = -2*y - 5*l. Is y > -8?
True
Suppose -4310 = -8*j - 1142. Let p be j/(-24)*(-8)/6. Suppose -66 = g + p. Is g less than or equal to -87?
True
Let k = 0 - -5. Suppose s + 4*s = 3*m, 0 = 4*s + k*m + 37. Let x = -131 - -123. Which is greater: x or s?
s
Let h = -2978 - -62515/21. Let z = h - -55/63. Which is smaller: z or 3?
z
Suppose -z - 436 = -0*s + s, -3*z - 1322 = -4*s. Let r = 7444/17 + z. Suppose -w - 3*w = 0. Is w bigger than r?
True
Let n(j) = -j**2 + 19*j - 34. Let r be n(2). Suppose -4*i = -4*b + 34 + 54, r = i - 2*b + 20. Is -25 less than or equal to i?
True
Suppose 0*v + 6 = 3*v. Let c(w) = -w**2 - 2*w - 9. Let y be c(-9). Let a be v/6 + y/135. Which is smaller: a or -2/7?
-2/7
Let c = -2609.992 + 2610. Which is greater: -5/4 or c?
c
Let v = 176 -