True
Suppose 0 = -4*l + 8*l + d - 22111, 3*l = d + 16592. Does 5527 = l?
False
Let f = 236 - 42. Suppose 0 = 5*o + 15, 38*r - 39*r + 2*o = -199. Are r and f equal?
False
Let p be ((-25)/(-35))/((-5)/(-35)). Suppose -p*o + h + 66 = 0, -4*o - h = 2*h - 68. Suppose -4 = -o*v + 18*v. Which is smaller: v or -2/55?
v
Let x be -2 + 108/51 + 160/85. Let b(g) = g**2 + 7*g + 1. Let t be b(-4). Let z = t + 13. Is z > x?
False
Suppose -168*f + 164*f = -24. Let o be 8/(-60)*f*-10. Suppose 0 = -4*a - m + 257, -4*a = -o*a - 2*m + 254. Is 66 greater than or equal to a?
True
Suppose -6*y + 569 + 2809 = 0. Which is smaller: y or 561?
561
Let s = -2729 + 2744. Let t(c) be the second derivative of -c**3/6 + 3*c. Let m be t(1). Which is bigger: s or m?
s
Let y(u) = 2*u**3 - 68*u**2 - 140*u - 144. Let a be y(36). Which is smaller: 8/295 or a?
a
Suppose -2*v = 3*v - 5*m - 1230, 2*v - 486 = -4*m. Suppose 447 = -4*f + 1423. Which is smaller: v or f?
f
Suppose -27*q - 45333 - 26186 = 54301. Is q at least as big as -4660?
True
Let v = -171824/19 + 9044. Suppose -2*d = 2*d - 3*u - 9, u = 2*d - 3. Which is smaller: v or d?
d
Let l be 10/(-5 + 2 + 1). Let t = 7 + l. Suppose 4*u + 5 = 5*b - t, b + 3 = 3*u. Are u and 1/11 nonequal?
True
Let y(a) = -17*a + 16. Let t be y(-7). Let k be t/4 + 2/8. Is 34 greater than or equal to k?
True
Suppose -12*a = -65*a + 33549. Which is greater: 631 or a?
a
Let d = -136 + 76. Let i be (15/d)/((-2)/12). Do i and -2 have the same value?
False
Let s = -368 - -367. Which is bigger: -3/3452 or s?
-3/3452
Let i = -199 - -202. Let r(c) = 86*c - 52. Let y be r(i). Is y at most as big as 206?
True
Let q be ((5 + -5)*(-1)/(-2))/(-1). Suppose q = 3*f - 33 - 48. Suppose 34*i = f*i - 35. Is -2 < i?
False
Let x be -3*(-1)/((-58)/12 - -5). Let g be ((-15)/(-25))/(x/30). Which is greater: 2/3 or g?
g
Let q(t) be the first derivative of -t**4/4 + 8*t**3/3 + 3*t**2 - 24*t + 18. Let j be q(7). Is 66 greater than or equal to j?
False
Suppose -316*r + 314*r = -60. Suppose t - r = -11. Do t and 17 have the same value?
False
Let q = 1 - 0.73. Let y = 0.27 - q. Let d be (3/6)/((-1)/(-10)). Which is greater: y or d?
d
Let h(q) = -19*q - 12 + 55*q - 17*q - 20*q. Suppose 4*b = -3*y - 24, -2*y = -2*b + 30 - 0. Let d be h(y). Is d >= 4/17?
False
Let x(z) = 1121 + z**2 - 1121 + 16*z**3 - 31*z**3. Suppose 7 = 2*m - 3*b - 4, -b - 5 = -2*m. Let o be x(m). Which is smaller: o or -16?
-16
Suppose 17 = -q + 5*z, -5*q = -26*z + 24*z + 39. Is q equal to 12?
False
Suppose 7 + 38 = -3*f. Let q = -151 + 759/5. Let z = q + -22/15. Does f = z?
False
Let m = 0.159 - 0.406. Let o = 1.247 + m. Is o greater than 0.02?
True
Let a be 5091804/(-3818772) - (-4)/3. Which is bigger: a or -1?
a
Let p = 850 - 838. Suppose 4*z - 84 = 4*y - 88, -5*y + p = 2*z. Is y greater than or equal to -0.011?
True
Suppose 5*p + r = 29 + 12, -r = -5*p + 49. Let g be (39/(-26))/(p/(-664)). Is g greater than 112?
False
Let g = 1 + 0. Let r = -111 - -113. Let h be (1 - 1)*(g - r). Is -4 less than h?
True
Suppose 0 = -4*j + 9*j + 30. Let r be (-1 - j)*3/(-5). Let m be (r - 0) + 20 + -17. Are m and 3/23 unequal?
True
Let h(w) = -2*w**3 + 7*w**2 - 11*w. Let k be h(-5). Suppose -7*j = 33*j - k. Which is bigger: j or 5?
j
Let s = 31 + 13. Suppose -37*j + 546 = -s*j. Is -79 greater than or equal to j?
False
Suppose 0*i - 63 = -3*i. Suppose -i*u + 12*u = 0. Are u and -30/23 equal?
False
Let z = -7.1 + 0.1. Let r = -2.3388 - -0.3388. Which is greater: z or r?
r
Let q = -0.05 + -0.95. Let v = 12.34 + 63.66. Which is smaller: q or v?
q
Let z = -1465648078 + 55084917372287/37584. Let c = z - 19/81. Which is bigger: -1 or c?
c
Let l = 3.72 + 25.28. Let z be (9/(-30))/((-6)/5). Are z and l nonequal?
True
Let f = 320.677 + 17.323. Which is greater: -1.2 or f?
f
Let a = 1.2 - 13.2. Let i = 13 + a. Let s = -89.1 - -89. Which is bigger: s or i?
i
Suppose 5*m = 3*q - 262, 359 = 7*q - 3*q + 3*m. Suppose q*p = 85*p + 24. Suppose 0 = -2*g + 3*g - n + p, -21 = g - 4*n. Which is smaller: 1/31 or g?
g
Let p = 3/3688 - 982855/3688. Let j = 268 + p. Is -30 < j?
True
Let x = 11.02 - -5.98. Suppose 0 = 3*l + 3*j - 24, -2*j + 9 = -l + 2. Suppose 0 = -i + 4 - l. Which is greater: i or x?
x
Let s be -3*(-4)/60 + ((-360)/75)/(-1). Which is greater: s or 191/43?
s
Let v(i) = 78*i**3 - 3*i**2 - 21*i - 54. Let a be v(-5). Which is bigger: -9775 or a?
a
Let g = 101.2 + 0.8. Let u(i) = 1996*i - 1997. Let a be u(1). Which is bigger: g or a?
g
Let v = -2629 + 2239. Is -414 bigger than v?
False
Let z be 1639/(-22)*(2 + (-3 - 1)). Let y = z + -141. Is y greater than or equal to -2/7?
True
Let x = 29 - 24. Suppose d - 24 = -5*y, -2*d = 2*d - x*y - 46. Suppose -4*s + 60 = -0*s. Which is bigger: d or s?
s
Suppose 131712 = -4*g + 60*g. Is g at most as big as 2352?
True
Let k be 4528/(-89200)*-197 - 10. Which is bigger: 1 or k?
1
Let w = 9667396824 - 197543586747173/20434. Let k = -7/1202 + w. Which is smaller: k or -2?
k
Let t = 27372.015 - 27372. Are -92 and t unequal?
True
Let s = -735 + 195. Let i be ((-39)/(-4))/(s/(-1920)). Is i > 36?
False
Suppose -15 = 9*v - 24. Let c be (-3)/(-132)*(-10 + v + 3). Are c and 0 unequal?
True
Let z(n) = 2*n**3. Suppose -2*t = -t. Let l be z(t). Which is smaller: 1/159 or l?
l
Let n be (-3)/(-4) + ((-153)/(-36) - 4). Which is bigger: -2/5945 or n?
n
Let o be (1 - (-174 - 0)) + 3. Suppose -z - o = l, 3*l - 182 = 2*z - z. Which is smaller: -181 or z?
-181
Let s = 79/83 - 16441/1577. Is s less than -8?
True
Let f be (-280)/735*-7*(-846)/4. Which is smaller: -534 or f?
f
Let n = -29 - -59. Suppose 3*m - 3*q - n = 0, m - 2*q = -4*q + 13. Suppose -4*k + 6 - 20 = -2*t, 11 = 2*t - 5*k. Is t smaller than m?
False
Suppose -4*c - n - 51 - 324 = 0, 2*n + 280 = -3*c. Which is smaller: -95 or c?
-95
Suppose 54 = 5*q + 9. Let w be 176/18 + 2/q. Let u(d) = -d**3 + 9*d**2 + 10*d + 8. Let n be u(w). Which is smaller: -0.1 or n?
-0.1
Let z = -53 - -53. Suppose -2*q - b = -z*b - 10, -5*q + 22 = b. Suppose -2*j + 4 = 2*l, -q*j - l + 0 + 2 = 0. Which is bigger: j or 7/6?
7/6
Suppose 9*y = 72*y + 252. Which is smaller: 17 or y?
y
Suppose -4 = 323*c - 321*c, c = 3*x + 322. Which is smaller: x or 7?
x
Suppose 3*b - 247 + 40 = -2*m, -5*b - 2*m = -349. Let z be (-2112)/(-48) - 135/(-5). Are z and b equal?
True
Let y be ((-374)/(-3))/(((-105)/(-126))/(-5)). Which is smaller: y or -751?
-751
Suppose 2853 = 26*b - 1385. Suppose b + 431 = -22*q. Are q and -27 non-equal?
False
Let y be 4866/10584 + 44/(-99). Let h be 2250/(-7742) + 2/8. Let g = y + h. Is 0 less than g?
False
Suppose -4*i = t - 1520, -2*t - 2*i + 1586 = -1454. Which is bigger: 1518 or t?
t
Let s = -5950 + 5126. Which is smaller: s or 0.1?
s
Let b be (4542 + 3 + -4)/((-15)/(-15)). Let g = 1634759/360 - b. Is g less than 0?
True
Suppose 0 = -x + 87 - 85, 4*x - 13 = 5*m. Let y be ((-578)/193 - -3)*-3. Are y and m unequal?
True
Let u be (-6)/4*-2 - (-3415202)/2646. Let a = u - 1294. Let m be 4/(-10) - (-12)/(-20). Which is smaller: a or m?
m
Let t(b) = -b**3 + 2*b**2 - 2*b - 3. Let q be t(6). Suppose 3*p + 569 = -5*o + 90, 0 = 2*o + 2. Which is smaller: q or p?
q
Let x = 4132 + -5786. Is -1654 bigger than x?
False
Let b = 0.0676 + -0.0876. Let k = -7.8 + 7.82. Which is smaller: b or k?
b
Let k be (-104)/70 - (-150)/125 - (-358)/(-70). Which is bigger: k or -32?
k
Suppose 3*c - 7 = q + 9, -3*c = 4*q - 11. Suppose -8*o - 13 = m - 3*o, 4*o + 2 = -5*m. Let w be 4*((-714)/356 + m). Which is smaller: w or q?
q
Let k = 50889 - 50905. Let p(b) = -b**3 - b**2 - 1. Let h be p(-2). Suppose y = h*f - 3*y + 32, -40 = 3*f - 2*y. Is k at least f?
True
Let q(c) = 106*c - 72. Let p be q(5). Let o = -3195/7 + p. Which is bigger: 1 or o?
o
Let f be (6 + 91/(-14))*(130/(-35) + 4). Let v = 17 - 7. Let y = v + -9.8. Is y greater than or equal to f?
True
Let c = -46894607/24255 + 9667/5. Let d = c + 4381/1139985. Is 1 <= d?
False
Let s(i) = -49*i + 3. Let g be s(-3). Suppose -8*z + 4*z + 624 = 4*v, -3*z = 4*v - 619. Which is smaller: v or g?
g
Let o be 2560/4774 - (-90)/(-165). Let a(w) = w + 8. Let t be a(-3). Suppose t*k - 11 = 9, 5*p + 11 = 4*k. Which is smaller: p or o?
o
Let d(z) be the second derivative of 8*z**3/3 + 21*z**2 - 2*z + 12. Let q be d(-3). Which is bigger: q or 1?
1
Let b = 16.0084 - -0.