 u be -52 + 16 + 17 - -11. Is u smaller than -173/22?
True
Let u(l) = l - 4. Let m be u(2). Let p(r) = r**2 + 13*r + 46. Let t be p(-14). Let s be 4*(-3)/390*t. Is m != s?
True
Suppose 0*t = -9*t + 18. Suppose l = y - 0*l - 17, t*y + l = 19. Suppose y = 7*s + 5. Which is smaller: s or -16?
-16
Suppose -360 = -82*q + 86*q. Let b = 111843 - 1231265/11. Let f = b - q. Is f at least as big as 0?
False
Let z be 2*((-1 - 1) + 5). Let h be 2*(88/16 - z). Is h > -9/55?
False
Let v = -1.79 + -0.43. Let g = -2.22 - v. Are g and 124 equal?
False
Let j = -0.01 - 0.02. Let y = -7041 - -7041.02. Which is bigger: y or j?
y
Let m = 2495 - 1228. Suppose -4*j + 0*j - m = -3*l, -5*j - 1601 = 2*l. Which is smaller: -320 or j?
-320
Let l(z) = -32*z - 1. Let x be l(1). Let i be (-39)/9*(2 + -11). Suppose -2*m = -5*s - 160, -18*s + 19*s + m = -i. Which is smaller: s or x?
s
Let p = -16.6 + -11.6. Let k = p + 26.5. Is k <= -2?
False
Suppose 42*i + 1925 + 6249 = 41*i. Which is smaller: -8172 or i?
i
Suppose 568 = 4*y + 28. Suppose 0 = -41*s + 56*s - y. Is s > 9?
False
Let t = 268 - 126. Let m = t + -77. Suppose -2*n + m = -7*n. Are -14 and n unequal?
True
Let u be ((-5554)/505)/((-2)/(-10)). Let n = -55 - u. Which is greater: n or -1?
n
Let i = -195 + 197. Suppose 0 = i*f + 51 - 47. Which is smaller: 1 or f?
f
Let d = -0.06705 - -4.06605. Which is greater: d or -3?
d
Let l = 3 + -3.3. Let g = 0.1 + l. Suppose 7*q - 63 = -7*z, -3*z - 88 = -5*q - 123. Which is smaller: q or g?
q
Let z = -16.06 + 14.3. Let h = 27.24 - z. Do -1/2 and h have the same value?
False
Suppose 5*v + 10 = -4*q - 3, -q + 13 = -2*v. Let x be (38/1240)/(v/5). Let a = x - 3/155. Which is greater: a or -1?
a
Suppose 14 = -c + 5*u, 2*c + 3*u - 52 = -41. Which is smaller: 1/1722 or c?
1/1722
Let d be -3 + 61 - (0 + 2). Suppose 3*b = -5*f + 324, 4*b = 2*f - 50 - 64. Suppose -a = 27*i - 31*i - f, 167 = 3*a - i. Which is greater: d or a?
d
Suppose 5*r + 10 - 105 = 0. Let u be 2/29*r/38. Is -2/9 smaller than u?
True
Let u = -49209 + 39874. Do -2/15 and u have the same value?
False
Let p = 0.0279 - -0.5721. Let b = 7 + 6. Suppose -b + 19 = -3*v. Which is greater: p or v?
p
Let v(z) = 81*z - 1786. Let r be v(22). Is r less than or equal to 31?
True
Let w = -22 + 64. Let r = -39 + w. Let q be (0*(12/(-8))/r)/(-2). Is q smaller than 1.1?
True
Let z(c) = 5*c**2 - 3*c + 9. Let s be z(2). Suppose -20*x - s = 17. Which is greater: x or 2?
2
Let b = -31565 - -31805. Are 3117/13 and b non-equal?
True
Let x = -5807 + 10849. Let u be 9/12*x*(-30)/158. Let b = -718 - u. Which is bigger: 1 or b?
1
Let n be -28*1*34/(-238). Let f = -21 + 26. Which is bigger: f or n?
f
Let x(v) = 2*v**2 - 123*v + 294. Let t be x(59). Which is greater: -16 or t?
t
Let f(k) = -k**3 + 7*k**2 - k - 1. Let h be f(7). Let m(p) be the second derivative of -p**3/2 - 6*p**2 - 5*p - 1. Let r be m(h). Is 12 greater than r?
False
Let v be (-12)/30*(-10)/38. Let d(t) = -t**3 - 8*t**2 - 24*t - 21. Let k be d(-6). Let n be k/(-6) + 70/10. Which is smaller: n or v?
n
Let a be 0 + 1 + -1 - -6. Suppose -3*v + 11 = -2*v - 5*r, 5*v + 5*r + 5 = 0. Let k be v/(-3)*(-39 - -39). Which is smaller: a or k?
k
Suppose 3*i - 3*x + 226 - 775 = 0, -4*x = i - 163. Is 179 >= i?
True
Let l = 4150 + -136940/33. Let p(j) = -j**2 + 25. Suppose 4*h = 2*o - 20, 13*o - 11*o = -3*h - 15. Let d be p(h). Is d at most as big as l?
True
Let k(h) = h**2 + 9*h. Let r(l) = -l**2 - 8*l. Let f(w) = -5*k(w) - 6*r(w). Let a be f(-3). Which is smaller: 4/29 or a?
a
Let w be 2832/1239 + (-9)/7. Which is smaller: 7/263 or w?
7/263
Let v = -497776 - -2501344/5. Let p = -2485 + v. Let u = p - 346/45. Which is smaller: u or -2/3?
-2/3
Let u = 12.74 - 6.74. Is u < 297?
True
Let g = 30.758 - 7118.758. Is g at most as big as -1?
True
Let k be (56/4 - 1)*1/1. Which is greater: 85 or k?
85
Suppose -28*l + 29211 = 81*l - 2*l. Is l > -1?
True
Suppose 10*z - 352 - 718 = 0. Do 117 and z have the same value?
False
Let r be -6*((-448)/(-12))/(-8). Suppose r*h - 4760 = 45*h. Is h at least as big as -281?
True
Let a be -2*(2 - 1) + 1. Let z be (-1463)/49 - (4/(-22) + ((-4600)/1771)/(-8)). Is a greater than z?
True
Let f be (3/75)/((-177)/102). Let k = 81/7 + -4772/413. Let y = k - f. Is y greater than 0?
True
Let q(y) = -4*y**2 - 23*y + 8. Let n be q(-8). Are -10 and n unequal?
True
Let m(p) be the third derivative of -p**6/20 - 17*p**5/60 - 4*p**3/3 + 30*p**2 + 2*p. Let x be m(-5). Which is greater: 318 or x?
318
Let o = -291 + 476. Let c = o + -184.9. Does c = 3/2?
False
Suppose -2*b + 5 = -n, b + 3*b - 6 = -2*n. Let y = 2/527767 + -6333226/5805437. Which is bigger: y or n?
n
Let u be (11 - 11)*(18/12)/3. Which is greater: 86 or u?
86
Let j = 9975 + -11263. Is j at most as big as -1292?
False
Let r be -4*(-2*1 - -4). Let v be 6*32/11232*13. Is r at most as big as v?
True
Let p(y) = 152*y**2 - 11*y + 15. Let w be p(6). Is w < 5421?
False
Let w be 9 + ((-191760)/19180 - -1). Suppose g + 3 = 5*u + 7, 2*g = 2*u. Is u > w?
False
Let r = -14070 - -9359. Which is bigger: -4712 or r?
r
Let f = -912/11 + 15319/44. Which is smaller: f or 266?
f
Let a = 8989/49 - 218567437/1191435. Are a and 1 unequal?
True
Let d be (3 + 5428/(-8) + -11)/((-3)/(-6)). Is -1378 less than d?
True
Let r = -118/29 + 14717/3567. Let z = -1409/984 + r. Which is smaller: -0.4 or z?
z
Let z = 199 - 204. Let l be (2/z)/((-17)/2040). Is 48 not equal to l?
False
Let l be (-12428)/(-2418) + -6*1. Which is bigger: l or -2?
l
Let f = 1/499 - 14478/3493. Let s = -12549 - -12546. Are f and s nonequal?
True
Let m = 7 + -4. Let z = -4 + m. Let x be 79/(-395) - (-4)/(-5). Is x at least as big as z?
True
Let r be (12 - 3 - 2) + 429490/(-61364). Is 0 bigger than r?
False
Let l be (4664/(-24) - -1) + 0. Let m = l + 12781/66. Is 0 > m?
False
Let h = -325 - -269. Let d = h - -55.3. Let g = -7 + 6.2. Is g smaller than d?
True
Suppose -10*b = -4*b - 12. Suppose 3*h - 117 = -5*k, 0*k - b*k + 47 = h. Let s be (-10)/25 - k/(-10). Is s at most 1/2?
False
Let a = 46083789/26828 - 6871/4. Is 1 at most as big as a?
False
Let g = -69.37 + 64.8. Let n = 5.17 + g. Which is bigger: 2 or n?
2
Suppose h - 206 = n, -271*h = -266*h + 2*n - 1002. Is h < -15?
False
Let g = 71/319 - 66848/304645. Do g and -1 have the same value?
False
Let p(m) = -90*m**2 + 5*m - 182. Let k be p(6). Is k bigger than -3391?
False
Let t = 35147/11 + -3195. Which is smaller: t or -282?
-282
Suppose 8*v + 3*f = 4*v - 113, -23 = v - f. Does v = -23?
False
Let m be 6/(-8)*(-20)/6. Let d = 261613/8 - 32701. Let p = m - d. Which is bigger: p or 3?
3
Let h be ((-768)/(-10))/((-13065)/36850). Which is smaller: h or -216?
h
Let w = -51.1 - -52.5. Let z = w - 1.313. Are -1/4 and z nonequal?
True
Suppose 2*q + 5*k = 6 + 12, 3*q - 2 = 5*k. Let g = 1967 - 1966. Let h be (q/24)/(g/(-7)). Which is smaller: h or 1/3?
h
Let h = -1.66 - -0.67. Let a = h + 2.99. Are a and -5/7 equal?
False
Let y = -905 - -719. Which is smaller: y or -166?
y
Suppose 25 = 4*h + 21. Let g be h/(1 - 63/98). Let y = -0.1 - -0.3. Which is smaller: y or g?
y
Let b be 15/30 - 6/(-4). Suppose b*f = -2*s + 30, 0 = 3*f - 6*f + 9. Are s and -3 equal?
False
Let m = -25778 - -25779. Are m and 5/4622 unequal?
True
Suppose 0 = -p + 1 + 19. Suppose -4 = -a, 21*a = -2*j + 20*a - 14. Let x(w) = -w**3 - 9*w**2 - 3*w - 5. Let l be x(j). Are l and p equal?
False
Let k = -71 + 71. Let g(t) = t**3 + 2*t**2 + 2*t - 34. Let y be g(k). Suppose -3*w + 70 = -5*w. Which is bigger: y or w?
y
Let i be (36/(-72) - 7/2) + 112. Suppose -i = -2*u - v - 545, -2*u - 2*v - 438 = 0. Which is greater: u or -217?
-217
Let i be 4/(-28) + 45/21. Suppose 13 = i*l - 1. Which is smaller: l or 8?
l
Let f be 1822/455 - 16/(3 - -1). Let p = f - 3662/5005. Suppose -3*v - 2 = -2*v. Is v at least as big as p?
False
Let n(m) = -m**3 + 44*m**2 - 10*m + 435. Let r be n(44). Is -179 equal to r?
False
Let u = -176.63767 - 0.93633. Let a = 0.426 - u. Is 0.1 < a?
True
Let n be (-9506)/49*2/(-128). Which is bigger: n or 4?
4
Suppose -4*l = 4*g - 16, -5*g = 3*l - 17 + 1. Suppose l*s + 15 = 7*s. Suppose -5*o = -0*v + 2*v - 11, 3*o + s*v = 12. Which is bigger: o or -33?
o
Let n(d) = 7*d**3 - 9*d - 6*d**3 + 7*d**2 + 1 - 6. Let w be n(-8). Let t be w/10*((-40)/3)/(-5). Are t and -1 unequal?
Tr