/14
Let x be 1 - (424/14 - ((-68)/8 - -8)). Which is smaller: -30 or x?
-30
Let j = -90.02222 - -0.21222. Let a = j - 0.29. Let l = 18.1 + a. Is 0.1 smaller than l?
False
Suppose 3*z = 4*c - 7015, 0 = -4*c + 2*z + 3953 + 3061. Do 1755 and c have the same value?
False
Let t(k) = -3*k**2 + 9*k - 6. Let p be t(6). Let i be (-5)/25 - (-2418)/40. Let y = p + i. Which is smaller: y or 13?
y
Let i = 90471/4903387 - -9/7999. Is i > 0?
True
Let t(j) = 54*j**2 - 328*j - 1265. Let q be t(-4). Is 916 at most q?
False
Let u be 6 - (-1 + -1)*-1 - 3. Let j = -1220354413/297 - -4108942. Let t = -50/11 + j. Is t < u?
True
Let r be 1816/(-1832) - (-6)/9. Let f = r + -2/229. Which is smaller: 2 or f?
f
Let p = 1225708/2555 + -2398/5. Let w = 1/73 + p. Let m be 9/21*(3 - (-64)/(-40)). Which is smaller: w or m?
w
Let k(c) = -2*c + 19. Let p = -53 + 63. Let m be k(p). Let r be (-279)/81 + (0 - m) + 2. Is r <= -0.2?
True
Let h(v) = -2*v. Let m be h(-8). Suppose -13*s + 9*s = -m. Suppose -2*u + r = -r + 2, s*r = 3*u - 1. Which is smaller: u or -2?
u
Let r = -143 + 129. Let k be (-133)/9 + (-12 - -13). Is r smaller than k?
True
Let t(n) = -102*n**2 + 2*n - 5. Let z be t(-2). Suppose 55*s - 64*s = 3762. Is z bigger than s?
True
Let r = 0.067 + -0.1404. Let z = r + -15.9266. Does 0.01 = z?
False
Let i(m) = -m. Let a be (-1*2)/(2 + -3). Let t be i(a). Suppose -157*x + 129*x - 185 = 11. Which is smaller: x or t?
x
Suppose -124319 = 34*s - 34831. Is 1 less than s?
False
Let r = -3540 + 3577. Which is bigger: r or 261/7?
261/7
Suppose -18 = 2*u - 66. Suppose 2*m = -4*v - 2*m + u, -m + 5 = 0. Let g = -63/2 + 1303/42. Do g and v have the same value?
False
Let s = 14546 - 14781. Are -213 and s equal?
False
Let k = -20663 + 20644. Which is smaller: -118 or k?
-118
Let c = 4606 + -4607.9. Which is greater: c or -216?
c
Suppose 3*o + 0 = -4*n - 1, -n - o = 0. Let f be ((n - -3) + (-36)/19)/(-2). Suppose 0 - 3 = -3*x. Is f < x?
True
Let c be (-128715)/63 + (168/49 - 4). Let f = -2069 - c. Which is bigger: 0 or f?
0
Let q = -477155/124 + 3848. Is 0 bigger than q?
True
Let h = -26304873821123962/38065 - -691051459854. Let y = 2/7613 + h. Which is greater: -47 or y?
y
Suppose 0 = -27*p - 13*p + 60*p. Is p > 11/351?
False
Let d(t) = 3*t**3 - t**2 - 2*t + 3. Let x be d(1). Let p(q) = -77*q + 20. Let v be p(x). Does v = -211?
True
Let t be -3 + 4 + 2 - -5. Suppose -12 - t = -4*b. Suppose 6*v + 198 = -b*v. Is v <= -19?
False
Let t be (7 - (-11448)/(-40))*120/(-16). Which is bigger: 2093 or t?
t
Let v be (((-1032)/544)/(-43))/((-18)/16). Which is bigger: -9 or v?
v
Let h = -4835/66 - -14/33. Suppose 20*q = 33*q + 949. Let m = h - q. Are 2 and m nonequal?
True
Let j be 57*(-3)/(90/(-16)). Let p = 31 - j. Suppose -14*v + 91 = 63. Is p less than v?
True
Let v = -461.18 + 432. Let t = 0.18 + v. Let u = 46/87 + 4/29. Is t > u?
False
Let j be (299/1)/(53/(-5512)*-8). Which is bigger: j or 3885?
j
Suppose 69 = -3*x + 711. Suppose 49*h - 12526 + 2089 = 0. Which is bigger: x or h?
x
Let z = -10 + 5. Suppose -32*n + 18*n - 28 = 0. Let g be (-15)/3 + 3 + n. Which is smaller: z or g?
z
Let p = -19.7 + 45.7. Let x = p + -26.2. Is x greater than or equal to 2/107?
False
Let o(m) = 7*m + 65. Let g be o(18). Let c = g + -142. Which is smaller: c or 50?
c
Let q = 54 - 41. Suppose q*k - 17 = 35. Suppose -o + 2 = -s, 5*s + 2 = -k*o + o. Are o and 3 equal?
False
Suppose 304*k - 4404824 = 30*k. Is k equal to 16075?
False
Suppose 89*u - 93*u - 12 = -4*v, 2*u - 10 = -2*v. Let k = 1673/3 + -530332/951. Which is smaller: k or u?
k
Suppose -116 - 160 = 6*g. Let x = g - -35. Let n be 2/x - (-208)/176. Do n and 12/7 have different values?
True
Let u(n) = n**2 - 13*n + 39. Let o = -159 - -167. Let f be u(o). Which is bigger: -6/47 or f?
-6/47
Let j be -2 + (-5 - 65/(-9)). Suppose -g = 3*a - 5, 2*a - 3*g = 2*g - 25. Suppose 2*z + 4*i + a + 6 = 0, 0 = -3*z + i + 5. Which is smaller: z or j?
j
Let b = 157/461 + -474895/1390376. Is -1 < b?
True
Suppose 3*a + 0*a = -5*y + 2, 5*y - 10 = -5*a. Let r be y*((-4)/(-2) + -3) - -140. Let x = r + -2700/19. Which is smaller: x or 0?
x
Let r be 24/(-28) + 24360/27391. Which is smaller: -1 or r?
-1
Suppose -5*k = 10*k + 570. Let t be -7*(-54)/(-63)*(-1)/k. Which is smaller: t or -1?
-1
Let h(o) = -o**2 + 40*o + 20. Let f be h(29). Let t = -308 + f. Is 38 at most as big as t?
False
Let q = -1.6 + -2.97. Let b = q - -4.67. Which is smaller: -5/7 or b?
-5/7
Suppose 112*v - 30 = 55*v + 59*v. Does -63/4 = v?
False
Let w = 7060649067/768859 + 545/45227. Let l = w - 9186. Is l bigger than -2?
False
Let z = 0.25773 + -0.29773. Which is bigger: z or 1364?
1364
Let j be 547 + 5*(2 + 136/(-40)). Is j less than 5?
False
Suppose -5*o = 4*q + 4, -o + 2 = -5*o - 2*q. Suppose -4*u + 22 = 2*t, -4*u + 21 = t - o*t. Suppose -28*j + 30*j - 14 = 0. Is u at least as big as j?
False
Let u be (496/(-78))/(-8) + -1. Suppose 5 = -8*f + 5*f - 2*d, 7 = -f - 2*d. Which is bigger: f or u?
f
Let z be ((-140)/8)/((-18)/(-333)). Is -325 smaller than z?
True
Let n(p) = -2*p**3 - 9*p**2 - 18*p - 11. Let q be n(-2). Let w = -3/64 - -1999/320. Which is greater: w or q?
w
Let i be 13291/6647 - 9*(-18)/(-81). Is i at most 0?
True
Suppose 2*y + 434 + 4 = 4*d, -3*d - 5*y + 309 = 0. Suppose 2*a + 5*p + 321 = 5*a, -3*a - 3*p = -321. Which is greater: d or a?
d
Suppose 2*s + 6*s = 4*s. Suppose -5*n - j - 42 = -3*j, s = 2*n - j + 16. Let z = n + 11. Which is smaller: 22 or z?
z
Let g = 4256.09 + -4256. Let s = 0.3 + -0.2. Which is bigger: s or g?
s
Let w = -894 + 838. Is -337/6 at most as big as w?
True
Let i be ((-4)/10)/((-19)/9880). Suppose 5*n + 15*a - 558 = 12*a, -2*n - 5*a + i = 0. Are n and 114 equal?
True
Let w = -342.35 - -294.104. Let z = w - -0.246. Which is smaller: -2/9 or z?
z
Suppose 1159*p = 2*z + 1163*p + 220, z - 4*p + 92 = 0. Which is smaller: z or -90?
z
Let x = -355 - -231. Let n be x/6*1/(-2). Let i be (-7)/((-28)/36)*1. Is n at most as big as i?
False
Let p = -15257471/9609630 + 2/252885. Which is smaller: -3 or p?
-3
Let h = -1863627/40 - -390159/8. Which is greater: 2179 or h?
h
Let y = -124 - -129. Suppose 45 = -5*f + y*h, -3*f - 28 - 20 = 4*h. Let p = -1 - 9. Which is smaller: f or p?
f
Let h be (5 - 0)*(14 - (7 + 6)). Let s be 1 + h + 11/(209/(-130)). Is s < 0?
True
Let i = 77/1695 + -17267/245775. Is i > 0?
False
Suppose 4*k = -69 + 109. Let n(z) = 2*z + 15. Let a be n(k). Let i = 33 - a. Which is smaller: -7/4 or i?
i
Let g = -261 - 2401. Let m = 5217/2 + g. Which is bigger: -54 or m?
m
Suppose -118 - 138 = -4*b. Let i be (-288)/b*4/82. Which is smaller: -1 or i?
-1
Let n be ((-1)/(-2))/((-2)/(-4)). Let r = 4776593/37485765 - 152/38685. Let w = r - 4/323. Are w and n nonequal?
True
Let a = -37788.1372 + 37802. Let y = 0.0128 - a. Let q = y + -0.15. Which is smaller: 1 or q?
q
Let v = 19677 + -11260. Is v greater than or equal to 8417?
True
Let h be (10400/(-8))/(4 + -5). Suppose -8*u = h - 492. Is u <= -101?
True
Suppose 6*t + 1 = -4*r + 7*t, -3*r - 3*t = 12. Are -2/34845 and r unequal?
True
Let w be 4*(4/34 + 600/(-1632)). Which is smaller: -3/25037 or w?
w
Let l be (-61621)/9 + (568/5964 - (-20)/(-63)). Is 2/7 at least l?
True
Let l = 6.72 + -0.12. Let m = l + -2. Let c = m + -4.8. Do c and -1 have different values?
True
Let h = -909 + 1410. Let n = h + -237. Let y be n/(-18)*3/2. Which is smaller: y or -23?
-23
Let x = 0.09 + 0.11. Let v = 229.33 + -231. Let w = 0.97 + v. Which is greater: x or w?
x
Suppose -975*g + 969*g - 990 = 0. Let b be -2 + (-22)/g*-9*34. Is b bigger than -43?
True
Let z = 271 + -270.902. Let s = -0.098 + z. Let u(y) = -y**3 + 5*y**2 + 2*y + 2. Let r be u(5). Is r greater than s?
True
Let h be (-2)/8*(-96)/8. Let d be h/(-6) + (-94)/4 + 2. Which is greater: d or -23?
d
Let h(k) = -22*k**2 - 2869*k - 298. Let q be h(-120). Is q equal to 27182?
True
Let d = -1 - 6. Let q = -5.7781 - -1.7781. Which is smaller: d or q?
d
Let u = 28.1 - 53.4. Let v = 205.7 + -215. Let g = v - u. Which is smaller: 2/5 or g?
2/5
Let b be (-2)/66*-3 + 10 + 82740/(-825). Which is smaller: -2 or b?
b
Suppose -168*a + 311*a + 75015 = 158*a. Which is greater: 5002 or a?
5002
Let z be 9/15*(-11 + 46). Is z smaller than -1?
False
Let q = 1 - -1. Suppose 210 = 66*v - 56*v. Let x be 12/v - (-11)/(38