 is bigger: b or 1?
1
Let i = 0.237 - 0.2. Let a = i + 30.963. Let g = 30.8 - a. Is -10 at most as big as g?
True
Let r be -2 - 13/189*-29. Let f = 1527 + -1528. Do r and f have different values?
True
Let m be ((-7)/(-3))/(9/(-54)). Let n = m + 15. Is n > -90?
True
Suppose 0 = -p - 5*u + 100, 23 = -p + u + 135. Which is greater: p or 116?
116
Let d(t) = -2*t**3 + t**2 + 12*t + 4. Let n be d(-3). Suppose -3*w - 362 = l, 4*w + 28*l + 487 = n*l. Is -120 bigger than w?
True
Let t = -907 - -470. Let k = t + 418. Which is smaller: 0.1 or k?
k
Let d(b) = -15 - 23 - 11 - 4*b. Let y be d(-13). Suppose 6*k + y + 3 = 0. Which is bigger: -1/110 or k?
-1/110
Suppose 2*d - 4*b = -20, 0 = -4*d - 20*b + 22*b - 10. Let l be (-2542)/3280 - (3/(-8) - d). Which is bigger: 0.21 or l?
0.21
Let v = 15 - 8. Let b(t) = t - 8. Let w be b(v). Let j be 14/10*(-279)/(-3255). Which is smaller: j or w?
w
Suppose -829 - 1271 = -15*w. Let x be ((w/4)/(-7))/(1/11). Are -56 and x unequal?
True
Suppose -2 = 3*m - 8. Let b = -191/988 + 3/76. Which is greater: m or b?
m
Suppose -h - 27 = -4*j, -4*j = -4*h - 10 - 14. Let y be -8*((-78)/12 + j). Let z be 63/(-30)*(-1 + 3). Is z greater than or equal to y?
False
Let c = 646.4 + -629.4. Suppose 0 = -5*o + u, 0 = 3*u + 2*u + 25. Which is smaller: c or o?
o
Let j = -10 - -9. Let q be (48 + 3)/(-3)*245. Let z = -653903/157 - q. Are j and z nonequal?
True
Let l(r) = 6680*r**2 + 9*r + 7. Let g be l(8). Let t be (3 - 0)*1 - 94860/g. Let h = -2/5279 + t. Are 4 and h equal?
False
Let l(p) = p**3 - 3*p**2 - p - 4. Let z be l(4). Let k(m) = m**2 - 14*m + 6. Let s be k(z). Suppose -20*i - 26*i - 1886 = 0. Which is greater: s or i?
i
Suppose 4*h = 5*c - 33, 2*c - 9 = -0*h + h. Let m = h + 17. Let u(j) = -j**3 + 4*j**2 + j - 3. Let y be u(2). Which is smaller: y or m?
y
Let s = 688.3 - 306. Let p = s - 382. Is p at least as big as -0.09?
True
Let d be (-6)/10 - 27/(-45). Suppose -5*h = 0, d = -2*j - 6*h + 5*h - 2. Let c be (-6)/(-15)*15/(-333). Is j at most as big as c?
True
Let a = 18.17 + -33. Let x = 15 + a. Let o be -2*3*(910/150 + -6). Is x equal to o?
False
Let x be (-6)/2 + -6 + 6. Let f be (2 - 2)/(17 + -18). Let s(d) = -d**2 - 3*d - 5. Let y be s(f). Which is greater: y or x?
x
Suppose 0 = u + 17 + 21. Let l = 43 + u. Suppose -4*d - 11 - l = 0. Is -7 != d?
True
Let f = 313.8 + 337.2. Does 2/3 = f?
False
Let t(s) = -21*s + 125. Let o(v) = -v**2 - 15*v - 30. Let f be o(-12). Let j be t(f). Let q = 582/35 + -91/5. Which is greater: q or j?
j
Let k(s) = 9*s**2 + 6*s + 5. Let f be k(-4). Let b be 15/f*5 - 2211/(-15). Suppose h + b = -3*h. Do h and -37 have the same value?
True
Let t(r) = -r + 7. Let u be -3 - (-33)/9 - (-66)/9. Let b be t(u). Let j be 0 - (4 + -2)*1 - b. Is j <= -1?
True
Let l(h) = -3*h + 3*h**2 + 1 + 3*h**2 + 46*h**3 - 8*h**2 - 45*h**3. Let i be l(3). Let s(r) = r**3 - r**2 + r. Let w be s(1). Is w less than i?
False
Let a = -33483 + 33540. Let m be 2*3*(-19)/2. Let u = 0 - m. Is a not equal to u?
False
Let j be 54*-2*7/(28/18). Let r = j + 517. Is r at most as big as 26?
False
Let r be (30/(-9))/((-766)/(-12)*-4). Let k = r + -12311/4213. Suppose 8*f + 1 = -23. Is f > k?
False
Let s = -286519/11 - -26072. Which is smaller: s or 26?
s
Let r = 6.29 - -0.51. Let t = -35.8 + r. Let q = -30 - t. Which is greater: 7 or q?
7
Suppose 68 = -12*w + 236. Suppose 2*f + g + 53 = 6*f, 0 = -3*f + g + 40. Is f at most as big as w?
True
Let n = -127 + 123. Which is bigger: 127 or n?
127
Suppose -35*m = -16*m - 20*m + 10. Suppose 3*p - 2*p - 17 = 0. Is m smaller than p?
True
Let x be (-18 - -14) + (-6)/(-2). Let l be 5/(-15)*3 - (-1 - x). Is l less than or equal to -1/18?
True
Let k be 10/(-924) + ((-120)/(-14) - 9). Are k and -1 equal?
False
Let a(l) = l**2 - 41*l - 2171. Let o be a(60). Which is greater: -1028 or o?
-1028
Let d = -0.3 - -0.1. Let z = 714673 + -13583216/19. Let p = 233 + z. Is d bigger than p?
False
Suppose r + 3*w - 101 = 0, 5*r - 107*w + 104*w = 361. Which is smaller: 67 or r?
67
Let y = -1305.2 - -1170. Let g = y + 135. Are -130 and g non-equal?
True
Let u be ((-733306)/(-77) - -6) + 84/154. Which is bigger: 9529 or u?
u
Let b(z) = -87*z**2 + 2*z + 1. Let a be b(-1). Suppose 2*i + 445 = -5*v, -5*v = i + 658 - 213. Which is greater: v or a?
a
Let r = 95.22 - 2.22. Let j = r - 92.95. Is 45 > j?
True
Suppose 5*i - 1 = 4. Let j be (56/16 - (-1)/2)/i. Suppose 2*w = 3*u + 18, 2*u + 21 + 15 = j*w. Which is greater: 10 or w?
10
Let b = 92 - 106. Let s be (-122)/(-56) + (-8)/b. Let z = 17 + -13. Is s less than or equal to z?
True
Let y(r) = -10*r - 70. Let p(k) = -7*k - 47. Let d(u) = 7*p(u) - 5*y(u). Let h be d(-8). Is h at least as big as 25/2?
True
Let f be (-3410)/5 + 1/((-1)/(-3)). Let s = -548 - f. Which is bigger: 0 or s?
s
Let q(j) = 18*j**2 + 6*j + 16. Let y be q(-3). Suppose 41*n + y = 406. Do 4 and n have the same value?
False
Let v(j) = -2*j**3 + 26*j**2 + 29*j - 12. Let q be v(14). Suppose 3*o + q*s = 6*s + 461, -3*o + 5*s + 466 = 0. Which is bigger: o or 146?
o
Let f be ((-20 - -11)/(-27))/(-1). Does f = -411?
False
Let u = -1.4 - -1.35. Let h be 28/15*(-2 - 6/9). Let s = -26/5 - h. Is u <= s?
False
Suppose 0 = 12*i - 6*i. Suppose i = 4*u + 4*d + 68, 66 = -4*u + d - 22. Let q(k) = k**3 - 7*k**2 - 10*k - 4. Let v be q(8). Which is smaller: u or v?
u
Suppose -148*r = -21*r - 48641. Is 1151/3 < r?
False
Let n be (45/(-10) + 5)/((-5)/(-90)). Is n not equal to -7?
True
Let b = -1193 + 1193. Suppose -2*v = 3*v. Is v at least b?
True
Let t be (-3 - 2646/(-56))*(-1 - 3). Which is smaller: -184 or t?
-184
Let a = -375 - -375. Suppose a = 2*b + d + 757, 4*b + b - d + 1882 = 0. Which is smaller: -378 or b?
-378
Suppose 5*k = 5*b - 50, 2*b + 4 = -2*k + 20. Suppose -3*o - z + 5*z - 9 = 0, z = -3*o - b. Let h be (-140)/(-4) + (o - -7). Which is bigger: 40 or h?
40
Suppose 4*u + n = 1, -4*n = 2*u - 7*n - 11. Which is smaller: u or -2/2529?
-2/2529
Let j = -205 + 215.8. Let q = j - 10.1. Which is smaller: -0.4 or q?
-0.4
Let t = -40.77 - -41.37. Does t = -575?
False
Let r = 3019/3780 + 1/756. Suppose 19*v = 24 - 5. Which is smaller: v or r?
r
Let l(h) = 4*h + 8. Let v be l(-1). Suppose 4*m = -4*k + v, -2*m = -k - 3*k + 28. Let f = -84 + 244/3. Which is smaller: f or m?
m
Suppose -806*y + 811*y = 15. Let k = 1433/424 + -27/106. Which is smaller: y or k?
y
Let q be (-100)/(-1550) - 4200/3596. Is q bigger than -1?
False
Let n be 182/30 + (-2)/30. Let t be n/(-4)*(-152)/(-798). Is -0.267 greater than or equal to t?
True
Let u be 2 + ((-1)/1 - 1). Let b be ((-3)/(-5))/((-13)/(-130)). Let r be (1/(-115))/(7/(42/b)). Which is greater: u or r?
u
Suppose -14*o - o = -7*o. Is -24/137 greater than or equal to o?
False
Let s = 10 + -10. Suppose 0 = -4*z - 16, 2*d + z + 3*z - 76 = s. Let b = -32 + d. Is 14 less than or equal to b?
True
Let s = -3583.5 + 3900.5. Is s at least -42?
True
Suppose -5*x - 9*x + 84 = 0. Let c(b) = -b**2 - 17*b + 138. Let y be c(x). Is y > -1/82?
True
Let q = -5572.14 - -5507. Let i = q + 65. Let m = 0.2 + i. Which is smaller: 2 or m?
m
Let u(k) = -2*k**2 - 12*k - 1. Suppose 0 = -6*a - 69 + 69. Let j be u(a). Which is smaller: -25/14 or j?
-25/14
Let f be (-18)/4*52/130. Let z = 9 + -7. Let u = z + -3. Are f and u nonequal?
True
Suppose a - 5*n = -51, -5*a - 264 = -3*n + 13. Which is bigger: -22 or a?
-22
Let n = 2.47 + -162.47. Let k = n + 156. Which is smaller: k or -5?
-5
Suppose 0 = -5*y + 2*k - 88, 0 = y + 4*y + 2*k + 92. Let j = 12658 + -12659. Let t be (j + 0)/(-2 - y/6). Which is greater: -28 or t?
t
Let f = 64239 + -7194825/112. Which is smaller: f or -2?
-2
Let m = 122 - 108. Suppose -i - 4*g + 9 = -5, g - m = -i. Let j = -57 + i. Which is smaller: j or -42?
j
Suppose -391*f - 194446 = -657*f. Which is smaller: 737 or f?
f
Let v = -6684 - -6684. Which is smaller: v or -17/769?
-17/769
Let j = -21197 + 148377/7. Do j and -1271 have the same value?
False
Let q(h) = 3*h - 48*h - 6 + 0 + 10. Let n be q(-1). Let f = n + -76. Which is greater: f or -26?
-26
Let t = 500.47 + -504. Let y = -3 - t. Let f = -5.47 - y. Is f less than or equal to 0?
True
Let i be ((-1)/(-3))/((-106)/(-18)). Let h be 1 + 150/14 + -12. Which is smaller: i or h?
h
Let h = 4 + 0. Suppose 0 = -2*b - 4*q + 98, 16*q - 246 = -4*b + 18*q. Sup