 z?
107
Let l = -3984 - -3985. Is -1/1106 > l?
False
Suppose -22*h + 59 = -a + 60, 2*a - 3*h = 2. Is a <= -81/167?
False
Let a = 41414 - 78807/2. Is a less than 2010?
False
Suppose 50*y + 66*y = -45*y - 445487. Which is smaller: y or -2765?
y
Let b be -1 + 0/(-1) + 1279. Suppose -7*y + b = -9*y. Let z be y/36 - (-2)/(-8). Do z and -20 have the same value?
False
Let k = -3251 + 3250.7. Which is bigger: k or -237?
k
Let w = -4/19 + -11/38. Suppose -29*j - 8899 = 14359. Let p = j - -801. Which is smaller: p or w?
p
Let d be -3 + 1 - ((-120)/27)/2. Let v(a) be the first derivative of a**3/3 + 5*a**2/2 + 6*a - 25. Let g be v(-3). Is g less than or equal to d?
True
Let y(r) = 2*r**2 - 576*r - 578. Let c be y(-1). Let k be (0 + 6)*5/(-58). Is c greater than or equal to k?
True
Let d be 0*((-15)/6 - -2). Suppose 5*c + 5 + d = -5*x, -5*c + 23 = -2*x. Suppose 15 = c*u + 2*u. Which is smaller: 2 or u?
2
Suppose -2*o = -5*t - 9031, 23*o + 2*t - 4529 = 22*o. Which is smaller: o or 4524?
o
Let y be 6/(-6 - -3)*-2. Suppose -y*z + 5*z = 3*h - 10, 0 = 5*z - 2*h + 11. Let f be (-135)/210*(-8)/18. Which is greater: z or f?
f
Let v = -10280 + 10354. Let f = -780.7 - -857. Let j = f - v. Is -0.1 <= j?
True
Suppose -2*p - 64 = 2*p + 2*u, 4*p = -u - 64. Let i be p/5*(-20)/14. Let f = 8844 + -8840. Is f greater than or equal to i?
False
Let a = 94166/5 - 4047668/215. Which is bigger: 8 or a?
8
Let a be (-36023)/(-234) - (-1)/18. Is a greater than 40?
True
Let j = -2 - -4. Let q = -1.6 - j. Suppose -4*a - 71*y + 2 = -68*y, -a = -3*y + 7. Which is greater: a or q?
a
Let v(a) = -a**2 + 1. Let q be v(0). Suppose -3*f - 178 = 8. Let r be (-20)/10 + f/(-32). Is q at least as big as r?
True
Let x(i) = -i**3 - 8*i**2 + 35*i + 118. Let p be x(-3). Which is greater: -432/13 or p?
p
Let c(n) = -190*n + 3799. Let h be c(20). Let i(r) = 3*r + 3 - 3*r + r - 5. Let b be i(3). Which is greater: h or b?
b
Let s = 93 + 4. Let n(q) = -28*q**3 + 6*q**2 + 11*q + 6. Let f be n(-2). Suppose -4*k + 152 + f = 0. Are s and k unequal?
True
Let z = 1 + 7. Let j be z/(-30)*(-16 + 40). Let a(i) = -3*i**3 - 19*i**2 - 4*i + 6. Let m be a(-6). Which is smaller: j or m?
j
Suppose 5*r - 5*u - 2840 = 0, 655 + 1612 = 4*r - 5*u. Is 575 at most as big as r?
False
Let a = 3976 + -4048. Is -70 greater than or equal to a?
True
Let w be -6 + -780 - (-64)/96. Do w and -784 have different values?
True
Let b = -697.2 - -397.2. Is 0.4 at most as big as b?
False
Suppose u - 29*t = 81 - 325, -5*u + 3*t = 936. Is -175 less than u?
False
Let r be (1/9)/(1000/414960). Let y = 111/25 - r. Which is bigger: y or -41?
-41
Suppose 837*p = -143954 + 3338. Let g = 0.2 + 0.8. Is g > p?
True
Suppose 3*n + 134 = 4*x, 3*x + 0*x - 88 = 2*n. Let p = n - -64. Which is smaller: 13 or p?
13
Let r = 0 - 3. Suppose 3*g = -0*g - 132. Let b = g + 175/4. Which is bigger: b or r?
b
Let s be (-2 + 43)*(-24)/312 - (-4)/26. Does -122/81 = s?
False
Let x = 37480 + -37491. Which is smaller: 198 or x?
x
Let t be (-27)/63 - 1875/84 - (-3)/4. Are t and -21 non-equal?
True
Let w = -170 + -33. Let a = w - -175. Which is bigger: a or 0?
0
Suppose r - 13042 = -4*d + 30295, -54169 = -5*d + r. Is d at least as big as -1?
True
Let q = 487 + -533. Which is greater: q or 0.17?
0.17
Suppose -o = 3, -5*s - 5*o = -3*s + 1. Let n(a) = -a**2 - 3 + 6*a - 3*a + 3*a. Let h be n(s). Which is smaller: h or -13?
-13
Let z be (144/(-288))/((-1 - -2)/(-716)). Suppose -3*y + 7*y + k - z = 0, -3*y + 260 = 5*k. Is y < 92?
True
Let q(z) = -z**2 - 3*z + 22. Let d be q(-6). Suppose 31*l = -128 - 27. Which is bigger: d or l?
d
Suppose 0 = -o + 262 - 266. Let r be 2/o + (-1)/(4/(-6)). Are r and 2/71 nonequal?
True
Let r = 0.37906 + 0.02094. Which is smaller: r or 540?
r
Let l be (-8)/1 - 41/((-27265)/62860). Do 87 and l have the same value?
False
Let z(w) = -10 - 8 + 25 - 12 - w**2 + 12*w. Suppose 3*o = -2*h + 23, -2*h - 6 = o - 27. Let b be z(h). Which is greater: 11 or b?
b
Let l = -0.09668 + -2231.90332. Is l != -0.3?
True
Let o = -6623 - -6653. Which is smaller: o or -34?
-34
Suppose 8*g - 3*g + 45 = 0. Let x = g + 4. Let f be (-9)/x - (-8 - -9). Is f at most -2/3?
False
Let v = 0.03529 + -733.43529. Let y = -737 - v. Which is bigger: -0.05 or y?
-0.05
Suppose -79 = -u - 27. Let w = 14866 - 14862. Suppose w*b + 28 = u. Which is smaller: b or 4?
4
Suppose 0 = 2*o - 5*y - 23, -14*o - y + 17 = -18*o. Which is greater: -133/27 or o?
-133/27
Let y = -48651061/3110 - 112/1555. Which is smaller: y or -15643?
y
Let w be (-3)/(36/(-66))*2. Let v(p) = p**2 + 3. Let y(c) = c**2 - 5*c + 7. Let x be y(4). Let a be v(x). Which is bigger: w or a?
a
Let o(y) = -3*y**2 - 41*y - 121. Let g be o(-4). Let s be 168/(-9) - 4/(-6). Let v = s + 8. Which is smaller: v or g?
v
Suppose -30 = 13*l - 23*l. Let b be (-5)/(-5)*(-316 - (l + -5)). Let g = -216 - b. Is 98 greater than g?
False
Let l be ((-5)/(-7))/(318527/(-45507) + 7). Which is smaller: l or 1478?
l
Let o = -0.52 + 0.5. Let g = 19.5 + 210.5. Let n = -230.5 + g. Is o at most as big as n?
False
Suppose -238*h - 157*h = -11906 - 52479. Is h bigger than 45?
True
Let d = 388.94 - 395. Let s = d + -5.94. Which is smaller: s or -2/11?
s
Let f(v) = -v**3 - v**2 - 2*v - 3. Let p be f(-2). Suppose 6*y + 52 = 4*m + 2*y, -p*m = -y - 57. Which is smaller: 16 or m?
m
Let g(o) = -5*o**2 - o + 47. Let c be g(3). Which is smaller: c or 6028?
c
Suppose -903 = -61*l - 2916. Is l less than -10?
True
Let r(y) = y**3 - 2*y**2 - 2. Let d be r(2). Let h be (-628)/158*1 - (-9 + 5). Is d at most h?
True
Let i(s) = -3*s + 2. Let a be i(3). Let j be (-3 - -3)/(a - -4). Let t be j - (-1 + (0 - -2)). Which is greater: -1/44 or t?
-1/44
Let q = 54571 + -54572. Let g = 114 - -578. Which is smaller: g or q?
q
Suppose 4*w = 16*l - 19*l - 25, -12 = 3*w. Which is greater: l or -42/19?
-42/19
Let o = -348 - -580. Let p = -72 + o. Are p and 159 unequal?
True
Let f be (-98)/(-7)*10*2/8. Suppose 0 = -36*x + f*x - 11. Let w(l) = -l**3 - 10*l**2 + 17*l + 12. Let u be w(x). Which is greater: u or -53?
-53
Let g = 11653247/2444 - 522/611. Which is bigger: g or 4766?
g
Suppose -78*r + 63*r + 180 = 0. Suppose -4*s = -4*z + 812, 7*z = r*z - 2*s - 1000. Which is smaller: z or 200?
z
Suppose -1271*p = -1226*p + 83025. Is p < -1839?
True
Let w(u) = 7*u**2 + 6*u + 6. Let q be w(-4). Let k(r) = -r**2 - 73*r - 1148. Let l be k(-46). Is q < l?
False
Let b be ((352/4312)/(5/28))/((-1)/605). Is b not equal to -278?
True
Let q(h) = h**3 - 3*h**2 + 13*h - 35. Let s be q(3). Suppose -4*j + c + 17 = 0, -5*c = -s*j + 23 + 14. Which is smaller: j or 34/11?
j
Let r = 2/41351 + -41507/3225378. Which is greater: r or 1?
1
Suppose 5*x - 250 = -a + 135, 0 = 4*x + 2*a - 308. Suppose -36*p - 16354 = -155*p - 102*p. Is p less than x?
True
Let l be (29 - 28)/(2/24). Let q be (-19848)/24660 + l/15. Is q <= 1?
True
Let j(p) = -13*p - 2. Let a be j(-3). Let y = -5964 + 6000. Is a less than y?
False
Let z be -10 - (3275/(-15) + -14). Which is greater: z or 221?
z
Let u(b) = -b**2. Let d(o) = 2*o**3 - 8*o**2 - o - 9. Let p(i) = -d(i) + 5*u(i). Let m be p(3). Let v be -3 + -1 + m + 1. Is -20 smaller than v?
True
Let z = 12115.1 + -12115. Which is smaller: -765 or z?
-765
Suppose 1 = 11*t - 54. Let j be 2/14 - 530/(-14). Let s be (-14)/(-14) - j/(-12). Is t at least as big as s?
True
Let f(q) = 7*q**3 - q**2 - 27*q - 31. Let b be f(-2). Is b greater than -178/5?
False
Let c = 6289 - 5898. Is 2 at least as big as c?
False
Let s = 33 - 32.825. Let q = -2457 + 2457. Is q at most as big as s?
True
Let y be -5 + (-126)/(-24) + 143/52. Suppose -3*f = -4 - 2. Suppose f*m = -5*t + 2, 4*t + 5*m + 10 + 2 = 0. Are y and t equal?
False
Let z = -2 + 3. Let t be (-1 - 3)/(7 - 5764/824). Let n = t - -829. Is n bigger than z?
True
Let v = 0.04764 - -57.95236. Let k = -28.6 + 86.1. Let d = v - k. Is 12 at most d?
False
Let c = 21 + -35. Suppose -121*p + 126*p + 40 = 0, 3*z = 5*p - 5. Which is smaller: c or z?
z
Let v = -5594 - -5595. Is v at most 2/14701?
False
Let w = -99.3 - -102. Let a = -2.623 + w. Let b = 0.377 - a. Which is greater: -14 or b?
b
Let i be (-3 - 15100/(-5032))*(12 + -9 + 4). Which is smaller: 0 or i?
0
Suppose 0 = -0*f + 2*f + 3*w - 23, 0 = -2*f - 5*w + 33. Let c be 94/f + (-2)/4. Suppose -5*d + 3*t = -136,