bigger: -13 or v?
v
Let z = -929 - -930. Let f be 1/(-4) - 39/324. Let d = f + 191/297. Is d < z?
True
Let x(h) = -1129*h + 13554. Let a be x(12). Which is smaller: a or 461?
a
Let o be (14/(-3))/((-91)/(-21) - 5). Let l(m) = 13*m + 17. Let p be l(o). Which is bigger: p or 110?
110
Let v = 325.8 - 326. Suppose -4*t - 5*f = 77, -3*t + 0*f = -3*f + 51. Let w = t - -33. Which is smaller: v or w?
v
Suppose 5*k - 27 = 3*s + 2, -5*s + 1 = 4*k. Let v be (-3)/(-1 - 9/(-6)). Let j be 6 - (v/2 - -5). Is k smaller than j?
False
Let m = 401.4 + -400.487. Is 2/9 at most m?
True
Suppose 5 = 4*f - 2*q - 1, 3*f = -q + 17. Suppose 5*y - f*p + 147 - 2 = 0, -5 = p. Which is smaller: -131/4 or y?
y
Suppose -16 = -n + 15. Suppose 624 = -n*y + 23*y. Which is smaller: y or -77?
y
Let a = 933 + -935. Let x = -27.5 + 13.1. Let y = x - -17. Which is smaller: y or a?
a
Let x be -9 - 25934/(-3706) - -2. Which is smaller: -1 or x?
-1
Let n(w) = w**3 - 14*w**2 + 24*w + 6. Let f be n(12). Let t(m) = -4 + f + 3*m - 17. Let y be t(5). Is 1/2 > y?
True
Let h = -29689 - -37200319/1253. Does h = 0?
False
Let d(g) = 2*g**3 - 36*g**2 + 37*g + 120. Let t be d(15). Which is bigger: -692 or t?
t
Suppose -j - 3 = -44*q + 46*q, -j + q = -3. Let h be (0 + 4 - 107)*j. Is -102 < h?
False
Let o be (122/(-4))/(1*2/4). Let a = -57 - 3. Which is bigger: a or o?
a
Let l = 1171.49 - 1171.5. Is -0.1018 != l?
True
Let l = -2/129983 + 60312130/1169847. Which is smaller: 53 or l?
l
Let j be 4/(-6) - (-425)/(-15). Let t(l) = l**2 + 48*l - 663. Let s be t(-59). Which is smaller: j or s?
j
Let d = 920 - 915. Is -19 > d?
False
Let b be (-5 + 25)*(-1 - (-5)/2). Suppose d = a + 51, b = -a + 2*d - 25. Is -143/3 > a?
False
Let q(f) = f**3 - 90*f**2 + 176*f + 151. Let t be q(88). Is 599/4 != t?
True
Let q be (-2*(-15)/10)/(-1) + 7. Suppose -k = 4*c + 19, -q*c - 2 = -3*k + 21. Is 1/9 > k?
False
Let g = -243911 - -243910. Let p(c) = c + 426. Let d be p(0). Which is greater: g or d?
d
Let q = -0.074 + 134.074. Let w = q - 132.6. Let d = 13.1 + -13. Is w at least as big as d?
True
Let q be (6/9)/(1/(-63)). Let t = -40 - q. Suppose -t*o - 140 = -7*o. Is 2/3 less than or equal to o?
True
Let v = 0.06495 - 0.11495. Which is bigger: -40 or v?
v
Let c = -56.98 - -47.98. Is -225 greater than or equal to c?
False
Suppose 4*j - 5*i = 5358, j = i - 350 + 1690. Suppose 0 = 5*f + 3*z + j, -5*f + 11*z - 1318 = 8*z. Do -268 and f have the same value?
False
Let f be ((-38)/(-6036))/(6928/(-14928)). Let q = 9/1006 + f. Let y = -5146/10825 + q. Which is greater: y or -1?
y
Suppose 0*i = -i + 4*m + 207, 5*i + m = 930. Let s = 174 - i. Let a = 201/7 - 29. Which is smaller: s or a?
s
Let v = 412315/22792 + -562/259. Let b = -131/8 + v. Let m be -10 + (20 - (-44)/(-4)). Which is greater: m or b?
b
Let h = -215 - -150. Let s = h - -64.7. Is -11 > s?
False
Let b = 114 - -345. Let v = b - 464. Is v >= -0.11?
False
Let z = 9533 + -9511. Is z > -14?
True
Let p = -52.168 + 15.168. Is -75/2 less than or equal to p?
True
Suppose 0*s + 111 = -5*s + 3*w, -2*w = 6. Let q(i) = 3*i**3 + 106*i**2 - 85*i - 493. Let k be q(-36). Is k less than s?
True
Let d = 159 - 164. Let b(r) = r**3 + 2*r**2 - 9*r + 13. Let x be b(d). Which is smaller: -18 or x?
-18
Let k(m) = m**3 + 45*m**2 + 41*m - 135. Suppose 65 + 23 = -2*p. Let q be k(p). Suppose 3*l = l - 8. Which is smaller: q or l?
l
Let b be (2 - 15/6)*2. Suppose 2*x + 3*p + 347 - 329 = 0, 0 = 2*x - 5*p - 30. Which is bigger: x or b?
x
Let p be (3*(-203)/630 - 162/(-540))*(-6)/45. Suppose 4*h + 0*h = 4. Which is smaller: h or p?
p
Let p be (0 - -12)*42/315. Let n = 21 + -20. Let i be 0 - ((-2)/n)/2. Which is bigger: p or i?
p
Let c(u) = -u**3 - 6*u**2 + 17*u + 10. Let f be c(-8). Let x(m) = -2*m**3 + 4*m**2 - 2*m + 1. Let g be x(f). Which is bigger: -17 or g?
g
Let y(q) = -q**2 + 4*q - 3. Let g be y(2). Let r be ((8/6)/g)/6. Suppose -22*c = -29*c - 57*c - 384. Which is greater: r or c?
r
Let y be 50/100 - (-2)/(-4). Is y > -152/161?
True
Suppose -249 = 5*z - y, -37*y + 32*y - 29 = z. Which is greater: z or -57?
z
Let m be (1/12)/(31/(-2232)*51399). Which is bigger: m or 0?
0
Let s = 63322 + -63322. Let o = 1039 - 28037/27. Are s and o nonequal?
True
Suppose 8850 = -77*r + 39755 + 16835. Which is smaller: 5 or r?
5
Let z = -0.004 + 26.504. Let s = z + -21. Let w = -3.5 + s. Which is greater: w or -15?
w
Let a = 337/3 + -109. Let y = 5 - 92. Let k = -85 - y. Which is bigger: k or a?
a
Let o be (-24)/16 - (-256)/21. Let k = o + -69/7. Are 1 and k nonequal?
True
Let x(k) = 139*k**3 + 3*k**2 - 14*k + 11. Let w be x(1). Which is greater: 141 or w?
141
Let n(m) = -2*m**2 - 13*m + 43. Suppose -4*q - 63 = s, -4*q - 65 = 4*s - 5. Let g = -9 - q. Let t be n(g). Do t and -146 have different values?
False
Let j = 879 - 880. Which is smaller: -3043 or j?
-3043
Suppose 14*t + 2*t = -16. Let v = 0.02 + -0.002. Let m = -0.318 + v. Is m < t?
False
Let h = 23.4 + 65.6. Let w = 90 - h. Is 17 at most w?
False
Suppose 2 = -2*h, 52*p - 463 = 49*p - 5*h. Are 162 and p non-equal?
True
Let x = 28518219 + -117295430171/4113. Let l = x + -2/1371. Is l greater than 0?
True
Let f = -602 - -770.1. Let p = f - 168. Which is bigger: p or 3/13?
3/13
Let z(c) = -6*c - 30. Let k be z(-7). Suppose -k*l = -4*l - 552. Suppose -b + 1 - 116 = 5*w, 3*w + l = -2*b. Is -23 > w?
False
Let g = 2 - -53. Let o = 303 - 226. Let p = o - g. Is p < 1?
False
Let a be 1145/855 + 6/57. Let c = a - 209/126. Let j(m) = -m**3 - m**2 - 1. Let x be j(0). Is c at most x?
False
Let f = 40 + -53. Let l be ((-4)/(-16))/(f/(-52)). Is l smaller than 0.1?
False
Let p = -3/2072 - 3139/694120. Which is smaller: -1 or p?
-1
Suppose 0 = -3*u + 3*h + 6, -u = -2*h - 2 - 1. Let i = -0.67 - 187.33. Let v = i + 188.12. Is v greater than u?
False
Let t = 543 - 188. Which is smaller: 351 or t?
351
Let r = 0.448 - 17.448. Is r != 24?
True
Let u = 16140 + -16141. Is u bigger than 9/3401?
False
Suppose 2*k + 43 - 7 = 0. Let v = -25 - k. Let j = -50 + 41. Does v = j?
False
Let q = -0.12 + -0.02. Let o(z) = -z**2 - 7*z + 46. Let a be o(-11). Let d be 13/(-11) + a/11. Which is greater: q or d?
q
Suppose 5*u = u. Let i be 216/(-48)*(-10)/45270. Is i at most u?
False
Let s be (-206536)/(-168) + 4/14. Let n = -130117/105 + s. Let u = -64/7 - n. Which is smaller: u or 53?
u
Let f = 3.966 + -3.666. Let m = -18.57 - 0.43. Is m at most f?
True
Let v = 1.1 - 1.2. Let p = -17.9 + -73.1. Let u = p + 95. Is u not equal to v?
True
Let l be (-10)/(-15)*(-84)/169204. Which is smaller: l or -1?
-1
Let w = -0.119 + 0.0686. Let g = 6.0504 + w. Does -30 = g?
False
Suppose -194*w + 72*w = -40138. Which is smaller: w or 328?
328
Suppose -894 = 5*k + 2*y, 891 = 17*k - 22*k - 3*y. Which is bigger: -170 or k?
-170
Suppose -2*y + 4*u + 14 = -0*y, 2*y - 8 = -2*u. Let v = 975 - 443. Let d = v - 531. Does y = d?
False
Let t(b) = -b**3 + 26 + b + 91*b - 15*b + 23*b**2. Let o be t(26). Is o smaller than -5/64?
False
Let z(f) = -f**3 - 42*f**2 - 269*f + 90. Let a be z(-34). Is a not equal to -94/7?
True
Let i = 5697 - 2305. Is i not equal to 3391?
True
Let g be (-654)/10 - (6 + (-224)/35). Let d = g + 62. Is -13/8 at most as big as d?
False
Let r be (-8008)/66*15/2. Is r equal to -909?
False
Let t be (-775)/56730*(-6)/(-10). Do 2/37 and t have the same value?
False
Suppose 2*a + 10495 = 5*p, -9*p + 10*p + 2*a = 2087. Which is smaller: p or -1?
-1
Let j = -0.17089 + 1652.17089. Are -2 and j equal?
False
Let s(k) = k**2. Let g(u) = -5*u**2 + 11*u - 14. Let y(z) = g(z) + 4*s(z). Let b be y(2). Suppose 2*l + 12 = -b*h, -3*h - 5*l - 15 = -2*l. Does h = 1/37?
False
Let j = 120/2299 + -586983/11377751. Which is greater: j or -1?
j
Let g = 509 - 503. Suppose -401 = g*m - 2153. Which is smaller: m or -2/9?
-2/9
Let o = -249 - -251. Suppose o*c + 27 = -p, -3*p - 69 = c + 12. Is p > -24?
False
Let g be 2/(-12) + (-17 - 1199/(-66)). Which is smaller: g or 1/14417?
1/14417
Let u be 51599/(-6) + (-10)/60. Let t = -60386/7 - u. Which is smaller: -28 or t?
-28
Let j be 6/(-40) + (-2)/(-8). Let l(w) = 4*w + 19. Let m be l(-3). Suppose -2*k - 5*p = -4*k - 17, -k + 2*p = m. Which is smaller: j or k?
k
Suppose 0 = -8*q + 7705 - 1905. Is -1 smaller than q?
True
Let v(x) = -9*x + 27. Let r be v(3). Is r >= 35/128?
False
Let c(g) 