 y - -12662/11627. Which is smaller: 0 or t?
0
Let n be ((-148)/185)/((-6)/(-1185)). Is -154 at most as big as n?
False
Suppose 101*i - 105*i = -32. Let q be i - (6 - 531/(-265)). Which is smaller: 1 or q?
q
Let s be 3*16/(-360) + (-23585)/300. Is s equal to -78?
False
Suppose -52 = -4*f + m + 3*m, 2*m = -5*f + 100. Let h(s) = -s**3 - 7*s**2 - 6*s + 7. Let n be h(-6). Suppose n*a + f = 4. Which is smaller: a or -8/11?
a
Let v = 1689716244856296191169729059839435/70271707506 - 24045470144752400819366. Let w = v - -5/24665394. Let c = w + -4/1221. Which is bigger: c or -1?
c
Let a = -313.1 - -313.1. Which is smaller: -1586 or a?
-1586
Suppose 2*x + 781 = o, -14*o + 15*o = 8*x + 763. Which is smaller: o or 785?
785
Let a(q) = 2*q - 6. Let p(j) = -5*j + 18. Let w(b) = 8*a(b) + 3*p(b). Let u be w(-4). Suppose -1 = k - 2*l, u - 3 = 2*k - 3*l. Is k > -19?
True
Let q = -280.063 + 142.496. Let x = -137 - q. Let m = 0.067 - x. Is m at least 2?
False
Let y(c) = 3*c**2 - 10*c - 53. Let o be y(-8). Is 217 less than or equal to o?
True
Suppose 437 = -11*l + 46175. Let f be (l/45)/(-11) - -8. Let v = 46.33 + -0.33. Which is smaller: v or f?
f
Let u = -3260461/23 - -141726. Which is greater: u or -33?
-33
Let b be (-42)/35 + 70766/(-6120). Let v = b - -51/4. Which is smaller: v or -1?
-1
Suppose -16 = 15*r - 1. Let h(i) = -i - 38. Let s be h(17). Let p be 33/s - ((-54)/34 + 1). Is p at least r?
True
Let t be (-1 - (-167 + -3))/((-10 - 1)/11). Does t = -164?
False
Let k = -151/33 + 14/3. Let i(z) = z + 22. Let t be i(0). Let j = t - 22. Do j and k have different values?
True
Let b = 0.00593 - -0.29407. Are -2195 and b nonequal?
True
Let z = -22 - -12. Let b = 71/43 - 1151/645. Which is smaller: b or z?
z
Suppose 240 - 501 = 7*g - 254. Is g > -6/367?
False
Let o = -0.3802 + 2.3802. Which is smaller: o or 1279?
o
Let w(x) = -168*x + 1024. Let l be w(19). Which is bigger: -8667/4 or l?
-8667/4
Let q(n) = -3*n**3 + 20*n**2 + 11*n + 3. Let w be q(7). Is 24 greater than w?
False
Let o(i) = 4*i**2 - 34*i + 147. Let s(k) = -k**2 + 9*k - 37. Let r(l) = -2*o(l) - 9*s(l). Let m be r(6). Suppose 5*y - 12 = 3*y. Which is greater: m or y?
y
Let v = -4910 - -4910. Which is smaller: 4514 or v?
v
Let c = -138 + -49. Let o = -187 - c. Which is bigger: -8/5 or o?
o
Let t = -193/28 - -65/28. Let l = t + 71/14. Are l and -147 nonequal?
True
Suppose 2 = -3*c + 35. Suppose -12 = c*m - 14*m. Let z be -1 + m + 6/(-3). Which is smaller: 3/14 or z?
3/14
Let h(w) = -96*w - 44. Let q be h(1). Are q and 38 non-equal?
True
Let h = 99.5 - 46.8. Let q = -51.7 + h. Is -0.09 < q?
True
Let g(k) = -13*k - 19. Let o be g(-6). Let y = o - 59. Suppose h + 3*h + h = y. Which is greater: -6/13 or h?
h
Let m = 10084.6 - 9980. Which is smaller: 0.1 or m?
0.1
Suppose -21*s = 210 - 0. Let c be ((-5)/3)/(0 - s/(-18)). Is c < -2/7?
False
Suppose -9*o + 4*o = -20. Let n(h) = -h - 3 + o + h + h. Let f be n(0). Which is smaller: f or 1/8?
1/8
Suppose 5*p = 2*n - 65, 38 = 152*n - 149*n + p. Let k = -15 + 30. Is n equal to k?
True
Let v = 962786998/57 + -16891476. Let j = v + 476. Suppose 7*u - 1 = 8*u. Is j <= u?
False
Let l(h) = -4*h + 1. Let p be l(1). Let x be (8 - (-25)/p) + (-38)/(-6). Is x >= 58/9?
False
Let j = -1755 + 2165. Let n be 46 + (-2*2 - j/(-82)). Suppose -141 = -3*v + 2*k, -v - 3*k - 2*k = -30. Which is smaller: v or n?
v
Let y = -34966 + 34966.2. Suppose -z - 20 = 73. Do y and z have the same value?
False
Let q = 3046 + -82262/27. Let l(n) = 3*n**2 + 407*n - 3600. Let o be l(-144). Which is smaller: o or q?
q
Let p = 0.32585 + -0.12585. Is p smaller than -5032?
False
Let r be 6 - (-41)/(-7) - (-125)/7. Suppose r = 4*m - 46. Suppose -5*f + 4*l = -92, 23 = 2*f + l + 2*l. Is f > m?
False
Let u = -20449 - -61349/3. Suppose 5*w - f - 814 = 0, 5*w - 5*f - 648 - 182 = 0. Which is greater: w or u?
w
Suppose 109*d + 612 = 121*d. Let i = 53 - d. Which is smaller: 42/31 or i?
42/31
Let h(x) = -7*x - 10. Let y be h(-2). Let q be (y/2)/(46/299). Which is smaller: q or 9?
9
Let d = 53.66 + -24.66. Is 4 less than d?
True
Let w be (2 + 1 + -1)*(-19 - (-4642)/264). Let y be 0/2 - 4 - -2. Which is smaller: w or y?
w
Let y = -4784/7 + 683. Suppose 0 = -n + 13 - 11. Suppose 0*d - 2 = 2*d + 2*l, -n*l = -4*d - 4. Is d < y?
True
Let x = 779.8 - 780.02. Are 177 and x equal?
False
Let v = -233 + 380. Let o = v - 145. Is 6.6 greater than o?
True
Let h be (2/(-9) - 49/(-315))*6. Is h less than -702?
False
Let a(o) = -o**3 + 11*o**2 + 10*o + 4. Let k be a(12). Let p be (8/20)/(1/k). Let w be (-1)/5*(56 - 21). Is p at least w?
False
Let x = -62 + 72.6. Let m = x + 48.4. Let q = m + -59. Does q = -4?
False
Suppose -u - 4 = -2. Let n be 428/12 - u/(-3). Suppose -4*j + 16 = -4*o, -5*j + 5*o - 8*o - 12 = 0. Which is smaller: n or j?
j
Suppose 18*s = -38*s - 112. Is -1474 greater than s?
False
Let m = 14.522 - 14.3. Let n = m + 0.988. Let w = -1.27 + n. Is w bigger than -1?
True
Suppose 8 = 8*b - 16. Suppose 0 = b*o - 38 + 23. Suppose 4*g = y - 0*y - 13, -y - o*g - 14 = 0. Which is greater: y or -1/62?
y
Let w be ((-1)/10)/((-2)/5). Suppose -o + 0*o - 9 = 0. Let q be (162/(-42) + 3)/(o/105). Which is smaller: w or q?
w
Let d(p) = p**3 - 3*p**2 - 13*p + 23. Let m be d(5). Suppose -m = v - 3*v - 2*f, -f + 19 = 4*v. Are 2 and v non-equal?
True
Let z = -2.79 - 17.31. Let s = -28 - z. Let n = s - -2.9. Which is smaller: n or -0.2?
n
Let y(v) = -2*v**2 + 8*v + 2. Let j be y(-1). Let g be 76 - (0 - (-7 - j)). Is g != 78?
True
Let y = 19422 - 19427. Let v = 23 - 14. Let t = 4 - v. Is y smaller than t?
False
Let d = 218 + -108. Let v be ((-1085)/10)/((-4)/(-16)*-4). Which is greater: v or d?
d
Let z = -129 - -134. Let q be (300/36 - z) + 1 + -5. Which is bigger: q or -1/53?
-1/53
Suppose 53*w - 49*w - 64 = 0. Suppose 23 + 9 = -w*i. Let p(z) = -z - 5. Let d be p(-3). Is i less than d?
False
Let l = -60 + 100. Let c = 49 - l. Let m be 18/c - 1*5. Do 0.1 and m have different values?
True
Let o be 1*(25/5 - 3). Let d = o - 42. Let a be (-14)/d + 39/(-65). Is a smaller than -11?
False
Let h be (-14)/8 + (-17)/(77248/(-10640)). Is 0 at least as big as h?
False
Let u be 6/(-10)*(-21 + 26). Suppose -5 = -9*g + 14*g. Does g = u?
False
Let n = 2852 - 2807. Suppose -6*o = -o - 4000. Let b be -2 - (o/n)/(-8). Is 0.11 not equal to b?
True
Let y be ((-13572)/1500 + 9)/((-246)/20). Which is smaller: y or 0?
0
Let p = 35.5 + -35.61. Let o = 0.21 + p. Which is smaller: o or 89/4?
o
Suppose 21*j - 2 = 22*j. Let l be (63/(-18))/(6 - (-52)/(-8)). Which is smaller: j or l?
j
Let q be (-4)/18*-1 - 662/(-18). Suppose 7*d - 12 = q. Suppose d*b + b = 128. Which is greater: 17 or b?
17
Let g = -677/9 - -75. Let o = 381 - -258. Let a = o + -611. Which is smaller: g or a?
g
Let t = -6268 - -6279. Which is smaller: t or 388?
t
Let r = 17 - -32. Let h = r + -149/3. Let l(d) = d**3 + d**2 - d + 1. Let m be l(0). Is m greater than h?
True
Let t be (12/(-8) - -1)*0. Let w be 4*(t + (-27)/24)/(-12). Suppose -24*r = -21*r - 3. Are r and w unequal?
True
Let v(j) = j**3 + 13*j**2 + 18*j + 110. Let w be v(-12). Let z be 228/57*w/(-4). Which is greater: -36 or z?
-36
Let x = -34.62 - -35.8. Let v = -26/15 + 7/5. Which is smaller: v or x?
v
Let t be (-446)/(-30) + -10 - (-15)/(-3). Which is smaller: t or 0.018?
t
Suppose -9*d = -11*d + 6. Suppose -3*z = 3*s, d = -5*s - 4*z - 0. Let v be (70/(-24) - -3)/((-1)/s). Does -1 = v?
False
Let t = -461.494 - -461. Let m = t - -0.814. Is m > -3/5?
True
Let s = -4610 + 4609. Is s at most as big as 1/1034?
True
Let o(c) = -13 - 5*c - 52 - 12 - 2. Let s be o(-16). Does 1 = s?
True
Let x be (32/(-12))/4 - (-16)/(-12). Let j be 50/(-54) + 1*(-2)/x. Let k = -22 + 21. Is k bigger than j?
False
Let z = -32 + 34.3. Let c = z - 0.4. Let x be -5 - (-5 + (-5)/20). Which is bigger: c or x?
c
Let t = 172682 - 172681. Let s = 2/21319 + 41588/11192475. Which is greater: s or t?
t
Suppose -81 = -2*s - 41. Let f be (-2)/s - 18746/140. Let z = f - -45. Are z and -89 equal?
True
Suppose -3*n = 2*n + 20. Let s = 4 + n. Suppose 277 = -23*k + 300. Is s <= k?
True
Let q be 2/3 + 160/(-6). Let f(t) = 8*t + 46. Let s be f(-6). Let a = q + s. Is -29 <= a?
True
Let o(j) = -j**3 - 10*j**2 + 10*j - 11. Let q be o(-11). Suppose q = -4*t + t. Suppose 2*f - f - 