hich is smaller: y or v?
v
Let w = -24332 + 121232/5. Let h = 221/10 + w. Is -64 <= h?
True
Let f(y) = 18*y**2 - 70*y + 199. Let m be f(3). Is m < -19?
False
Suppose 4*u - 3*q + 2213 - 7113 = 0, -4924 = -4*u - 3*q. Which is smaller: u or 1230?
u
Let x be 1*(6/(-60) - 1). Suppose -5*i + 6 = -2*n, -5*n = 3*i - n + 12. Which is smaller: x or i?
x
Let v be (-1 + -1)/((-2)/3). Let k be ((-120)/80)/((-6)/(-28)) - -7. Suppose 4*a - 7*a + v = k. Is 1/65 greater than or equal to a?
False
Let i(d) = -d**3 - 4*d**2 - d + 1. Let h be i(-4). Suppose h*m - 19 = l, -22 = -3*m + 4*l + 3. Suppose 5*w = -r - 1, -4*w + 2 = r - m*r. Is 4/3 >= w?
True
Let n(f) = -f + 10. Let b be n(10). Suppose 4*o = -22 - 10. Let g be o/(-2)*(-50)/(-180). Are g and b equal?
False
Suppose 2*t = -q - 150, -18*t = 5*q - 21*t + 711. Is q >= -133?
False
Let x(m) = 3*m**3 + 138*m - 9. Let t be x(-6). Which is smaller: -1480 or t?
t
Suppose 0 = -z + w + 903, -7*z - 2*w = -2*z - 4480. Suppose -z*y = -890*y. Let j = -1/118 + -105/1534. Which is smaller: j or y?
j
Let g(u) = -277*u - 14381. Let l be g(-51). Which is greater: -1/52 or l?
-1/52
Let r be (-6)/(-21) + 831*(-4)/(-28). Suppose -8 = -r*p + 127*p. Let x be ((-3)/2)/(114/(-12)). Which is smaller: p or x?
p
Let j = 1289 + -153393/119. Let k = j - -1317/476. Let w(s) = -s - 4. Let p be w(-7). Which is bigger: p or k?
p
Suppose -7*w = -3*w - 48. Let f = 13.1 + -14.698. Let x = f + 1.098. Which is smaller: x or w?
x
Let n(b) = b**2 + 10*b - 9. Let o be n(6). Suppose o = -3*h - 3*s, -h - 2*s = -5*s + 13. Let c(p) = -2*p**2 + 64*p - 26. Let l be c(32). Is l at least h?
False
Suppose 0*y - 84 = 3*y. Suppose -4*k - 3*c - 120 = 0, -4*k + 2155 = 2*c + 2275. Which is greater: k or y?
y
Let q be -14 + (-1860)/(-135) - 272/234. Which is smaller: -17 or q?
-17
Let l = -2327 + 2327. Is l less than or equal to -36/253?
False
Let r be 39 + -36 + 795/103 + -8. Is 3 at least r?
True
Let n = -209 - -97. Let t = n + 130. Which is smaller: t or -2?
-2
Let c(f) = f**3 - 7*f**2 - 5*f - 2. Let m be c(8). Let x = 38 - m. Suppose 0 = x*g - 4*g - 12. Do -1/4 and g have different values?
True
Let d = -13089424/481 + 357924/13. Let g = -449984/259 + d. Let n = 1422 + g. Which is smaller: n or 5?
n
Suppose z - 4 = -1. Suppose 120*d + 3553 = -2581 + 1574. Is d less than z?
True
Let v = 500 - -1113. Which is greater: v or 1614?
1614
Let i = -909 + 910. Is -411.1 > i?
False
Suppose -9*i = 5*r - 5*i + 3268, -r = -4*i + 668. Is -656 != r?
False
Let o = -176 - -172. Let w be (-3)/o*24/(-16). Is w equal to 0?
False
Let r be 20/(-612)*5342/(-35). Let w = 20/153 - r. Suppose 0 = 81*i + 372 + 33. Is i not equal to w?
True
Suppose 5*i = 4*q - 189, -5*i - 2*q = -3*q + 186. Let r = 69975 - 70011. Is i at least as big as r?
False
Let i = -11209.03 + 11209. Is i at least as big as -9/140?
True
Let g be 2 - -3 - 3*1. Let z be (0 + g)/((-4)/(-2)). Let l be ((-360)/(-16))/45*-118. Is l at least as big as z?
False
Suppose 427*x - 426*x - 4 = n, 4*x - 5*n - 21 = 0. Which is greater: x or -14/2159?
-14/2159
Let p(h) = -203*h + 1623. Let n be p(8). Which is greater: -8/635 or n?
-8/635
Let w be 83/2*35/(-15)*12. Let i = -49963/43 - w. Is 1 at least as big as i?
True
Suppose -2*v + 19 = 5*z, -3*v - 29 = -4*z - 0*z. Suppose -5*u + z*n = 25, 5*n = 4*u + 4*n + 11. Let o be (-2)/4*(-24)/(-14). Is o greater than or equal to u?
True
Let h(w) = w**2 - 7*w + 11. Let z be h(4). Let a be 114/(-63) - 5*(-16)/120. Which is bigger: a or z?
z
Suppose -5*j - 10*n + 857 = -7*n, -2*n - 2 = 0. Suppose -5*t = -3*t - j. Does 0 = t?
False
Let f be 720/21 + (-20)/70. Suppose 3*y - 2*u = f, -4*u = 21 - 1. Suppose -10*d - y = 42. Is d less than -6?
False
Let o = -501 + 476. Let v be (-20)/o*15/2 + -76. Is v smaller than -72?
False
Let v be 60 + -68 + 12*1. Let w be (140/28)/(3/v) + -6. Which is bigger: w or -4/9?
w
Let l be -3 + 4 + -6 + 58. Suppose u = l + 31. Let z be 32/u - 2/(-7). Which is bigger: 2 or z?
2
Let j = 6032595/11 + -18791509104/34265. Let p = 2/445 + j. Suppose 0 = -3589*o + 3586*o. Is o greater than p?
False
Let d = 249 - 167. Let n = d - 82.1. Which is greater: -4 or n?
n
Let g = -6 - -16. Suppose 85 = 3*m - 14. Let a be m - 22 - (1 + (0 - -2)). Which is greater: a or g?
g
Suppose -l + 2*d + 97 = 4*d, -2*d - 267 = -3*l. Suppose 5*h - 811 - l = -2*a, 5*a = h - 175. Is h greater than 181?
False
Suppose -2*c + 5 + 3 = 0. Suppose -3*d + 0*u + u = -50, -d + 35 = -c*u. Suppose 4*z - 27 = -2*w + 3*w, d = -5*w. Which is smaller: z or 5?
5
Suppose -49 = -3*o + 4*o. Let w be 2/(-5) + o/(-85). Let l = 9347 + -9346. Do w and l have the same value?
False
Suppose -n - 2*n + 40 = 4*t, 0 = 5*n + 2*t - 76. Let s = n - 15. Let d = 3183 + -308749/97. Is s less than d?
False
Let x = -1393.2 - -1393.9. Is 337 less than x?
False
Let p = 51525/4 - 12805. Are 11 and p equal?
False
Let f = -183 + 183.095. Let x = -0.105 - f. Is x less than 5/12?
True
Let i = 207 + -208. Let q be i/(-57)*19/57. Which is smaller: -1 or q?
-1
Suppose -2*o - 4 + 0 = 2*p, 0 = -5*p - 2*o - 7. Let l(t) = -2*t + 32. Let y be l(12). Let m be (8 - (-2)/(-4)*y) + -7. Is p smaller than m?
False
Let b = 116 - 244. Let s = -127.87 - b. Let h = s - -0.07. Is -2/13 at least as big as h?
False
Let r = -95 - -99. Let u be ((-42)/12 + r)*(-1 + 1). Let y be -3 + 3028/(-2024)*-2. Is u at least y?
True
Let c = 922 - 611. Let o = 5.954 - 5.854. Is c < o?
False
Let x = 2336 - 1623. Does 713 = x?
True
Let b(c) = c + 2. Let j be b(-5). Let q = -145 - -61. Let p = 84.07 + q. Which is greater: p or j?
p
Let t = -16801 - -17094. Is 296 > t?
True
Let h = 9.104 - -6.556. Which is greater: -1 or h?
h
Let a be (2 - -39) + 2 - (-36 - -31). Suppose -s = 5*s - 300. Is a less than s?
True
Let c(d) = d**3 - 6*d**2 + 7*d + 75. Let y be c(6). Are y and 112 unequal?
True
Let d = -361 + 240. Let s = 725/6 + d. Is s bigger than 3?
False
Let b(m) be the third derivative of -m**6/40 - m**4/24 + m**3/6 + 13*m**2. Let g be b(1). Let j be g/1 - (-1 + (-16)/10). Which is bigger: -2.9 or j?
j
Let w(k) = -52*k**3 + 359*k**2 + k - 16. Let b be w(7). Which is greater: 4 or b?
4
Let i be ((-7 + 8)*1)/(1/2053). Is 2054 > i?
True
Suppose -2*z = 383 + 3397. Let t = 83167/44 + z. Which is greater: 1 or t?
1
Let t = 7891.41 - 7893. Which is bigger: t or 13?
13
Let i(c) = -11*c**2 - 1. Let j be i(-1). Suppose -15 = 5*p, -3*p + p - 14 = -4*t. Suppose -4*f - 58 = -t. Is f less than j?
True
Let n be 260/80*(4 + 0). Let q = n - 12. Which is smaller: q or 1/35?
1/35
Let j be (-4 + 1)/((70/749)/10). Which is greater: j or -318?
-318
Let s be (-8)/20 + (-62792)/90 + 2802/(-21015). Which is greater: s or -698?
-698
Let s be 10*(-19 - -8)*(-2)/8. Let o(d) = 27*d - 322. Let j be o(13). Which is greater: j or s?
j
Let b be (2 + -1)/(2 - 3). Let u be ((28/(-4) + b)*1)/(-1). Suppose -u = -6*l - 2. Which is bigger: -5/21 or l?
l
Suppose 4*k = -0*k + 4860. Let b be (3651/k - 3)/1. Let v = b + -904/19035. Is v < 1?
True
Let s(q) = 834*q**3 - 2*q**2 - 2*q + 1. Let i be s(1). Let d be (-9)/(-15) + i/15. Is 398/7 bigger than d?
True
Suppose 35*n - 1141 = 42*n. Let q be n + 9 - (3 + -4)*5. Is -150 at most q?
True
Let k(t) = t**3 - 4*t**2 - 15*t - 4. Let h be k(5). Let o be (h/63)/(2/1*1). Are o and 0.14 equal?
False
Suppose -f - 3*f - 18 = -2*t, 4*t - 24 = 5*f. Let q be f/(4/3) + (-3778)/2330. Let j = q - -5/233. Which is smaller: j or -4?
j
Let p = 17979623/1348 - 13338. Let x = p - -1601/337. Let t = 2 - -3. Which is smaller: t or x?
x
Suppose -4*w - 36*l + 2536 = -32*l, w + 4*l = 652. Which is bigger: w or 5015/8?
w
Suppose -u + 3*i = -88, -3*u = 3*i - 2*i - 214. Suppose 88*s - u*s = -1020. Is -344/5 < s?
True
Let q = 11867 - 367841/31. Suppose -2*h + 3*g = -13, 4*g - 557 + 567 = -h. Is h equal to q?
False
Suppose v + 2*v + q = 159, -3*v = -2*q - 159. Let z = 105 - v. Let c be 2/4*102*1. Is z not equal to c?
True
Suppose 2*j + 14 - 22 = -i, -22 = -3*j + i. Suppose 2*m = -5*g + j - 221, m - 2*g = -103. Are -105 and m non-equal?
False
Let z(r) = 2*r**3 + r. Suppose -5 = -4*o - 1. Let y be z(o). Let x = 269.3 + -268.2. Which is greater: y or x?
y
Suppose -2520 = 898*m - 904*m. Let u be (m/(-441))/(18/(-273)). Which is smaller: u or 15?
u
Let g = -1/30793 + 41337/324681392. Is -1 bigger than g?
False
Let 