 Is 731 < b?
True
Suppose 0 = -5*a + 12 + 3. Suppose 4*s - 3*h = a, 7*s - 2*s - 27 = -4*h. Suppose 0 = w + 1, 0*w - 33 = -4*l - s*w. Is 9 > l?
False
Let h be 0/(-1) - 0 - 11. Suppose 3*o = 2*o + b - 197, -o - 200 = -4*b. Let a = o + 186. Which is greater: h or a?
a
Let o be 0/(-2) - 1 - -4. Suppose -2*t + 8 = 2*c, -3*c = -o - 6. Suppose -2*d - t = -3. Which is greater: 1/67 or d?
d
Let g(l) = 3*l**2 - 3*l + 1. Let w(j) be the first derivative of -2*j**3/3 + j**2 + 17. Let y(f) = 3*g(f) + 5*w(f). Let s be y(-2). Which is smaller: s or 0.17?
s
Suppose -14*s - 38 = -26*s - 14. Let g = 43975 + -5980363/136. Let u = g + 1/136. Is u at least s?
False
Suppose -3*y - 2*y = 4*t + 37, 5*t = -4*y - 44. Let f be t/(-6)*((-1176)/(-16))/1. Let c = -98 + f. Are 1 and c nonequal?
True
Let o = 35 - 34. Let p = -0.10132 - 43.19868. Are o and p unequal?
True
Suppose 3*p + 16 = 4*a, 3*a - 4*p = 6 + 13. Let q be (1 + -5 + (-22)/(-6))*-66. Suppose 24*k - 30 = q*k. Is a >= k?
False
Suppose 0 = -7*p + 61*p - 432. Let r = p + -92. Which is smaller: r or -81?
r
Let l be (2/(-12))/((-156)/117). Which is bigger: -1019 or l?
l
Suppose 0 = -17*x + 8*x + 963. Suppose 2*j - x = -89. Which is greater: j or 39/4?
39/4
Let t(z) = -z**2 + 5*z + 3. Suppose -h + 4*x - 5 = 0, -2*x - 3 = -4*h + 5. Let g be (-7 + 8)*(2 - (2 - h)). Let u be t(g). Which is bigger: u or 33/4?
u
Suppose -2*z = -4*z - 12. Let r(i) = -i**2 + 9*i - 12. Let a be r(2). Let j be (-119)/102 + a/z. Is j equal to -2?
False
Suppose 12339 = -476*x - 5408 + 2515. Do -604/19 and x have the same value?
False
Let g be 1696/6*(-126)/(-1092). Which is smaller: 33 or g?
g
Let a be 3/(-2615)*25*26/65. Which is greater: -1 or a?
a
Suppose -17 = -4*x - 21. Which is bigger: -1/1615 or x?
-1/1615
Suppose -219*u + 507*u + 377*u + 107730 = 0. Which is smaller: u or -126?
u
Let w be (-265)/(-20)*10 - 5/2. Suppose 2*o + 4*t + 0*t = 270, 3*o + 2*t = 397. Which is bigger: o or w?
o
Suppose q + u = 501, -2*u = -q - 4*u + 498. Suppose 10*d + 8*d + q = 0. Is -25 > d?
True
Let f be (-22)/4*39/(-143)*2/(-3). Which is smaller: 24/515 or f?
f
Suppose 3*y = 3*b - 9, 269*b - 265*b + 2*y + 18 = 0. Let a = 11611/963 - 18/107. Let o = 11 - a. Is o <= b?
False
Suppose -6*h - 11 = 13. Let t be (-90)/150 + h/10. Which is greater: 1/87 or t?
1/87
Suppose 228*y + 86 - 896 = -42*y. Is y equal to -5.63?
False
Suppose -94*r - 216149 = -7657. Is -2219 at most as big as r?
True
Let u = 369 - 357. Suppose -5*o = -u*o + 896. Is 129 greater than o?
True
Let r be (2/(-10))/((-2)/4)*5. Let x(f) = -2*f + r*f + 0*f + 3*f + 11. Let b be x(-10). Which is smaller: b or -18?
b
Suppose -19*i = -3*i - 96. Let h be (-540)/(-280)*(-8)/i. Which is smaller: -2 or h?
h
Suppose 2*m + 5 = 9. Suppose 15*g = -13 - m. Which is smaller: 2/67 or g?
g
Let i be 1455 + (-33)/165 + 21/5. Let y = i - 10294/7. Which is smaller: y or -13?
-13
Suppose -11*c = 241 + 1519. Let y = 246 - c. Are y and 406 equal?
True
Suppose -3*i + 4*w = -84, 2*i - 4*w = w + 49. Suppose 12*v - 9*v - t = 99, -2*v + t + 68 = 0. Is i less than or equal to v?
False
Let c = -3368530/922323 - -2/40101. Let b = 11679 + -268537/23. Let f = b + c. Is 1 < f?
False
Let x(n) = -n**2 - 15*n - 45. Let f be x(-4). Let z be (-21)/21 - 7252/(-7244). Is z less than f?
False
Let q(v) = -v**3 + 21*v**2 - 39*v + 24. Let h be q(19). Suppose o + 49 = -0*o + h*g, -2*o - 89 = -g. Let j be -1 - (-10)/6 - o/(-3). Which is smaller: -15 or j?
-15
Let k = 208 + 288. Let a = k - 496.061. Which is smaller: -1/4 or a?
-1/4
Let r = -3446.04 - -3516. Let q = -70 + r. Which is greater: q or -2/3?
q
Let z be (71*(-3 - -4))/(-8*(-5)/240). Is z greater than or equal to 426?
True
Let h = -21 + -36. Let r = -97 + h. Which is greater: -153 or r?
-153
Let m be ((-2)/4)/((-7)/112). Suppose -m*n - 151 = z - 4*n, z = -3*n - 149. Does z = -142?
False
Suppose o - 18*o + 6392 = 0. Let h = o - 373. Suppose 3 - 15 = -2*z. Are z and h equal?
False
Let z(d) = 84*d + 12. Let g be z(2). Let t = g - 169. Is t != 9?
True
Let t = 37 + -32. Let z be (1 + 14)*12/10. Suppose 5*o - z = -4*p, -4*p + 12 = o + o. Which is smaller: p or t?
p
Let z be 9*2*15 - -3. Suppose 249*l = 8432 - 3349 + 63392. Is l < z?
False
Let f be 182/315*(-36695)/8 + 3. Let l = f - -2647. Is -1 greater than or equal to l?
False
Let f be 4590/11985 - 1/4. Does -1 = f?
False
Suppose 148 = 3*j + 10. Suppose -11*c + 20 + j = 0. Suppose -4*n - s = -34, 2*n - 3*s - 7 = 3. Which is smaller: c or n?
c
Let k be 46/368 - (-2439)/8. Let q = 295 - k. Is -12 greater than q?
False
Let k be 10/(-24)*((-9452)/(-119) + 4). Which is bigger: k or -34?
-34
Let x be (4 - 8)/(-1) - 6. Let t be 6*(-4)/(-12) - -1. Suppose 0 = -p + 4*n - 16, -3*p = -n + t + 1. Which is smaller: p or x?
x
Let r be -12*(-132522)/(-1144) - (-1)/11. Which is smaller: -1387 or r?
r
Let v be 46 + -49 + 1 + 577. Let g = v - 633. Suppose -3*l = -6*l - 2*h - 179, -2*l + 2*h - 106 = 0. Is g >= l?
False
Let h be 11/6963*-3*((-31)/11 - -3). Is 1 >= h?
True
Let f be (50/15)/5 - (-64)/(-2976). Which is smaller: 1 or f?
f
Let b be (-4)/8*75730/8. Let y = -4751 - b. Is -17 > y?
True
Let i(q) = 2*q**2 - 7*q + 5. Let u be (-832)/(-403) + (-4)/62. Let t be i(u). Which is greater: -18/65 or t?
-18/65
Let n = -29636/3 + 10007. Let g = -128 + n. Suppose 0 = -2*k - 3*j - 28, 4*k + 56 = -0*k - j. Is k at most as big as g?
True
Let u = 2.4269 - 4.4269. Let t = -27 - 3. Let p be -1*1/(t/4). Which is greater: p or u?
p
Let g = -7346 + 8174. Which is smaller: g or 834?
g
Suppose -5*m - o = -0*m - 61, 3*m = 3*o + 33. Suppose -6*t - 199 = 323. Let i be t/(-7) + (-3)/7. Is m <= i?
True
Let g = -162 + 235. Let v be 4/g*(-390)/20 + 1. Is v at least -1?
True
Let q = -1103/985 + 63/197. Which is smaller: -581 or q?
-581
Suppose 55*w + 68*w = 51*w. Are -1/1926 and w non-equal?
True
Let t = 300.439 + -300. Let g = -0.739 + t. Which is greater: g or -0.046?
-0.046
Let c be -1 + 0 + (3 - 2). Suppose -13*q + 8*q = c. Let x be (-6 + q)*40/(-60). Is 6 less than x?
False
Let c = 5652 + -5653. Is 3/2354 at most c?
False
Let r = -6 + 12. Let f be (5 + 630/(-72))*24/(-5). Suppose -x + r*x + f = 2*g, 0 = x + 4. Is g greater than -15/7?
True
Let n = 17.6312 + -17.8. Let j = n - 46.7512. Let c = -47 - j. Are -2/3 and c non-equal?
True
Let r(n) = -2*n**2 - 47*n - 384. Let w be r(-21). Which is bigger: -289 or w?
w
Let k be (-8)/(224/(-147)) + (-2)/8. Suppose 4*h + k - 21 = 0. Let i be (36/(-16))/(-3) + 1/h. Is 5/3 at most i?
False
Suppose -3*h - 225 = 2*h. Let a(s) = 8*s - 17. Let j be a(8). Let l = h + j. Which is bigger: l or 1?
l
Let v be 1/1*2/(-11). Let c = 103 + -102. Let w be 0/((-6 + 7)/c). Are w and v non-equal?
True
Let q be 6/48 - (570/(-48) - -3). Let h(s) = s**3 + 6*s**2 + 5*s + 1. Let k be h(-5). Suppose -k = z + d, 0*z - 3*d + q = -z. Which is bigger: -20/7 or z?
-20/7
Let n(w) = -20*w + 113. Let m be n(6). Let s be (923/(-130) - m)/((-106)/(-4)). Which is smaller: 1 or s?
s
Let h be (2 - 4) + (6 + -1 - 339). Let f be (14/(h/36))/(759/4). Which is bigger: -0.3 or f?
f
Suppose 5*w - 99 = -19. Let z = -127/5 + 833/20. Is z at least as big as w?
True
Let o = 347445 - 1729907/5. Which is bigger: o or 1463?
o
Let h be 11/(2475/(-54))*(-3)/639. Is 1 at least h?
True
Suppose -355*c = -363*c - 656. Which is bigger: -86 or c?
c
Suppose 7*x + 455 = 2*x + 5*k, 4*k = -2*x - 182. Let f = x - -93. Let w be (-6468)/176 + (f/(-8) - 0). Is -36 at least as big as w?
True
Suppose 5*w = 5*j + 155, -4*w = 6*j - 2*j + 100. Let x be (9/(-162)*-44)/(j/6). Which is smaller: 0 or x?
x
Let a = -802.74843 + 802.8. Is -2/9 less than a?
True
Let j = 0.17 - 0.17. Let i = 4.192 + 0.008. Let p = -5.8 - i. Is p > j?
False
Let g = -308.9695 - -309. Let a = 4.9695 + g. Is -2.3 greater than or equal to a?
False
Suppose -1406 = 73*x + 1368. Is -36 smaller than x?
False
Suppose -2*q + 3*k - 778 = 0, -5*q - 105*k = -102*k + 1924. Is -381 smaller than q?
False
Suppose -3*c = 2*j + 7, -104 = 3*c - 113. Is j >= -14?
True
Suppose 0 = 3*l - i - 28, -2*l + 3*i + 2 = -12. Let q be (2/5)/(8/(-80)). Let f be (114/(-21))/(((-20)/q)/(-10)). Which is bigger: f or l?
f
Suppose -22*b - 261 = 2148 - 517. Which is smaller: -2172/25 or b?
-2172/25
Let r(s) = -64*s - 3883. Let b be r(-84). Is b at least 5969/4?
True
Let v