alse
Let m be (-6)/27 - (-148)/747. Let s = 167 - 166. Is s equal to m?
False
Let r(d) = -d**2 - 4502*d + 36041. Let t be r(8). Let a = 77 + -117. Which is smaller: a or t?
a
Suppose 5*u - h = 12, 28 = 3*u - 5*h + 12. Let o be (-1)/2*(-16 + 0). Suppose -2*i = 4*q - 14, -9 = -3*i - 4*q + o. Do u and i have the same value?
False
Let s be 35/5 + -29 + 22 - -1372. Does 1371 = s?
False
Let w = -7 - -11. Suppose -26 = -z + 5*p, z = w*p - 8 + 31. Let q be (z/(-6) - -2) + (-10)/12. Do -2 and q have different values?
True
Suppose 2*g + 4*l = -50, -g - 7*l = -2*l + 34. Let m be (4 - 6)/(-14) + (-26)/(-14). Let d be (20 + -1 + 2)/(1 - m). Which is bigger: d or g?
g
Suppose 2*k = -4*o + 5*k - 162, 2*k = 2*o + 80. Let y be (-341)/o + -4 - 4. Let i = -61/210 + y. Is i smaller than 0?
True
Let p = 2982 + -2710. Is p != 1093/4?
True
Suppose 11*q + 690 = 6*q. Let i = -84 - q. Which is smaller: 55 or i?
i
Let f = 7790 + -7789.91. Which is greater: f or 3?
3
Let z = 801 - 753.039. Let t = 0.039 + z. Let p = 62 - t. Are p and -1 equal?
False
Let p = -183 - -187. Let z be 26/p*(-10 + 4 + 16). Is z at most as big as 63?
False
Let a = 13929/13 - 1072. Let u = 105/26 + a. Is 0.04 < u?
True
Suppose 22*t - 651 + 607 = 0. Which is bigger: 15/7 or t?
15/7
Let z = 156 - 91. Let f(d) = d**2 + 61*d - 31. Let m be f(-18). Let y = 804 + m. Is z less than y?
False
Suppose -26*d + 2448 = -230. Let t = -107 + d. Which is bigger: t or 1?
1
Let g = -3205 + 3110. Which is smaller: g or -9?
g
Let u = 52 - 42. Suppose -26*a + 80 = -18*a. Let v(h) = h**3 - 9*h**2 - 10*h + 9. Let f be v(a). Is f at most as big as u?
True
Suppose 35*t - 14 + 14 = 0. Which is smaller: -408/5 or t?
-408/5
Let v be (-30)/(-55) - 21429/(-99). Let s = v - 638/3. Let c(u) = -u**3 + 7*u**2 - 5*u - 1. Let r be c(6). Do s and r have different values?
True
Let p be 2 - 0 - (-13)/(-26)*4. Which is bigger: 8/129 or p?
8/129
Let a(b) = -b - 19. Let m be a(-20). Let u = 7 + -7. Suppose u = 4*l - 0*l - 28. Which is bigger: l or m?
l
Let v be (0 - 0) + (-6325)/(-23). Are 283 and v non-equal?
True
Let m be (-5 + 65/13 + -6)*1/34388. Which is smaller: m or -1?
-1
Let h = 4865 + -5293. Which is bigger: h or -429?
h
Let i(u) = -301*u - 50. Let d be i(-4). Let t be 573/d + (-18)/36. Is t less than 0?
True
Suppose u - 9 = -38*l + 37*l, 6 = 2*u. Let t be (-7)/(210/(-4))*(1 - l). Which is smaller: t or 190?
t
Let a(f) be the first derivative of 2*f**3/3 + 15*f**2/2 + f + 8. Let v be a(-10). Let g be ((-1)/(-3))/(17/v). Which is smaller: -4/17 or g?
-4/17
Suppose 6393 - 5314 + 8851 = 30*w. Is 0.4 greater than w?
False
Let f = -4046 - -1876. Which is smaller: -1/5 or f?
f
Let a = 63 - -252. Suppose -395 = -5*v - 2*q + 349, -a = -2*v + 5*q. Which is greater: 149 or v?
v
Suppose 5*z = -356 - 29. Let o be -2 - 3/117*z. Suppose 4*l + 10 - 40 = -2*u, -2*u = -2*l + 18. Which is bigger: u or o?
o
Let j be (594/(-81))/(2/((-30)/17045) - -5). Which is bigger: 1 or j?
1
Suppose 20*w = -21*w + 5*w + 360. Does w = 191/21?
False
Let g = 9505743519/25249 + -376480. Which is smaller: g or 1?
g
Let q(b) = -11*b - 42. Let k be q(-7). Let f be -6 + 200/k + (-9)/(-7). Does f = 1/18?
False
Let k be (1/2)/((-1)/(-80)*-4). Let m be (8/k)/(1602/225). Let l = 304/2047 - m. Which is smaller: 0 or l?
0
Let l be (-504 - -504) + 2/3 + (-2)/(-6). Let y be ((-6)/(-830))/(3/15). Is l < y?
False
Suppose 0 = 8*u - 591 - 1. Let b = u - 69. Suppose b*x - 125 = -5*w, 2*w = 5*w - 2*x - 75. Are -1 and w equal?
False
Let t(p) = -22*p - 5. Let l be t(-1). Suppose -163 - l = -5*m. Suppose -5*i = -19 - m. Do i and 10 have different values?
True
Let h(x) = 35*x - 23. Let j(q) = 18*q + 199. Let m be j(-11). Let b be h(m). Is 21/2 less than b?
True
Suppose 16 = 4*t - 2*o, -5*o + 4 = 4*t + 2. Let w be (4 - 2)/(1 - 0 - t). Which is greater: -2/1183 or w?
-2/1183
Suppose w = -18*w - 171. Let s(i) = -i**3 - 14*i**2 + 17*i + 6. Let n(p) = p**3 + 15*p**2 - 18*p - 7. Let d(o) = 6*n(o) + 7*s(o). Let b be d(w). Is b <= -17?
True
Let h be 434/98 - (-2)/((-28)/6). Suppose -6*p = -10*p - h. Let q be (-1 + -11)*p/3. Which is smaller: 34/7 or q?
q
Suppose 2*o + 4*d + 16 = 6*o, d = 5*o. Let q = 1289977/61 - 21147. Which is bigger: o or q?
q
Let m = -3/5392 + 992155/48528. Let o be (2 - (-48)/(-18)) + 59/(-3). Let g = m + o. Is 0 at least g?
False
Let l = 0.0355 - -4.7645. Is l equal to -6?
False
Suppose 0 = -2*v + n + 66, -v = n + n - 28. Suppose 4*q - 9*q = -4*b - v, 0 = q + 5*b - 18. Suppose q*w + 11 = -29. Which is smaller: w or -6?
-6
Suppose -2*u - 181*o + 184*o = -6, -5*o - 10 = u. Suppose -4*r = 0, -r = -4*f + 2*r - 344. Is u >= f?
True
Let m = -23/133 + 6/19. Let u be 2/8*-6 + 0/(782/(-23)). Which is smaller: u or m?
u
Let v(c) = 8*c + 29. Let p(a) = 24*a + 88. Let q(x) = 2*p(x) - 7*v(x). Let f be q(-4). Let w be (f/2)/(26/39). Is w smaller than 5?
True
Let h be 140 + (2 + -14)/12. Does 134 = h?
False
Let w be (-10 + 15)*2/(-25). Let l = -39.02 + 39. Let k = l - -0.12. Which is greater: w or k?
k
Suppose 0 = -84*y + 96*y + 96. Which is bigger: 54 or y?
54
Suppose -2*u - 40*l + 44*l - 24 = 0, -24 = -2*u - 4*l. Which is smaller: u or -1/5457?
-1/5457
Let c(n) = 78*n + 1399. Let t be c(-20). Is -159 at most t?
False
Let i = 296 + -234. Let f be (2 - i/30) + (-6)/(-15). Let a(c) = -11*c + 1. Let n be a(-1). Is f greater than n?
False
Let q(r) = -r**3 - 11*r**2 + r - 16. Let b be q(-12). Suppose -3*w + 5*o = b, -2*w - 2*o = 34 + 54. Let s = 85/2 + w. Which is bigger: s or 59?
59
Let o = -26 - -25.6. Let b(p) = -p**2 - 8*p - 13. Suppose -4*h - 5*t = -1, -4*t + 32 = -2*h - 0*t. Let c be b(h). Which is greater: c or o?
o
Let y be (-2 + -1)/((-1333)/(-31) + -38). Let h be 1/(-2)*1*-10. Which is greater: h or y?
h
Let d(w) = w**3 + 20*w**2 + 11*w - 152. Let b be d(-19). Which is smaller: b or -76/433?
-76/433
Suppose -a = -3*v + 621, 8*a - 13*a + 4*v - 3116 = 0. Which is greater: a or -623?
-623
Let c be 83*(-6 + 7) + -4. Let o = 68 - c. Suppose -2*z - 45 = 5*x, 65 - 20 = -5*x - 4*z. Is o < x?
True
Let l(a) be the second derivative of 11*a**3/6 + 10*a**2 + 56*a. Let v be l(0). Is 20 greater than v?
False
Suppose 74*p - 8 = 66*p. Which is greater: p or 30/61?
p
Suppose -2*t + 7*t = 2*b - 6, 0 = -2*t. Let o be -1 + 1/(4 + (b - 6)). Let x be (-18)/(-36)*(o - 0). Is 2/149 less than or equal to x?
False
Suppose f + 24 = 26. Let o be (-10)/f - 77/(-7). Is o equal to 5?
False
Let t = -65/7 + 4640/511. Is -2/19 >= t?
True
Suppose 19 + 9 = g. Let o be (-28)/(g/(-77)*(-33)/6). Is -13 bigger than o?
True
Let c be 8/32*2 + 29/2. Suppose 3*p = d + 30, -3*d = 3*p + d - c. Suppose -392 = -p*y - 5*y. Which is smaller: y or 82/3?
82/3
Let c = 68 + -62. Let r be ((-18)/c - (-11)/3)*39. Which is greater: r or -12?
r
Suppose -20*y = y - 147. Let n be y + 64/(-10) - (-216)/15. Suppose -5*w = -21 - 59. Which is greater: n or w?
w
Suppose -3*a + 12*c - 16*c = -49, -5*a = 5*c - 90. Suppose 7 = 6*n - 95. Is n <= a?
True
Let d be 5*(36/(-10) + 3). Let g be 528/(-165) + 2/10. Let i be -1 - (d/(-1) + g). Which is smaller: 2 or i?
i
Let o = -389 - -393. Let d be 31680/135 - (o/6 + 0). Is 234 at most as big as d?
True
Let a be (-170)/1700*(-4)/6*-3. Is a >= -0.43?
True
Let h = -68 - -96. Suppose 5*c = -h + 8. Let l be -12 - (20/(-15))/(c/6). Is l less than -14?
False
Let f be (-3)/4*1780/(-267)*51/5. Is f at most as big as 51?
True
Let d = -1319 - -1139. Do d and -180 have the same value?
True
Let d = -14683/477 + 275/9. Which is smaller: d or 1?
d
Let v(f) = 2*f**2 - 13*f + 68. Let z be v(9). Let q = z + -1036/9. Is q equal to 3?
False
Let x be (-29)/(-783)*387*-22*42. Is -13243 less than x?
False
Let z = 55 + 10. Let q = -6 - 272. Let l = 342 + q. Do l and z have the same value?
False
Suppose 87*u - 1376 = -1115. Which is bigger: u or 3/1709?
u
Let v be 6 - 3 - -1 - 1. Suppose 0*i - i - 7 = v*s, 1 = i + s. Suppose i*b + 4*m = -0*m + 17, 4*b = 3*m - 5. Which is smaller: b or 9/7?
b
Suppose 7*x + 20 = 6. Let p(i) = -i + 7. Let y be p(6). Let q be (2 + y)/(-2 + 1). Which is smaller: x or q?
q
Let z(o) = -3*o + 20. Let l be z(-5). Suppose 10*w - 222 = 4*w. Is l greater than or equal to w?
False
Suppose 22*w + 23154 - 13694 = 0. Let j(g) = 216*g + 1. Let c be j(-2). Do w and c have the same value?
False
Let h(r) = r*