hich is bigger: v or -33?
v
Suppose 0 = -2*s + 6*s. Let q = 25081 - 39031. Let u be (-8)/(-36) - 5/(q/(-656)). Is s less than u?
False
Let g be (18/(-16))/9*-4. Let x = -181 - -59. Let c = x + 122.1. Which is smaller: g or c?
c
Let p(a) = -3*a - 54. Let r be p(-18). Suppose -2*t + 2*q = r, -3*t + t - 3 = -5*q. Let j be (((-1)/(-6))/t)/((-8)/156). Which is smaller: j or 0.2?
j
Let l(j) = -4*j**2 - 32*j + 1236. Let s be l(-22). Is -1401 greater than or equal to s?
False
Let d be (8 - 4)*-1 + 1. Let j be 360/123 + 0 + d. Let m(c) = 78*c - 780. Let n be m(10). Which is smaller: n or j?
j
Let j(b) = -41*b - 37. Let z be j(-3). Let a = z + -107. Do a and -19 have different values?
True
Let g be (10/110)/(6/660*10). Is 3/8488 less than g?
True
Suppose -4*t - 101 = -3*h - 8*t, -h = 3*t - 47. Let b(q) = 24*q**3 - 2*q**2 + q. Let x be b(1). Is x bigger than h?
False
Let g = 10578 + -10578.1. Which is bigger: 3282 or g?
3282
Let p(b) = 10*b + 9*b + 0*b**2 + 37 - 5*b - 2*b**2 + 4*b**2. Let w be p(-5). Which is smaller: w or 25?
w
Let w(q) = q**3 - 21*q**2 + 20*q - 68. Let d be w(20). Let y = d - -131. Which is smaller: 1 or y?
1
Let b be 6/33 - (432/66)/(-8). Let l be 61/(-61) - (-5 + b). Which is smaller: l or 37/13?
37/13
Suppose 160*p = 153*p. Which is smaller: p or -3/1061?
-3/1061
Let b(z) = 63*z - 218. Let a be b(3). Suppose -59 - 9 = 3*v + 4*m, -3*v + 3*m = 96. Which is greater: a or v?
v
Suppose -9*i + 12*i = 0. Suppose -3*v + 5*t = -28, 19 = -4*t - 1. Let d be v/(-9)*9/48*2. Which is greater: i or d?
i
Suppose 0 = x + 7 - 13. Let h(c) = -155*c - 3*c**2 + c**3 + 134*c - 7 + 25 - 1. Let k be h(x). Which is greater: k or 1/185?
1/185
Let m = 1313 + -617. Let o be (-2)/(-15) + m/180. Suppose d - t + 5 = t, 4*t = -4*d + o. Is d at least as big as -8/9?
False
Suppose 13 = 2*q + 59. Let a = q + 21. Which is smaller: a or -1?
a
Let y = 19 - -450. Suppose -693 = -14*m + y. Is 81 at least m?
False
Let s(d) = 18*d + 32. Let u be s(4). Let r be (-19)/(-209) + u/(-418). Which is greater: r or -1?
r
Let a = 1992 - 334655/168. Do a and -1/2 have the same value?
False
Let q be ((-89034)/(-284))/(5/(-10)). Is q > -1255/2?
True
Suppose 0 = 26*m + 91*m + 183573. Which is bigger: -1570 or m?
m
Let h be -4 - 39/15*-453. Let z = 1170 - h. Let b be 8/(-6)*(-6)/(-2). Which is smaller: z or b?
b
Suppose -5*t - 5 = 3*c + 1, t = -c - 2. Suppose -4*p - 32 = -2*w, -107*p = 4*w - 102*p + 1. Suppose 0 = -3*y - t*y + w, 5*u - 10 = -5*y. Is 3/86 greater than u?
True
Let x(d) = d**2 - d - 9. Let a be x(0). Let b be (6 + (6 - 12))/(-1). Suppose o = 2*y - 17, b*o + 4*o - y = -47. Which is smaller: a or o?
o
Let t = 12 + -24. Let y = 24 + t. Let u be (-7 - (-49)/(-7))/(-1). Which is greater: u or y?
u
Let m = -0.3 + 18.3. Let l = -1012.1 - -1030. Let q = l - m. Is q less than or equal to -14/15?
False
Let s = 441 - -208. Let c = 7097/11 - s. Let o be (-3 - (-27)/6)*-2. Which is smaller: o or c?
c
Let z be 1*1173/393 + -3. Suppose -4*b + m = -643, 4*b - 207 = -4*m + 461. Let h = 161 - b. Which is smaller: z or h?
h
Suppose 0 = 11*v - 34 - 43. Suppose 7 = -4*k + v. Is k <= -5/12?
False
Let g be -3*5/585*-111. Which is bigger: g or 4?
4
Let r be 2/(-3 - (-609)/201) + 1. Suppose -10*w + 3*w - 7 = 0. Let k be w/3 + r/51. Is 5 greater than or equal to k?
True
Let f = 3189 - 3190. Which is greater: f or 10?
10
Let d(t) be the second derivative of -t**4/12 + 11*t**2/2 + 69*t - 5. Suppose -2*p = 3 - 9. Let n be d(p). Which is bigger: 1/2 or n?
n
Let g be 70/7 + -19 - -5. Let h(l) = l**3 + 3*l**2 - 6*l - 5. Let j be h(-4). Suppose -7 - 1 = -a + j*u, 5*a - 3*u = 16. Is g bigger than a?
False
Suppose -5*x + 291 = -2*j, -j + 185 = 3*x + 3*j. Let p = 60 - x. Let m be p*-4 + 114/18. Is m less than or equal to 3?
True
Let s = -0.0929 - -235.4929. Let r = -236 + s. Which is smaller: r or -0.1?
r
Let c = 6949 + -6947. Is c not equal to 1/8781?
True
Let g = 3171 + -3186. Does g = 2?
False
Let r(x) = -x - 2. Let o be r(-6). Suppose 207*i = 214*i - 392. Suppose -4*b + i + o = 0. Which is smaller: 16 or b?
b
Let c(q) be the third derivative of -13*q**2 + 0 - 7/6*q**3 - 5/8*q**4 + 1/60*q**5 + 0*q. Let u be c(13). Which is greater: -32 or u?
-32
Let z be 97/(-291)*(-6)/(-4). Is z greater than 1195?
False
Let r(b) be the first derivative of 7*b**3/3 + 5*b**2 - 2*b + 76. Let s be r(-2). Which is smaller: 5/7 or s?
5/7
Let m(b) = 4*b**2 - 59*b - 66. Let j(x) = -x**2 + 9*x + 67. Let i be j(-4). Let t be m(i). Is t < 3?
True
Suppose 193*f + 840 = 188*f - 245. Is -190 not equal to f?
True
Let r be 192/(-128) + 745793/(-135598) + 7. Which is smaller: r or 0?
r
Let g = 0.086 - 97.886. Which is greater: -1/5 or g?
-1/5
Suppose 5*p = -3*x + 6, -6 = -62*x + 59*x - p. Let r be x/32*-18 + 4/32. Let q(y) = -y**3 - 3*y**2 + 3*y - 2. Let b be q(-4). Is r less than b?
True
Let s(c) = 442*c**2 - 23*c + 2. Let w be s(2). Suppose m - 3*m + 856 = 4*q, -4*m - 2*q = -w. Is m at least 432?
True
Let h = 688 + -703. Let d(c) = 18*c + 200. Let k be d(h). Is k greater than or equal to -1?
False
Suppose 0 = -3*m + z - 5 + 9, 9 = 4*m - 5*z. Let t be (3/(-30))/(m*(-2)/(-8)). Is 1.45 greater than t?
True
Let u = 7158 - 7159. Is u at most 1/10400?
True
Let h be (9/27)/(3/39). Let l(s) = 2*s**2 + 4. Suppose 0 = 24*a - 0 - 0. Let v be l(a). Which is bigger: h or v?
h
Let n be 56/(-16688)*(-7 + -3). Let y = 0 - 1. Which is smaller: n or y?
y
Let m = -0.194 - -169.694. Which is smaller: -1 or m?
-1
Let f(y) = 3 - 1 + 5*y + 12*y - 14*y. Let r be f(-5). Let h(s) = -s**2 + 4*s - 6. Let d be h(5). Is d < r?
False
Let l(y) = -11*y**2 + 61*y + 38. Let z(d) = -4*d**2 + 20*d + 13. Let i(v) = -6*l(v) + 17*z(v). Let f be i(-9). Suppose 125 = 5*g - f. Are 37 and g equal?
False
Let o = 1789/442935 - 6/965. Let f(s) = 3*s + 9. Let n be f(-3). Is n greater than o?
True
Suppose -7*i - 642 = a - 10*i, i = 2. Let c = -395 - a. Is c at least 241?
True
Let q = -605 + 621. Let x be 9/12 + (-268)/q + 3. Is x < -62/5?
True
Let x(s) = -206*s - 668. Let r be x(-3). Is r less than -140?
False
Let q = -703 - -372. Let f = 324 + q. Does -13 = f?
False
Let v = -2411/6 + 401. Suppose 3*t - 2 = 2*n, -12*t - 2*n = -14*t + 2. Is v less than t?
True
Suppose -5*n = 5*l - 275, 2*l + 76 = 3*n - 64. Let p = 5 + n. Let y be -2 + (5 - 7) - -59. Is p >= y?
True
Let c = 14804/2201 - 212/31. Let h = c - -2730/25489. Suppose 46*f = -85*f. Are f and h unequal?
True
Let x be ((75/(-375))/(6/(-20)))/3076. Which is greater: -1 or x?
x
Let u = 156.101 - 156. Let l = u - 7.001. Let a = l - -6.8. Which is smaller: -36 or a?
-36
Let k = -253.09 - -252.91. Let u(d) = 6*d**2 + 2*d. Let c be u(1). Are c and k non-equal?
True
Let h = 8182 + -8181.9998. Is -0.06 at most h?
True
Suppose 46*k - 44*k - 4 = 0. Suppose 5*j - k*b - 19 = 2, 20 = 2*j + 5*b. Suppose -5*i + j = 5. Is i greater than -2/19?
True
Let l(f) = 2*f**2 - f + 11. Let j be l(3). Suppose 2*n - 5 = 7*n. Let k be (n - 0)/((-4)/108). Is j smaller than k?
True
Suppose 0 = 2*a - 6 - 2. Suppose 0 = -a*j + p - 6*p + 30, p - 2 = 0. Suppose -2*x + 3*n - 13 - 27 = 0, 62 = -j*x - 2*n. Is x < -15?
False
Suppose 2*h = 2*o + 104, -2*o + 5*h = 178 - 62. Let p be 638/(-10208) - (-3)/((-144)/2341). Is o less than p?
False
Let q be 567/35 - (-2)/(-10). Suppose q = n - 2*n. Which is bigger: n or -59/4?
-59/4
Let n = -0.1 + 0. Suppose 265 - 7405 = -34*v. Let p be 45/v*8/(-30). Are p and n unequal?
True
Let i be (6*(-1)/(-8))/((-7)/56). Let z be 30/48*-6*7/i. Is z equal to 4?
False
Let v be (-4)/6*444/(-8). Suppose 21*w = v*w - 17*w. Is -12/95 less than w?
True
Let p be ((-475)/(-1250) - 2/25) + 1084/120. Which is bigger: 34 or p?
34
Let p = -5.07 + 0.07. Let g = p - 13. Let l = g + 16. Which is bigger: 2 or l?
2
Suppose -429*x + 440*x = -374. Which is smaller: -68 or x?
-68
Let n(c) = c + 18. Let k be n(0). Suppose 2*z + 107 = 91. Let i(m) = -m**2 - 9*m + 11. Let g be i(z). Which is smaller: g or k?
k
Let q(b) = b**2 + 7*b - 4. Let x be q(-7). Let t be 118/((-4 - x) + 2). Let u = t + -36. Are 24 and u equal?
False
Let g(q) = 5*q**3 - 23*q + 1. Let b(p) = 4*p**3 - p**2 - 22*p. Let y(n) = 4*b(n) - 3*g(n). Let m be y(6). Let v = 42 + m. Is 0 at least as big as v?
True
Suppose -2*b - 1218 - 1314 = 3*k, -4*b - 5104 = -4*k. Let q = 717 + b. Let h be 5 + 5