(-9)/10)/g)/(90/(-4575)). Which is bigger: -16 or b?
b
Suppose 38*i - 231 + 79 = 0. Which is greater: i or 14?
14
Let x(y) = -5*y - 8. Let l be (-16)/(-2)*((-820)/16)/(-5). Let d = 78 - l. Let h be x(d). Do h and -1 have the same value?
False
Let n(y) = -25*y + 92. Let t be n(4). Let p be 9/4 - (t + 165/20). Which is smaller: p or 25/11?
p
Let y be (-3)/2 - (-50)/4. Suppose -y + 5 = -j. Suppose -94 = -5*c - f, 5*c + j*f - 91 = 2*f. Do c and 20 have different values?
True
Let q = -188 - -194. Let f be 2/(-12) + 296/624. Which is bigger: q or f?
q
Let c be (2 - 0)*13 + 2 + 1. Suppose -2*w - 28 = 94. Let n = c + w. Is n smaller than -33?
False
Suppose -32 = -6*v + 160. Suppose 0 = 5*o - 18 - v. Suppose 0 = -8*i + o*i - 52. Which is bigger: 24 or i?
i
Suppose 223*i = 229*i - 534. Let x = -88 + i. Which is smaller: 39/23 or x?
x
Let m be 10*2/9 - 2. Let w be 3 + 4 - (3216/48)/(3/(-3)). Is m >= w?
False
Let t be 3/((6/(-4))/1). Suppose 3*k + 3*x = 13 + 2, -5*k = 3*x - 23. Let s be (660/(-128) + 5)*k. Are s and t nonequal?
True
Suppose -p = -3*x - 7, -2*p = -3309*x + 3306*x - 11. Which is bigger: 2/1363 or x?
2/1363
Let f be ((-310)/(-2*1))/(-4*204/(-136)). Let m be 1/((-3)/(-26))*3. Which is bigger: f or m?
m
Let h(q) = -5*q**2 + q**3 - 7*q**2 - 3*q**2 + 13*q + 9. Let m = -26 - -40. Let t be h(m). Is -17/3 >= t?
False
Let f(r) be the second derivative of r**5/20 + r**4/4 + r**3/6 + 3*r**2/2 + 5*r. Let j be f(-3). Let p be 8/(-6)*39/91. Is p != j?
True
Let x be 6/2 - (-12 + -5 + 1208). Let q = x + 948. Is -239 >= q?
True
Suppose -133 + 116 = o. Let m be (3/8)/(o/102). Is -2/19 <= m?
False
Let r = 0.02421 + -29.35421. Let p = -0.05 + -0.28. Let n = p - r. Is n at least as big as 2/5?
True
Let s = 2344 + -2413. Is s at most as big as -1?
True
Let c be 2*1*416/(-1072). Let s = 7466/9447 + c. Let q(r) = r**2 + 6*r + 4. Let v be q(-5). Is v bigger than s?
False
Suppose 45 = 617*a - 612*a. Suppose -86*h = -3*r - 85*h + a, -4*r = 2*h - 12. Let b = 2 - 1.9. Which is greater: r or b?
r
Let v = 2/64261 + 448631/38428078. Are v and 1 equal?
False
Let a(z) be the second derivative of -z**5/20 + 7*z**4/12 + 5*z**3/3 + 31*z**2/2 + 196*z. Let u be a(8). Suppose 2 = -3*f + 143. Does f = u?
True
Suppose 41*m - 46*m + f - 99 = 0, -5*f - 25 = m. Let h(k) = -k**3 - 12*k**2 + 3*k + 18. Let c be h(-12). Does c = m?
False
Let x = -117 + 1051/9. Let k = 266 + -272. Which is smaller: k or x?
k
Let t = 212 - 255. Suppose -14*z = -12*z - 504. Suppose -9*m - z = -3*m. Which is smaller: m or t?
t
Suppose 5*v = -5*y + 155, -18*y + v + 143 = -13*y. Which is greater: -27 or y?
y
Let j = 602 + -598. Suppose -2*c = j*t - 28, -1 = 4*c + 4*t - 57. Is 23 at most as big as c?
False
Let m = -3 - -2.9. Let x = -33287.878 - -33288. Is m > x?
False
Let a(q) = -q**2 - 13*q - 27. Let c be a(-2). Let w = 4 + c. Which is smaller: w or 67?
w
Let y(i) = -18*i**2 - 1423*i - 136. Let j be y(-79). Do j and 8 have the same value?
False
Suppose -973 = 9*x - 190. Let q = x + 63. Is -18 less than q?
False
Let t be (-2*1*-1)/1. Suppose 0 = 5*w - 5*a + 208 + 107, 4*w + 252 = t*a. Let x = 1.927553 + -1.827553. Is x >= w?
True
Let d = 68111/5381 - 168689749/21879146. Let k = d - -45/214. Is k > 6?
False
Let r be (-3 - (-5)/2)/(84/280). Let f = 35.66 - 36. Let z = 0.04 + f. Which is smaller: r or z?
r
Suppose 0 = -31*h + 33*h + 854. Let p be (-6)/(-11) + h/924. Which is greater: 12 or p?
12
Let v be -8 + 1425/108 - 5. Let a be ((-12)/(-21))/((-18)/14). Let s = a + v. Which is bigger: 3/7 or s?
3/7
Suppose 5*p + 0 = 10. Let u(l) = -37 - l - l - 15 + 1. Let h be u(-28). Which is smaller: h or p?
p
Let s = -15 + 38. Let q = 88 - 63. Let f = s - q. Are -9 and f non-equal?
True
Let q = -12125/78936 - -5/2392. Let l = 6 - 6. Which is greater: q or l?
l
Suppose 0 = -w + 14*z - 271, -z - 317 - 80 = 2*w. Let u(l) = l**3 + l**2 + l - 200. Let o be u(0). Which is smaller: o or w?
w
Suppose 4*a - 3*a = -d - 20, 5*a - 35 = 4*d. Suppose 2640 = -17*w - 3*w. Let g = 117 + w. Is g smaller than d?
False
Let w be (-3420)/50 + 7 - (-4)/(4/(-1)). Is w at most as big as -61?
True
Let z = 5.809 + -11.809. Which is bigger: -1/9 or z?
-1/9
Let d = -218 + 227. Suppose -2*a = 3*m + 6, 4*m - 3*a + 0 - d = 0. Which is smaller: -1/64 or m?
-1/64
Let k = 690 + -802. Let v be 3/(759/k) + (-8)/(-44). Which is bigger: v or 0.2?
0.2
Suppose -23*j + 22847 = 26*j - 60*j. Is j greater than or equal to 2?
False
Let x(u) = -3*u**2 - 3*u - 1. Let m(d) = 2*d + 5. Let s be m(0). Suppose 0*p + 34 = 3*a - s*p, -3*a - p = -4. Let i be x(a). Which is smaller: -38 or i?
-38
Let v(m) = -m**2 + 63*m + 649. Let n be v(-9). Which is greater: 328/139 or n?
328/139
Let a = 106 - 308/3. Let z be 5917/(-915) - (-2 + -6). Let j = z - a. Which is smaller: 2 or j?
j
Let k = -6154 - -6155. Let l be (-2)/(-6) + 421/24. Let c = l - 18. Which is smaller: k or c?
c
Let y(a) = a**2 + 9*a - 14. Let k be y(-8). Let x = -0.092 + 0.029. Let f = x + -0.037. Is k >= f?
False
Let l = 7740 + 1547. Is l at least 9286?
True
Let a(f) = -f**3 + 6*f**2 + 7*f + 9. Let q = 63 + -67. Let i be a(q). Which is smaller: 143 or i?
i
Let t = 14959856/85111 - 2285/13. Which is smaller: 0 or t?
t
Let w = -126 + 126. Suppose -2*r - b = -5*r, w = 4*r + 2*b + 10. Which is smaller: r or -2/445?
r
Let q = 1726451/10374 - 6313/38. Let s = -4/91 - q. Is 1/9 at least s?
True
Let a be 1 + (-5 - (-6)/2). Let m be 0/((a - -3) + 0). Which is bigger: m or 1/187?
1/187
Let b be 453/570 - (-6*(-42)/(-45) + 6). Is b smaller than 1?
True
Let k = -22 + 27. Let h(s) = -10*s**2 + 2*s + 3. Let i be h(1). Do i and k have different values?
True
Let b be (12 - 11) + 29*(-6 + 2). Let w(q) = -4*q**3 - q**2 + 2. Let v be w(3). Is v equal to b?
True
Suppose 375 - 60 = -21*q. Let h be 0*(3 - (-50)/q)*1. Which is smaller: h or 2/589?
h
Suppose 2 = t + 3*u, -t - u + 4 = t. Suppose t*m = h + 173, -h - 674 = 3*h + m. Which is smaller: -170 or h?
-170
Let o(d) = d + 6 - 13 - 4 + 1. Let u be o(10). Let l(t) = t**2 + t - 2. Let m be l(u). Which is bigger: -8/3 or m?
m
Suppose 0 = 56*a - 341149 - 70395. Which is bigger: 7350 or a?
7350
Let l be (-35457)/1784 + 2*10. Is l equal to -1.541?
False
Let u = -29884109716201/43435583982 - 1/213968394. Let j = u - -688. Which is smaller: 0 or j?
j
Let v = -2 - -3. Let c = -2867.43 + 2851. Let t = 16.6 + c. Which is smaller: v or t?
t
Let z be (6416/428)/(-1) - -15. Which is smaller: 3 or z?
z
Let j = 0 - 4. Suppose -4*w - w + 107 = 4*l, 4*l + 7 = w. Let q(g) = -2*g**3 + 36*g**2 + 40*g - 46. Let a be q(w). Which is bigger: j or a?
j
Let n = 11338914/1003 + -11305. Which is greater: 0 or n?
0
Let b(u) = -9*u - 3. Let d(s) be the first derivative of s**3/3 + 4*s**2 + 5*s - 33. Let n be d(-7). Let m be b(n). Is m bigger than 15?
False
Let l = -0.3 - -0.5. Let g = 64/1099 + 779/5495. Are l and g equal?
True
Suppose 15*n - 99 = 81. Let y be (-147)/n + 1/12*3. Which is smaller: -27 or y?
-27
Let y = 41 + -38. Let j be -1 + -2 + 4 + y. Let l be (j/(-15))/((-3)/15). Is l at least 1?
True
Let h = 38984/378423 + -35/342. Is -1 < h?
True
Suppose -308 = 18*f + 664. Let j = f - -53. Which is greater: j or -37?
j
Let v = 4.899 - 4.76. Let c = v - -0.061. Do 5.5 and c have the same value?
False
Let z = -6 + 6. Suppose 2*f - b + 182 = z, 0 = -f + 5*f - b + 368. Let n = -89 - f. Is 7 < n?
False
Let q(r) = -18*r + 1 + 2 + 2064*r**2 - 2065*r**2 - 2. Suppose -v = 3*t - 5*v + 63, -42 = 3*t + 3*v. Let s be q(t). Are s and 17 nonequal?
True
Let w = -132 + 94. Let v = w - -37.76. Is -0.5 bigger than v?
False
Let z(w) = 14*w + 35. Let k be z(20). Suppose -3*b + c = k, b + 4*c + 89 = -29. Which is smaller: -105 or b?
b
Let f be ((-3)/(45/(-1)))/((-8)/94056). Which is bigger: -783 or f?
-783
Let s = 153.15 - 152.15. Do -4 and s have the same value?
False
Suppose -109*f + 5*m + 380 = -114*f, 2*m + 74 = -f. Which is smaller: -87 or f?
-87
Suppose 6517 - 6481 = 18*a. Which is greater: a or 44/87?
a
Let s = -916.12 - -915.7. Which is bigger: s or -0.003?
-0.003
Let k = -53 + 55. Suppose -k*r + 934 = 3*g + 181, -5*r = 4*g - 1900. Let q be -2 - r/(-3280)*(-70)/(-4). Is q != 1?
True
Let k(n) = -n**2 + 9*n + 10. Let r be k(10). Let o be ((-5517)/(-12207))/((-3)/6 - -1). Let a = o + 6/313. Is r greater than or equal to a?
