 big as i?
True
Let n(r) = -33*r - 397. Let i be n(-12). Which is greater: i or -1/1621?
-1/1621
Suppose 347*z - 144 = 343*z. Suppose 14*n - 132 = z. Is n < 21?
True
Suppose -g + 185 = -6*g. Let v = -12 - g. Let l be 19/(-65) - (-15)/v. Is l > 1?
False
Let g be (50/(-4))/(16/384*3). Is g greater than or equal to -91?
False
Let l = -2.25 - -148.25. Let o be ((-2)/42)/((-2)/14). Which is smaller: l or o?
o
Let o = -2878/587197 - -1/2657. Which is smaller: 1 or o?
o
Suppose -11*z - 602 = -0*z - 602. Let c be -2 + 4 - 10/12. Is z less than c?
True
Let i = -6966 - -7128. Which is greater: 159 or i?
i
Suppose 379*v = -3*v - 2292. Which is smaller: v or 528?
v
Let m = -1212.42 + 1213. Let d = -30.32 + 31. Let k = d - m. Is 1/5 at most as big as k?
False
Let d be 1007/3496 + (-6)/(-69). Let y = -41/152 + d. Let j be -2 + 0 + 2 + 1. Is y > j?
False
Let j be 13548/28 - (-42)/(-49). Which is smaller: j or 479?
479
Suppose -3*j = -2*n - 7, 4*n - j + 2 = 3*n. Let w be (150/1125)/(1/(-3)*(-2 - 3)). Which is bigger: w or n?
n
Let i = -1225 - -1273. Let g(j) = -j. Let d be g(0). Suppose -6*m - i - 144 = d. Which is smaller: -33 or m?
-33
Let y = 1984 + -1727. Which is smaller: y or 7/3?
7/3
Let z be 12/(((-93)/124)/((-6)/8)). Suppose 5*t - q + 8 = 3*t, -t + 3*q = 14. Let f(i) = -6*i + 1. Let h be f(t). Is z less than h?
True
Let m = 28 + -840. Let o be -2*1/7 - 274/m. Is -1 at least o?
False
Suppose -818*t + 8 + 2260 = 196*t + 120*t. Let p be 1/(-3) + 71/42. Which is smaller: p or t?
p
Let b = -0.12979 - -1.12979. Which is smaller: b or -1/420?
-1/420
Let s = -11566 + 11577. Which is bigger: -2/53 or s?
s
Let m be -1 + (-34706)/6 - (-650)/1950. Is -5784 less than m?
False
Let a be ((-1)/2)/(915/60 - 15). Let l(t) be the first derivative of -t**4/4 - t**3 - t**2 - t - 2. Let n be l(a). Is -2/9 bigger than n?
True
Let w = -33865 + 35396. Are w and 1532 equal?
False
Let o(l) = -3*l**3 - 3*l**2 + 2*l + 2. Let u be o(-2). Suppose 2*n + u = 4*n. Which is greater: n or -14?
n
Let l = 2125 - 2125.2. Is -21/5 smaller than l?
True
Let o be 14/(-560)*-24 + 203/(-5). Let l be (2/((-2)/(-3)))/((-180)/o). Which is smaller: 178 or l?
l
Let j be 1 + 5 + (-223 - -216). Let n = -0.06 - 1.14. Let v = n + 12.2. Which is bigger: v or j?
v
Let c be 3/69 + 336/(-322). Which is greater: 1/1005 or c?
1/1005
Let z(b) = 6*b**2 + 4*b + 4. Let j be z(-2). Suppose j + 0 = -2*q. Let g be 16/(-24)*q/(-12). Which is smaller: 0 or g?
g
Let p = 6.883 - -1242.117. Which is bigger: -0.1 or p?
p
Let s = 62/429 + 5/39. Suppose 2*h = -3*v - 6, 4*h - 8 = 5*v - v. Which is smaller: s or h?
h
Let p be 5 - (13 + (-49774)/6222). Which is smaller: -1 or p?
-1
Let p be (-754)/(-65) - 12 - -2*547/3010. Which is greater: 0.2 or p?
0.2
Suppose 75 = 3*l - 3*b, -5918*l = -5913*l - b - 73. Suppose 0 = -4*n + 2 - 18, 0 = 5*t - 2*n + 12. Is l less than t?
False
Let x = -1394 + 791. Let p = -602.5 - x. Is p greater than or equal to 12/11?
False
Let z be 28/2499*7439/4. Let u = 146/7 - z. Is u >= -1?
True
Let g be (5/(-6) - -1) + (-42353)/246. Suppose 2*v = 4*c + 690, 2*v + v = -c - 183. Which is bigger: c or g?
g
Suppose 565*z - 522*z + 8 = -35. Let c = 2280 - 298682/131. Which is bigger: z or c?
c
Let u(f) = -f**3 - 3*f**2 - 2*f + 2. Let x be u(-2). Suppose 2*d - z - x - 1 = 0, -4*z - 23 = 3*d. Do 73 and d have the same value?
False
Let n = -277 - -137. Which is greater: n or -144?
n
Let d(l) = 2*l**2 - 13*l + 24. Let m be d(7). Suppose -30*h - 2 = -m*h. Is 9/11 < h?
True
Let i be (-1823)/(-33)*3 + -2. Let c = i + -164. Which is greater: c or 5/3?
5/3
Let u(l) = l**3 - 82*l**2 - 81*l - 134. Let b be u(83). Suppose 0 = -3*v - v + 132. Is b > v?
False
Let x(v) = v**2 + 3*v - 6. Let h be x(-5). Let y(t) = 16*t + 3. Let g be y(1). Suppose -4*q - 21 + 9 = -h*o, 2*o = -3*q - g. Is -10/17 at least o?
True
Let s = -71.43 + 64.93. Is s at least 71?
False
Let a = -4 + 3. Let x = 71542 - 72077. Is x < a?
True
Suppose -w = 5*p - 74, 114 = 4*w + 3*p - 97. Suppose t = 3*s - w, -16 = 4*t - 0*t. Suppose -2*h = 3*h - s. Which is smaller: 5 or h?
h
Let m = 276396.8 + -276397. Let k = 3 + 2. Suppose -f = -k - 13. Which is smaller: f or m?
m
Let d be 2888/(-760)*12/7. Is d greater than or equal to -6?
False
Suppose -31*q = -2110 - 1331. Is 100 less than q?
True
Let r = -63 + 68.1. Let f = -0.8 - -6. Let d = f - r. Is d bigger than 2/11?
False
Let m be ((-12)/(-10) + 0)*(-30)/(-4). Let q = -7 + m. Let o be (1 - (q + 2/(-4)))*-6. Is 3 less than or equal to o?
True
Suppose 3*v = -2*z + 16, 47*v = 3*z + 50*v - 15. Is z < 0?
True
Suppose d = 6*d + 135. Suppose 0 = 63*m - 58*m - 635. Suppose 5*s = 4*t - m, -6*s + 5*t - 98 = -2*s. Is d greater than or equal to s?
True
Let d be ((-23156)/78)/(52/78). Let z = 445 + d. Which is bigger: -1/5 or z?
-1/5
Let y = 6100 + -6000. Which is greater: y or -3/4?
y
Let a = 261 + -124. Let r be ((-1622)/(-12) - (520/(-48) + 11))*1. Is a <= r?
False
Suppose -14*j - 14*j = -6*j. Suppose -3*z = 5*n - j*z - 17, 0 = 4*z - 16. Are n and 62 unequal?
True
Let l be 3*32/108*15/20. Is l bigger than -81?
True
Let c = -3731 + 5099. Is 1370 >= c?
True
Suppose 26*b - 496 = 28*b. Let s = 199 + b. Which is bigger: -52 or s?
s
Let c = -52606 + 14414023/274. Which is smaller: c or 1?
c
Let y be 8*102/60*(-3)/(297/15). Which is smaller: -1 or y?
y
Let v = 44.7 + -41.202. Is 2 greater than v?
False
Let u = -39 - -38.974. Let o = 8.026 + u. Let x = 3 - o. Is x != 2?
True
Let f = -230/21 + 32/3. Let t = -68 - -68.28. Let a = t - -14.72. Is a bigger than f?
True
Let a be (-180)/8*(-4 - -6). Suppose -2*n + 14*w - 81 = 15*w, 4*n - w + 159 = 0. Do a and n have the same value?
False
Let m = -925 - -916. Let n(j) = 2*j**3 + 19*j**2 + 20*j + 98. Let k be n(m). Which is bigger: 5.8 or k?
5.8
Let m = 2045.1 + -2046. Which is smaller: -0.58 or m?
m
Let p = -9383/6 + 2217/2. Let t = p - -456. Do -53 and t have the same value?
False
Let p(t) = 2*t**2 - 18*t - 3. Let u(o) = o. Let i be u(-16). Let b = i - -25. Let c be p(b). Does -7 = c?
False
Let k be (-3 - -1) + 2 + -5. Let h be (158/4)/((-8)/(-48)). Suppose 17*b - 33 + h = 0. Do b and k have the same value?
False
Suppose 0 = -i + 83 - 62. Suppose 10*q - 5*q - i = 2*r, 3*r + 6 = -q. Is r not equal to -11?
True
Let l be (-3 - -10) + 4537/(-10). Let b = -442 - l. Which is smaller: b or 4?
4
Let o(y) = -3*y**2 + 17*y - 12. Let x(c) = 2*c**3 + 26*c**2 + 2. Let w be x(-13). Suppose 0 = w*s - 18 + 6. Let f be o(s). Which is greater: 2/5 or f?
2/5
Suppose 0 = 2*x + 5*p - 57, 3*x - 4*p - 30 = -2. Let q = 44 - x. Let b = -33 + q. Which is bigger: b or -3?
-3
Let m be (5/(-2))/((-2)/76). Let i = -75 + m. Suppose -g = -i + 20. Is g greater than -15/14?
True
Let w = -162 - -162.091. Let p = 14.909 + w. Are p and 5 equal?
False
Suppose -p + 2*p + 3 = 0. Let h be -25*(6 + p)/(-15). Suppose -26 = -h*s - 16. Is -15 equal to s?
False
Let q be 1 - ((-102)/40)/(-3). Let a = -169 - -347. Let i = a + -178. Is i <= q?
True
Let r be 3/2*4/3. Suppose -l - r*l = -9. Suppose -16*q + 98*q - 1156 + 8 = 0. Is q greater than l?
True
Suppose 0 = -4*j - 3*u - 8454, 0 = 578*j - 581*j - 2*u - 6342. Which is greater: -2117 or j?
-2117
Let n(q) = 2*q**2 + q - 14. Let u be n(8). Let j = 16 - u. Which is smaller: j or -105?
j
Let q = 0 - -3. Suppose -k - 2*z - q = 3, -5*z = 25. Suppose -71*m + 146 = -106 - 245. Which is bigger: k or m?
m
Let w(v) = 8*v**2 - 20*v - 115. Let c be w(-14). Is 1733 >= c?
True
Let b(k) = -6*k**2 + k + 25. Let t be b(-2). Is -9/13 at least as big as t?
True
Let k be (-3)/(32/112 - (-422)/(-1526)). Let b = -232 - k. Let t be 1/(-4) - b/20. Which is greater: t or -3?
-3
Let s(p) = 0*p - 16 + p**2 - 3*p**3 + 17*p + 2*p**3 + 15*p + 6*p**2. Let d be s(10). Is d smaller than 84?
True
Suppose 0*j - j + 30 = 0. Suppose -j - 10 = -4*a. Let o = 6693 - 6684. Is o at most a?
True
Let a = 348012642476558083/10399543885447780 - -64/4751887535. Let s = a - -5/78161. Let y = s - 285/7. Which is bigger: y or -6?
-6
Let k = 106 - 104. Suppose -k*o - 4*j = 14, -2*o - 5*j - 5 = 13. Is 0.017 at least as big as o?
False
Let q be 6/14*(-8)/12. Let r = -0.00392 + -0.08608. Which is smaller: r or q?
q
Let j = -1647 - -2640. Let n = j - 435. Which is bigger: n or 559?
559
Suppose -9 = -2*o - 5. Let n be (25008/(-110))/