 Suppose -o = -a + 5*a - s, 4*o = -3*a + 9. Suppose -2*q + 5*q = 5*t + 45, -a*q - 15 = 5*t. Is t at most -5?
True
Let o be (-2 - 1)/((-32)/((-384)/36)). Which is smaller: o or -16/15?
-16/15
Let i = 21.105113 + -0.105113. Let m = 0 - 1. Which is smaller: m or i?
m
Let q be (-649)/(-295) - (8 - (-4 - -3)). Let j(n) = -4*n + 13. Let m(p) = -3*p + 9. Let l(r) = 5*j(r) - 7*m(r). Let z be l(-9). Which is greater: z or q?
q
Let w = -341 + 233. Let y = w - -234. Suppose -o - 8*o = -y. Which is smaller: 13 or o?
13
Let j(s) = -17*s + 58. Let m(g) = -38*g + 116. Let v(c) = 5*j(c) - 2*m(c). Let z be v(0). Is z <= 58?
True
Let h be 108852/572319 - (-4)/(-82). Is 0 <= h?
True
Let z = 475 + -407. Let f = -176 - -112. Let a = z + f. Does a = 1?
False
Let p be (-39)/((-2)/(-8)*1*-4). Suppose -p*s + 36*s = 153. Which is bigger: s or 3?
3
Suppose -5*p = -2*g - 97, 15*g - 10*g + 190 = 10*p. Let y be (-53)/(-2)*4/5. Which is greater: p or y?
y
Let f = 121 + 29. Let i = -152 + f. Is 2/9 >= i?
True
Let s be -1 - 7/((-364)/(-8)). Let c = s + 1. Which is greater: 0 or c?
0
Let i(r) = r - 2. Let v(x) = -50*x + 196. Let o(g) = -i(g) - v(g). Let f be o(4). Which is smaller: f or -0.238?
-0.238
Suppose -o + 10 = v, -2*v - 5*o + 26 = v. Suppose 54 = -13*f + 19*f. Suppose f*s - 99 = -0*s. Are s and v nonequal?
True
Let p(u) = -325*u - 1123. Let l be p(-4). Is l >= 193?
False
Let v(c) = 128 - 730*c - 717*c + 1434*c. Let d be v(10). Is -5 <= d?
True
Let m = -45.57 - -46. Let f = 31 + -23. Let p(r) = -r**2 + 9*r - 7. Let h be p(f). Which is bigger: m or h?
h
Let d be (-264)/(-252) + ((-3)/9 - 0). Let f = 27 + -22. Suppose f*p = -5*k + 35, -2*p = -0*p - 3*k + 11. Which is bigger: d or p?
p
Let j(c) = -5*c + 60. Let f be (5 - (-3 - 3)) + 1. Let k be j(f). Which is bigger: -2/111 or k?
k
Let b be ((-160)/(-10) + 193)*1. Which is greater: 1.9 or b?
b
Suppose 10*h - 5 = f + 14*h, -5*f - 2*h + 11 = 0. Let d be (f - (-7)/(-2))*10. Is d != -7?
True
Let k = -10487 - -10477. Is -372 bigger than k?
False
Suppose -4*l = 3*k - 6*l - 11, -5*k - 3*l = 7. Let r be 2/((-6)/k) + 30/198. Let z = -0.8 + -0.7. Is z at least r?
False
Let p be 0 - 1 - (-194)/196. Let c(q) be the first derivative of q**4/4 + 4*q**3/3 - 9*q**2/2 - 35*q + 413. Let g be c(-3). Is p less than g?
True
Let m = 97 + -676/7. Let d = 0.3 - 2.3. Let q = -1.9 - d. Is m <= q?
False
Let u = -1.2417 + -0.7583. Which is smaller: u or 3457?
u
Suppose -12*b - 393 = -57. Let d = 16 + -6. Let g = b + d. Which is bigger: 0.1 or g?
0.1
Let n = 149 - 147. Let v be -40 + 2 - (1 - 5). Let g be 120/(-36)*6/v. Which is smaller: g or n?
g
Let l be (3 + 3)*(-4)/(-30) + 51/255. Is -82 greater than l?
False
Let c = -6968569897 + 1715850060024035/246227. Let m = c + 2/2179. Is 0 greater than m?
True
Let s be 249*6/((-72)/(-4)). Suppose -11*h - 116 + s = 0. Is -54/25 less than h?
False
Let h be (-100)/18*352002/1156. Which is smaller: -1692 or h?
-1692
Let p be ((-21)/(-1))/(1/11). Let s be (990/p)/((-19)/(-7)). Are 2 and s equal?
False
Let g(c) = c**2 - 26*c - 86. Let w be g(39). Let q = 465 - w. Is 46 less than q?
False
Let q = 29 - 31. Let v be q/4 + (-20)/120. Suppose -n - b - 7 = n, -10 = -2*b. Is n at least v?
False
Let z be (-4)/3*(-15)/2. Let l(n) = 24 - 39*n**2 + 24*n + 40*n**2 + 79. Let k be l(-19). Is z <= k?
False
Let d(q) = q**2 + q + 1. Let f(h) = 5*h**2 + 5*h + 5. Let a(m) = -3*d(m) + f(m). Let y be a(-1). Let s be ((-810)/14)/9 - -7. Is s at least as big as y?
False
Let x = 196.5 + -30.9. Let n = -57.06 + x. Let z = n + -109. Which is smaller: -2 or z?
-2
Suppose -3*l = 2*l + 4*l. Suppose 2*y - 5*h - 308 - 365 = l, 5*y - 4*h = 1725. Do 348 and y have different values?
True
Let u = -2 + -5. Let o(m) = -7*m + 14. Let w be o(7). Let z be 10/w - ((-47)/u - -3). Which is bigger: -44/5 or z?
-44/5
Let w = 1.618 + -1.518. Let h = -26.4 - -22. Is w less than h?
False
Let j = -6903 + 6902.785. Is -8 equal to j?
False
Let q = 224 + -236. Let c be (-13 - q)*41*1. Do -45 and c have the same value?
False
Let y = -1 + -17. Let x(f) = 4*f**2 - 164*f - 82. Let d be x(41). Let t = d - -64. Is y at least as big as t?
True
Suppose -4*g + 2*k = -40, -4*g + 5*k - 2*k = -44. Let l be 494/39 + 2/6. Is l at most g?
False
Let r = -1/114 + 77/114. Which is bigger: -188.4 or r?
r
Let x = -5.364 + 5.864. Is x bigger than 0.165?
True
Suppose 3*z - 3*q - 66 = 0, 5*z - q + 0*q - 94 = 0. Suppose -z*d + 480 = 6*d. Are d and 21 equal?
False
Let b be 27/72*(24/(-18) + 2). Is b <= 2.72?
True
Let l(f) = 2*f**2 - 6*f - 3. Let a be l(-5). Let n be 14/(3/(561/34)). Does a = n?
True
Let m = -23.9 - -24.1. Let c = 0.32 + -2.92. Let w = c + m. Is -0.1 > w?
True
Let q = 13908.4 - 13909. Which is smaller: q or 43/7?
q
Let l(c) = -c**2 + 10*c + 176. Let j be l(0). Let q = -169 + j. Which is greater: q or 0.3?
q
Suppose 24*d - 23*d - 5*y = 4, 3*y = 3*d. Which is smaller: 13/773 or d?
d
Suppose 0 = 90*i - 34*i + 12*i - 13940. Suppose -3*v = -8*v - 25, 4*q - 5*v - 845 = 0. Is i at least as big as q?
True
Let o be 6/2410*1705/1023. Let n(r) = -r + 4. Let x be n(4). Which is bigger: x or o?
o
Let f = -21.36 - -21. Let x = 0.1 + f. Let t = -0.26 - x. Which is smaller: -0.16 or t?
-0.16
Let v be ((-2)/14*2)/(348/(-21)). Let y = 542 - 543. Are y and v nonequal?
True
Let p be (1*-2 - -1) + (-22139)/169. Let k be (11*(-6)/p)/((-1)/2). Which is bigger: k or -8/141?
-8/141
Let p be -5 - (12/(-90) - (-290)/(-75)). Which is smaller: 2/615 or p?
p
Suppose -162*b + 160*b - 220 = 3*d, 5*b + 506 = -2*d. Let u(s) = s**3 - 9*s**2 + 2*s - 4. Let o be u(6). Which is smaller: o or b?
o
Let p = -5108 + 5248. Let y be ((-2)/(-30))/(12/25190). Let x = y - p. Are x and -1 nonequal?
True
Let m = -3936 + 1181. Do m and 0.2 have the same value?
False
Let n be 0 + (390/3 - 5). Suppose -2*q + c = -264, -q + c = 4*c - n. Is q >= 130?
True
Let a = 155 + -149. Suppose 2*b - a = 5*b. Are b and 34 non-equal?
True
Suppose -98*b - 933 = 15629. Which is smaller: b or -167?
b
Let o = 4183 - 3883.3. Let z = o - 300. Are -21 and z non-equal?
True
Suppose 0 = 169*m - 43 + 212. Which is bigger: m or -3/149?
-3/149
Let a be (1/(-2)*60/225 - 0)*-5. Which is smaller: a or -399?
-399
Suppose 4*s - 28 = -b, 0 = -3*s + 5*s - 5*b - 36. Let n(a) = -a**2 - 9*a - 15. Let u be n(-6). Suppose 0 = -3*y - u, -y - 9 = -2*w + 4*y. Is s < w?
False
Let s be (-6)/4*((-3504)/18 + (-10)/15). Is 304 bigger than s?
True
Let a be (3 - 0) + (33/(-20)*4 - -3). Do a and 1.25 have different values?
True
Let k = -0.5 - -1. Let l = k - 0.6. Let c = -12.75 - -13.75. Which is smaller: c or l?
l
Let f = -547 - -551. Let j be f/3*(-150)/(-200). Is j equal to 5/77?
False
Let f = -0.17 + -0.43. Let n = 5.4 - f. Let t = -8 + n. Is -0.15 at least t?
True
Suppose -5*o = -b + 19, -4*b + 3*o + 51 = b. Let j be (-1)/b - (-1)/(-3). Let f be 510/(-450) - 8/(-60). Which is bigger: j or f?
j
Suppose -2 + 8 = -d - 3*k, 4 = -2*k. Let a = -1236/14863 + 9/89. Is d greater than or equal to a?
False
Let p = 15 + -16. Let v be (7 - -5)/4*1. Suppose -2*b = v*b - c + 15, -5*b = -2*c + 20. Is p at most b?
False
Let f = 15.065 - 14.665. Is -0.89 less than or equal to f?
True
Let k(l) = -5*l**2 + 1649*l + 13512. Let z be k(-8). Let q = 2/7591 + -23099/1237333. Do z and q have different values?
True
Let n = 355 + -352. Suppose -n*f - 49 = -52. Are -3/343 and f unequal?
True
Let d(s) = s**3 - 14*s**2 + 2*s - 7. Let j be d(4). Let m = j - 14. Is -1 <= m?
False
Let c = 4/13717 + 8093002/96019. Is c < 83?
False
Let g(q) = -q**2 + 13*q + 34. Let v be g(15). Suppose 2*j - 2*a - 3 = 1, -3*j + v = -4*a. Suppose -j*o = -6*o - 2. Which is smaller: o or 1/5?
o
Suppose o - 984 + 4512 = -3*a, 0 = 5*o - 30. Is a <= -1178?
True
Suppose 488*j - 61690 = 542*j - 6934. Which is smaller: j or -1013?
j
Let k = -112 - -296. Let t = k + -64. Let u = -114 + t. Which is smaller: 3/5 or u?
3/5
Let s be 10/255*(1 - 9/((-45)/40)). Is s at least 1/83?
True
Let z = -100051/842985 + -7/7205. Suppose 0 = 5*h + 3*x + 2, -3*h - 4 = 2*x - 3. Is h at least as big as z?
False
Suppose -3*q = -0*q - 15, g - 28 = -5*q. Suppose 2*n - 4*c = -5*c + g, n - 2*c - 4 = 0. Let d be 2/(-8) + (-45)/(-4). Is n <= d?
True
Let g be (-6 + -2)/2 - (529/(-23) + 408). Does g = -389?
True
Let y = -16306 - -16262. Which is bigger: