
Let u = 1 + -2. Suppose 7*v - 552 = -1399. Let a = 727/6 + v. Is u at least as big as a?
False
Suppose 3*c - 2*z = -3*z - 11, 4*z = -5*c - 30. Let x = -18 + c. Let m be -3 + (-6)/(-2) - (-2)/6. Is m at most x?
False
Let x = 0.18 + -0.51. Let d = 161.57 + -162. Let k = d - x. Do 10 and k have the same value?
False
Let z = -352/705 - -14/141. Which is bigger: z or -1.839?
z
Let t = -247 - -259. Suppose q - 4*q = -3. Let k be (t/1908)/(q/3). Are -1 and k equal?
False
Let h = -773.4 + 865. Let v = h - 101. Is -0.1 less than v?
False
Let y = -1 + 0. Let g = -326 - -451. Let u = -257/2 + g. Which is bigger: u or y?
y
Let f(m) = -m**3 - 3*m**2 + 3*m - 2. Let q be f(-4). Suppose -q*r + 818 = 5*l, 2*r = 4*l - 2*l - 316. Is 163 less than or equal to l?
False
Suppose 0 = 13*d - 15*d - 10. Let a be d - ((5 - 4) + -4). Let v be 1/a*14/(-161). Is v >= 0?
True
Suppose -t + 4*n = n - 67, 0 = t + 5*n - 99. Suppose -2*i + 141 = 5*w, -2*i = 2*w - 0*w - 150. Let v = i - t. Which is smaller: v or 1?
v
Let z = 16.5 - 8.4. Let m = -8 + z. Is m greater than or equal to -44?
True
Let i = 56648 + -56704. Let f = 63 - 127. Does i = f?
False
Suppose -3*x + 5*q - 32 = 0, -9*q - 10 = -7*q. Is x less than -227/12?
True
Let x = 1300315/4 - 325078. Let u = -1 - -1.35. Which is smaller: x or u?
u
Let l be 9/(-9) + 1 + 290/2. Let n = l + -150. Is n > 0?
False
Let q = -16085 - -16086. Which is smaller: 1/524 or q?
1/524
Let z = -111090 + 111112. Let x = 64 + -16. Let h be ((-10)/4)/(-5)*x. Which is greater: h or z?
h
Suppose 0 = 592*d - 159 + 751. Which is bigger: 35/941 or d?
35/941
Suppose 0 = -i - 2*u - 0 + 6, -i + 4*u = 0. Suppose -2*c + i*c = -2. Which is greater: c or 1/141?
1/141
Let j(k) = 3*k**2 + 22*k - 14. Let y = -76 + 68. Let t be j(y). Suppose t*a + 11 = 33. Is a bigger than 12?
False
Let o = 697 + -675. Suppose -5*s + 17 = 3*c + o, -s = 1. Which is smaller: c or 1/155?
c
Suppose -60 = -3*x - 5*q, 3*x - 2*q - 15 = 24. Let r(g) = -2*g**3 + 9*g**2 + 8*g - 2. Let v be r(5). Suppose -39 + 208 = v*l. Which is smaller: l or x?
l
Let l = 415/254 + -800417/490982. Is l less than or equal to 1?
True
Let k = -1.18 + -85.82. Let c = 162 + k. Let i = -864 + 3455/4. Which is smaller: c or i?
i
Let y be -6 - 3*(-4 - -3). Let z be 0*5*y/(-60). Suppose -6 = 12*a - 15*a. Which is greater: a or z?
a
Suppose -s - 2*s = -15. Suppose 4*v - 5*i - 115 = 8, s*v - 4*i - 165 = 0. Let q = v + -43. Is q > -6?
False
Let z = 4.75 + -4.726. Let v = z + 0.076. Let x = -5 + 5.6. Is v less than x?
True
Let v = -1469488/597439 - -3/16147. Which is smaller: -3 or v?
-3
Let x = 14993/80081 - -5/1097. Let u = -28 + 28. Does x = u?
False
Let m(o) = 22*o**2 + 89*o - 84. Let u be m(1). Let i(k) = -k**2 - 10*k + 3. Let y be i(-6). Is u not equal to y?
False
Suppose -11 + 1 = 10*s. Let l be (0 - -2)*s/(-2). Is -2 less than l?
True
Let u be 5243/1470 + 5/6. Suppose 9 = 3*s + x, 57*x = 61*x. Is s at most as big as u?
True
Suppose -x - 6806 = -31*x - 23786. Is 6 > x?
True
Suppose 4*m + 14491 = s, -99*m = -102*m - 4*s - 10873. Is -3625 bigger than m?
False
Let n be 1*4/5 - 329/455. Let i(f) = -f**3 - 4*f**2 - 3*f - 1. Let q be 1*(-2 + -4) - -3. Let y be i(q). Which is bigger: y or n?
n
Let p(c) = -94*c**2 + 31*c + 101. Let b be p(-5). Which is smaller: -2405 or b?
-2405
Suppose 603 = 7*j - 545. Let t(q) = -66*q + 2. Let s be t(-2). Let n = j - s. Which is smaller: n or 32?
n
Let r be 1090/20 - 1/(-2). Let t = 190 - r. Let g be (-8)/6*(-3 - t/(-42)). Which is bigger: g or 3/5?
3/5
Let x = 27795 - 27750. Is x smaller than 18?
False
Let j be (-6304)/160 + 4/10. Let a be 2/3 + 4/((-36)/447). Let z = -89 - a. Is j at least z?
True
Let y = 53.9 - 55.7. Let a = -6 + 1. Let m = 6 + a. Which is bigger: m or y?
m
Let j = 378 + -375. Suppose 2*i + 205 = j*z, 2*z + 41 = i + 146. Is i greater than -96?
True
Suppose -x - 6*f + 7*f = 16, x = -3*f. Suppose -20 = 2*g - 7*g. Let z = -6 + g. Is z smaller than x?
False
Suppose 3*l + 8455 = -d, 5*l + d + 82 + 14011 = 0. Which is smaller: -2820 or l?
-2820
Let p(u) = -8*u**2 + 2*u**2 + 289 + 3*u**2 + 4*u**2 - 54*u. Let w be p(6). Is w != -0.13?
True
Let g be (-86)/(-4)*(2 + 0). Let b be (3/(-2))/((-6)/(-176)). Let h = b + g. Which is smaller: h or 3/11?
h
Let s be (2 + 0 - 12 - 1) + 10. Which is greater: -1/8847 or s?
-1/8847
Suppose -115*k - 5 = -116*k. Suppose 33 = k*j + 3. Are j and 46/9 non-equal?
True
Let d = -10443 - -10443.09. Which is smaller: d or -376?
-376
Let q = -13532 - -13371. Is -145 < q?
False
Let y(s) = -43*s**2 + 30*s + 184. Let x be y(-6). Which is greater: x or -1550?
x
Let l = -0.31 - -0.3. Let y = 36212.26 + -36211.8. Does l = y?
False
Let y(q) = 14*q - 1340. Let d be y(-33). Is d smaller than -1802?
False
Let l = 7366 + 3039. Is 10405 greater than l?
False
Suppose 2*f + 3*m - 44 = 73, 3*m + 198 = 3*f. Suppose -49 = 28*i + f. Let l be -3 - 1/(-2)*0. Which is greater: l or i?
l
Let p be ((-247)/(-39) - 7)*51/(-26). Let u = p + -72/65. Which is smaller: u or 26?
u
Let n = -5260/6853 - -66/89. Is n less than or equal to 5?
True
Let j = -169 - -75. Let f = 103.2 + j. Let n = f + -8.2. Which is bigger: n or -0.1?
n
Suppose 1121*r = 1189*r - 215900. Is 0.2 at least r?
False
Let b(d) = d**2 - 26*d + 7. Let c be b(26). Suppose -4*f + 3*t + 20 = -t, 5*f = -t + 13. Suppose j = 4*n + 9, 4*j - 2*j = 3*n + f. Is j != c?
True
Let u(s) = 65*s**2 - 161*s + 6. Let z be u(6). Is 1383 bigger than z?
True
Let k = -447 + 177. Let o = k + 262. Which is smaller: -9 or o?
-9
Let m = 1895723/475 - 3991. Suppose 0 = -3*o + 5*o. Which is smaller: m or o?
m
Suppose 3*l - 237 = 2*j, 2*j + 0*j = -2*l - 242. Let m = -257/2 - j. Which is bigger: 4 or m?
4
Let f be 6/4*1/(-3)*(-64)/(-32). Suppose 158 + 32 = q. Let k be 3 - (q/(-8))/(-5). Is k > f?
False
Let v = 0.054 + 0.986. Let x = 1154 - 1153.06. Let r = v - x. Is r > 1/13?
True
Suppose -6*d + 165 = 3*c, -3*c = -4*d + 7*d - 87. Let s be 72/(-26)*(-39)/d. Which is smaller: s or -0.1?
-0.1
Let k = 2593 - 2536. Let q(a) = -a**3 + 7*a**2 - 4*a - 7. Let c be q(6). Suppose -c*t + k = -4*z - 31, 4*z + 120 = -3*t. Which is smaller: z or -28?
-28
Suppose 30*f = 25*f + 15. Suppose f*s = 2*p + 2*s, -5*s = -2*p - 8. Let z(i) = -i**3 - 6*i**2 + i + 7. Let x be z(-6). Is x at least as big as p?
True
Let l = -0.04077 - 2640.95923. Is -0.2 bigger than l?
True
Let k(z) = -2*z**2 + 21*z - 18. Let o(r) = -2*r**2 + 20*r - 18. Let q(l) = 2*k(l) - 3*o(l). Let a be q(8). Suppose a*t - 9 - 1 = 0. Which is smaller: t or 3?
3
Let o = 3.067 - 2.93. Let p = 4.763 + o. Which is smaller: p or -1/2?
-1/2
Let a = -0.11646 - 99.61354. Let w = 0.73 + a. Let l = -100 - w. Is l at most as big as 4/13?
True
Let x be (-17*(-99)/2805)/(1/265). Which is greater: 170 or x?
170
Let c = 1 - -1. Let s = -186 - -204. Let b be ((-84)/(-18) - 4)/(16/s). Which is smaller: b or c?
b
Let q = 0.13 - 3.13. Let b be 1/(-3)*(-8 - (9 - 14))*-45. Is q at most as big as b?
False
Let l(a) = 236*a - 944. Let t be l(4). Which is smaller: t or 1/1165?
t
Let z = 690/247 - 56/19. Is z less than or equal to -1452?
False
Let c = 30742 + -30591. Is c not equal to 72?
True
Let f be -1 - 212435/25 - -8. Let u = f - -8451. Which is smaller: -40 or u?
-40
Let x be 1057/2*18/(-66)*(-40)/(-30). Which is greater: -193 or x?
x
Let q be -2 + -2*3/(12/(-4)). Suppose -4 = -i - q*i - 5*g, 4*i - 5*g - 66 = 0. Is i smaller than 13?
False
Let v be (0/(-4) - -103) + (9 - 18 - -13). Which is bigger: v or -48?
v
Suppose -4*f - 297 = -41. Let c = -385/6 - f. Is 1.2 greater than or equal to c?
True
Let c = -2.589 + 4.589. Let o = -500/3 - -170. Which is greater: o or c?
o
Let s = 62.942 + -63. Let q = -2.978 - -3.32. Let o = s - q. Are o and 2 unequal?
True
Let r be -975*1 - (14 - 9). Which is greater: -981 or r?
r
Let t be -18 - -2 - (-81 - -200). Which is smaller: t or 4/3?
t
Let i be (44/3)/(((-234)/27)/13). Let k be 15/(-9) - i/15. Suppose 10*w = 5*w + 15, 4*s - w + 3 = 0. Which is smaller: s or k?
k
Let l(h) = 162*h + 976. Let v be l(-6). Is v greater than -90?
True
Let h = 1263 - 639. Let r = h + -701. Which is greater: r or -1?
-1
Let v(o) = -o**2 - 10*o - 12. Let d be v(-10). Let c be (-1*12/18)/(d/(-39)). Which is smaller: -2 or c?
c
Let x(d) = -8*d + 120. Let h be x(30). Let s = 119 + h. Which is smaller: -3