t as big as 2/17?
True
Suppose 28*h = 4 - 60, -3*h + 34 = 4*d. Are d and -147 non-equal?
True
Let k be (-9 + 4 - 2) + 11. Let u be (-1)/((-15)/(-8)*k/(-3)). Which is bigger: -97 or u?
u
Let k = 211 - 88. Let z be (-6 + k)*(-3 - -5). Which is smaller: -1 or z?
-1
Let f be 27/(-162) + -5*88/(-2000). Which is bigger: f or -1?
f
Suppose 0 = -3*z - 2*k - 1550, -367*k + 362*k + 511 = -z. Do -514 and z have the same value?
False
Let i = -55 - -60. Suppose 0 = 4*x + i*x - 5*x. Suppose 5*h + b + 288 = -0*h, x = 2*b + 6. Are -56 and h equal?
False
Let w = 0.01902 + 0.11118. Is w greater than 1?
False
Let i(y) = 12*y - 96. Let h be i(8). Suppose -7*x + 4*x - 4*k = -80, h = -4*x + k + 94. Which is smaller: x or 17?
17
Let f = 954.19 + -954. Let k = 4.1 + -4. Let g = 0 + k. Which is bigger: g or f?
f
Let h = 35 - 25. Let t be ((-36)/h)/(4/(-10)). Let u(n) = n**2 - 13*n + 19. Let o be u(t). Is -16 equal to o?
False
Let w be 4/5*-1436*25/(-20). Is w at least as big as 1437?
False
Let u be 234/13*((-4)/6 + 0). Let n be -4 + 9/(-3) + u. Let v(p) = -19*p**3 + p - 1. Let b be v(1). Is b smaller than n?
False
Suppose 11*s - 10*s = 2159. Suppose 5*l + 4*o + s = 607, 0 = -2*l - 4*o - 628. Let k be (l/35 + 8)*35*1. Which is bigger: k or -29?
k
Let y = 71 + -14. Let q = -87 + y. Let x = -11 + 12. Which is bigger: q or x?
x
Let h(i) = -i**3 + 5*i**2 - 3*i - 4. Let t be h(3). Suppose 0 = -6*d + 45*d + 20904. Let b = d - -543. Which is greater: b or t?
b
Let k be -214*15/(-60)*(7 - 1). Let f = k + -222. Let a = f - 115. Which is greater: -14 or a?
-14
Let m = 328 + -363.7. Let y = 36 + m. Let b = y + -0.4. Which is smaller: 2/33 or b?
b
Let i = -445.9588 + 446. Let k = i + -2.0412. Is 70 smaller than k?
False
Let p(v) = -v**3 - 50*v**2 + 165*v - 50. Let a be p(-47). Which is smaller: a or -14433?
-14433
Let k be (-78)/34 - (1 - 4). Let l = 653 + -338. Let y = l - 314. Which is smaller: y or k?
k
Let f = 2389 + -2389. Which is smaller: -1/1046 or f?
-1/1046
Let h = 384.679 + -383. Let m = -0.079 + h. Which is bigger: m or -0.1?
m
Suppose 42*q + 6*q + 60796 = -28532. Which is smaller: -1860 or q?
q
Let u = -6411 - -6391. Which is greater: u or -262/13?
u
Let s(r) = -4528*r - 1354. Let v be s(-4). Is v less than 16759?
True
Let l = -31504.89 - -31505. Is 475 less than or equal to l?
False
Let d = -4225.43 + 4224.63. Let f = -2.01 - -2. Let h = f + -2.99. Do d and h have the same value?
False
Let y be (-6)/(-45) + (-22818)/(-18)*(-10)/950. Is y greater than or equal to -13?
False
Suppose -4*o + 19 + 76 = 5*j, 79 = 3*o - 4*j. Let a be 4/(-10)*(2*(-120)/32)/9. Is a >= o?
False
Suppose 3*s = -20 + 218. Let u = 74 - s. Suppose 1 = 7*l - u*l. Is -1/30 less than l?
False
Let c = 278 - -236. Let l = -551 + c. Which is smaller: l or -75/2?
-75/2
Suppose 0*x - 5*x - 5 = 0. Let k = 232/111801 + -7834025735/8608677. Let l = 910 + k. Is x not equal to l?
True
Suppose -3*m + 12 = 2*q, 4*q - 5*m + 30 = 10. Is -1/1116 equal to q?
False
Suppose -c + 6 = -2*v, c = 4*v + 4*c + 22. Let q = -30584/7 + 30557/7. Is v bigger than q?
False
Let l = -45.56644 + 0.09644. Let w = l - -23.48. Let q = 22 + w. Which is greater: q or -6?
q
Let m be ((-606)/80)/3 - 155/(-1240). Which is greater: m or -2/5?
-2/5
Let k = -0.24392 - 7.78728. Let h = -0.0312 - k. Do h and 7 have the same value?
False
Let o = 2/194433 + -5444602/46469487. Is o smaller than 1?
True
Let z = 7820 + 2931. Let n = z - 182907/17. Is -9 not equal to n?
True
Let a(r) = 46*r**3 - r**2 + 1. Let c be a(1). Let p = -44 + c. Suppose 0 = q - p*y + 1 + 3, q - 10 = -5*y. Does -3/23 = q?
False
Let z = -14399 - -1526297/106. Are z and 0 unequal?
True
Suppose 3*s - u - 5 = 0, -9*s + 10*s - 25 = 5*u. Which is greater: 1/3133 or s?
1/3133
Let a = 247528/75 + -9901/3. Let v(t) = t**2 - 3*t - 2. Let d be v(4). Suppose -d*g = -3*l + 4*l + 2, -l - 2 = 0. Is a at least g?
True
Let n = 6607 - 7595. Which is bigger: n or -989?
n
Let l be 1/((-3)/(36/4)). Let p = 14 - l. Suppose -p*w = -19*w - 10. Which is bigger: 3 or w?
3
Let k(u) = 6*u + 851. Let t be k(-89). Which is greater: 305 or t?
t
Suppose -57 = 4*i - 3*o, -2*o + 7 = -i - 11. Let g be (3 - (-56)/i) + (-2)/6. Let d be (5/30 + 0)*g. Which is smaller: d or -1/4?
d
Let g = 2887 + -2610. Which is bigger: 6 or g?
g
Let m = -47166/11 + 4286. Which is greater: m or -1/12?
-1/12
Suppose 44*h = 1492 + 4. Which is smaller: h or 81?
h
Let a(z) = -3*z**2 + 111*z + 2. Suppose -188 = -5*d + r, d + 14 - 63 = 4*r. Let p be a(d). Let u be (-49)/(-26) - (-1)/(-2). Is p greater than u?
True
Let o = -506.09 + 509. Let d = o - 0.91. Which is bigger: 3.8 or d?
3.8
Let b = 46602/791 + 284/113. Suppose 1 = -5*z + 26, 4*z = -2*k + 140. Is b > k?
True
Let t = -0.212 - 60.988. Let y = 61 + t. Let f = 402.8 - 403. Is f greater than y?
False
Let h(b) = -b**3 + 34*b**2 + 32*b + 287. Let f be h(35). Is f less than 3/5?
False
Suppose 4*k - 498 = 16*k + 210. Is k less than -0.48?
True
Let h be (0 + (-12)/18)*-18. Suppose -25 = -o + y + 2*y, 2*o + 3*y - 41 = 0. Let n = o + h. Which is bigger: 33 or n?
n
Let d = 1256 - 1831. Let x = d + 572. Is 5.1 at most as big as x?
False
Let m(c) = 2*c**2 - 11*c - 16. Let a be m(8). Suppose -3*p - p - a = 0. Let t(l) = 2*l**2 + 14*l + 9. Let k be t(p). Is k less than -15/7?
True
Suppose -40065 - 3440 = -791*u. Let o = -2 - -3. Which is smaller: u or o?
o
Suppose -j - 30249 = -5*f, -13*j + 18*j + 18123 = 3*f. Which is bigger: 6052 or f?
6052
Suppose 2*c - 4*w = c + 7, 3*c - 4*w = 61. Suppose 10*p + c + 13 = 0. Let u be -33 - 3/(-12)*p. Are u and -33 unequal?
True
Let r = -0.12 + -3.88. Let c = -3 - r. Let z = -61/33 + -16/33. Do z and c have the same value?
False
Let q be 428/260 - (-2)/10. Let r be (-10)/(-30) + (-3004)/1092. Let i = q + r. Which is bigger: i or -1?
i
Suppose -1675 = 183*n + 69*n + 83*n. Is 761 less than n?
False
Let b = -660.981 - 0.019. Let y = 511 + b. Which is greater: 0 or y?
0
Suppose -6*w = -7*w. Suppose 0 = -o - 2*g - 9 - 57, -2*o - 5*g - 130 = w. Is o greater than -71?
True
Let j(n) = n**3 + 116*n**2 + 446*n - 227. Let x be j(-112). Which is smaller: x or -171/44?
-171/44
Suppose 5*l - 48 + 53 = 0. Let n be l/(-4 + 132/32). Let g = n - -8. Which is smaller: -1 or g?
-1
Suppose -9*m + 173 = 38. Let u be (m - 5 - 9)*14/(-24). Is u >= -2?
True
Let l(p) = 11*p - 74. Let z be l(7). Let v be 1*z/(-45)*-5*19. Which is smaller: v or 0.2?
0.2
Suppose -2*s + 0*b - 4*b = 82, 2*s + 85 = -b. Let t(y) = 5*y**3 + y**2 - 3*y + 6. Let o be t(2). Let c = s + o. Which is greater: c or -2/15?
c
Suppose 2*l + 2*a + a - 643 = 0, 5*a - 304 = -l. Let f = l - 6253/19. Which is greater: f or 2/15?
2/15
Let n be (-8)/24 + (-14)/(-66). Suppose -3*k = -2*d - 20, -45*k + 6 = -44*k. Do n and d have the same value?
False
Let z = -37432 - -37554. Let o = 178 + -55. Which is bigger: o or z?
o
Let k = -2.3083 - -2.2083. Which is smaller: k or -4/675?
k
Let p(q) = -q**3 - 4*q**2 - 3. Let w be p(-4). Let a(t) = -25*t - 13. Let c be a(w). Suppose -5 = -5*m - 0*m, 4*m = -3*d + 184. Which is smaller: c or d?
d
Let b = -20 - -6. Let j = 59 - 74. Let c = j - b. Which is greater: -36 or c?
c
Let j(z) = 2*z**2 + 8*z. Let p be j(-4). Suppose p*d - 1 = -d. Let a be d/2 - (-5)/(-10). Which is bigger: a or 2/109?
2/109
Suppose 57 = 4*g - 11. Suppose -26*f = g*f - 559. Which is greater: 15 or f?
15
Let l = -6462/5 - -212956/165. Which is greater: l or -2?
l
Let o be (-754)/(-40)*-1 + (-15)/(-60). Suppose -376*t + 60 = -379*t. Is o at least as big as t?
True
Let w = -9962/133 + 807/19. Let k = 40668/1253 + w. Which is bigger: -1 or k?
k
Let s be 0 - -1 - 13209/(-39). Let u be ((-1140)/(-35))/(4 - (-574)/(-147)). Let h = s - u. Which is greater: -1 or h?
-1
Let n(m) = -m - 14. Let p be n(-19). Let g be p/(15/18) - 4. Suppose 0 = 5*o + g*o + 7. Which is greater: 1/14 or o?
1/14
Suppose 0 = 5*w + 15, -5*c = -2*w - 5 - 1. Suppose 0 = -2*g + 5*m + 14, -g = -c*g - 4*m - 10. Let s = -0.31 - -31.31. Are s and g equal?
False
Let u be -3 - -2*6/4. Let x be (6/(-24))/(u + (-164)/64). Which is greater: x or -3?
x
Suppose -540 = 5*o - 5*u, 32*o + 4*u - 541 = 37*o. Do o and -95 have different values?
True
Let b(z) = -z**2 - 5*z + 43. Let v be b(-9). Let t be ((-29)/(-5) - v)/(2/5). Is 3 less than or equal to t?
False
Let v(p) 