ller: q or k?
q
Let p = -10159/285 - 2/95. Let k be (-2470)/(-70) - (-4)/(-14). Let y = k + p. Which is greater: y or -4/3?
y
Let m = 82 + -58. Let g = -3389 + 3388.9. Which is bigger: g or m?
m
Let t = 235.75 - 149.88. Let w = -85.9851 - 0.0149. Let d = t + w. Is -4 != d?
True
Let w = 1273 - 1274. Let u = 2 + -3. Let a be (u/66)/((-2)/8). Is w equal to a?
False
Suppose -22498 - 3914 = -389*f + 10543. Let a(l) = -4*l**3 - 3*l**2 - 4*l. Let j be a(-3). Are f and j nonequal?
True
Suppose t + 3*l - 1 = 6*l, 4*t + l + 61 = 0. Let p = -954 + 942. Let n be (-376)/38 + -1 - p/(-114). Is t < n?
True
Let j(f) = -f**3 - 2*f**2 + 19*f + 21. Let m be j(-5). Let g be (-10)/(m/(6/(-606))*-1). Which is bigger: 1 or g?
1
Suppose 62*j = 61*j + 4. Let b be ((-2)/j)/(12/(-24)). Let t be (b/(-2))/((-5)/230). Is t greater than 24?
False
Let h = 1/47015 + -148528/351813245. Which is bigger: h or -1?
h
Let o = 1417 - 1559. Are -145 and o unequal?
True
Let p(i) = 8 + 9*i**2 + 10*i - 17 - 8*i + 8. Let y(q) = -q - 3. Let c be y(-6). Let f be p(c). Do f and 86 have the same value?
True
Let l be 3 + (3006/66)/(-3) - -12. Is l less than or equal to 1154?
True
Let h = -963277099145/8996 + 107078379. Let n = 9/52 + h. Suppose 3*c + 2*c + 4*v = 11, 2*c = 3*v - 14. Is c at most as big as n?
True
Let v = 7654 - 7657. Suppose 2*j + 3 = -5*t + 22, 4*j - 23 = -5*t. Let s = -5 + j. Is s != v?
False
Let g(l) = -3*l**3 - l**2 - 2. Let n(w) = w**3 - w. Let s(v) = g(v) + 2*n(v). Let x be s(-4). Is x equal to 55?
False
Let m be (-104)/(-12) + 1/3. Let f(v) = 15 - 13*v + 2 + 11*v. Let i be f(m). Are i and -2 equal?
False
Let d(x) = -2*x - 9. Let j be d(-2). Let m(c) = -c**3 - 4*c**2 + 3*c - 6. Let b be m(j). Suppose -b*u - 2 = 2. Is u < 2/17?
True
Let i be ((-4)/(-10))/((-16)/720). Let y(u) = -3*u - 60. Let h be y(i). Let t be (-6*(-28)/36)/(h/(-9)). Is t greater than or equal to 18?
False
Let f = -38298942/305 + 125570. Which is smaller: -1 or f?
-1
Suppose 0 = -3*f - 2*f - 15, -4*h = 4*f - 8. Suppose 3*o = -5*s + 10 + 10, h*o = -2*s + 8. Let z be ((o - 0) + 2 + 3)*-7. Is z bigger than -36?
True
Suppose 7*d = -q + 5*d + 3, q = 4*d - 15. Let m be q + (-1)/7*-25 - 0. Is m less than -35?
False
Let x = -21595207/112 + 192816. Is x at least as big as 1?
True
Let d = 2.2 - 2.108. Let z = d - -0.418. Let u be (3 - -1) + 15/(-4). Which is smaller: z or u?
u
Suppose 0 = 2*n - 7*n + 25. Let l = -978889/10 - -97893. Does n = l?
False
Let g = 3707 + -3460. Are 246 and g non-equal?
True
Suppose -36*y = -699*y - 1701110 + 10621775. Is y >= 13455?
True
Suppose 2*c = h + 836, 2*h - 510*c = -508*c - 1662. Are h and -833 equal?
False
Let n be -9 - 3/(-15) - 8/(-1). Is 2/919 equal to n?
False
Let m be (-1101)/(-10152) + (-7)/63. Which is smaller: m or 2?
m
Let g(m) = 2*m**2 + 127*m - 936. Let t be g(-73). Are t and 2259/5 unequal?
True
Suppose 4*h + 80 = 12*h. Suppose h*m = 6*m - 76. Are m and -15 non-equal?
True
Let l(t) = 3*t**2 - 12*t + 26. Suppose 4*n + 4*b - 17 - 3 = 0, 2*n = -4*b + 6. Let o be l(n). Is o less than 88?
False
Suppose 0 = 2*y - 12*n + 9*n + 1444, 5*y + 5*n = -3610. Let q = y - -829. Is q at most 107?
True
Let u = 898/751 - 1726894/24783. Is u < -68?
True
Let n be (-2 + 5)*1 - 0. Let i(r) = 8*r - n*r - r - 4 - 9. Let j be i(3). Is -4 at least j?
False
Suppose -5*o + 14 = a, -5*o + 8*o - 4 = -5*a. Suppose -2*u + o*u + k + 2 = 0, -3*u - k = 0. Which is smaller: -1/303 or u?
-1/303
Suppose 0 = -30*f + 25*f - 15, -239 = 4*d + 5*f. Let j be -5*(-7 - d) - -5. Is j greater than -240?
False
Let s(r) = -89*r - 807. Let g be s(-6). Is -274 at least g?
False
Let x = 2675 - 2677.063. Let f = x - 0.937. Let v = 14 + -21. Is v greater than f?
False
Let v = 12989 + -6073. Is v at most as big as 6916?
True
Let c(o) = o**2 - o - 16. Let m be c(5). Suppose x - 7*y + 8*y - 5 = 0, -36 = -m*x + 4*y. Which is smaller: x or 16?
x
Let m = -1.5 - -2.1. Let u = -365.7 + 359.7. Which is smaller: u or m?
u
Suppose 3*i = -2*h - 1484, -4*h + 2*i - 3258 = -338. Which is smaller: h or -2935/4?
-2935/4
Suppose 5*w = 10*w. Let p = 1809020/171 + -10579. Let c = -149/2907 + p. Which is smaller: c or w?
w
Let v = -204 + 211. Let q be (15/v - 2) + (-5240)/30800. Is q less than or equal to 0?
True
Let n(x) = 5*x + 45. Let q be n(-8). Suppose 4*k = q*a - 784, -609 - 143 = 4*k + 3*a. Are k and -189 equal?
False
Let v = 2 - 1. Suppose 3*c = -4*t - v, -2*t = -c - 6*t - 3. Let f be ((2 - -6) + (14 - 22))/1. Which is bigger: f or c?
c
Let z(t) = -10*t**2 + 116*t + 1138. Let x be z(-11). Which is smaller: x or 1/3?
x
Let z = 1040 + -2560. Let g = -6031/4 - z. Which is smaller: g or 13?
g
Suppose -5*f - 95 + 15 = 0. Suppose 97*h - 116*h - 2660 = 114*h. Which is smaller: h or f?
h
Let w = -25167 + 251669/10. Do -343/5 and w have the same value?
False
Suppose 0 = -5*y - 4*n - 220, y - n + 2*n = -45. Let o be ((-18)/5)/(4/y*2). Suppose -3*d - h = -0*d - 17, 4*d - h = o. Do 3 and d have the same value?
False
Let t = -146 + 143. Let g(o) be the first derivative of o**3/3 + o**2 - 2*o + 2. Let s be g(t). Which is greater: s or -0.6?
s
Let a = 1 + -2. Let z be (-14)/(-40) + a/2. Let v be 66/(-328) - (-22 - 21696/(-984)). Are z and v equal?
False
Let u be 14/9 + 1325436/(-746604). Do -1 and u have the same value?
False
Let k be 350/(-9975) - (-14)/38. Which is bigger: k or 0.04823?
k
Let l = -455/6 - -229/3. Suppose -2*f = 4*f. Let p be (0 - 1)*f/14. Is l <= p?
False
Let i be (-20)/(-10)*117/26. Which is greater: i or 60?
60
Let s(o) be the third derivative of 7*o**4/24 - 109*o**3/6 + 3*o**2 + 54*o. Let g be s(15). Which is bigger: g or -26/5?
g
Let r be 65/40 + -2 + (6 - (-641830)/(-114160)). Which is smaller: r or 1?
r
Let u be 7 + (-1 - 0) - (7 - 33645/33630). Which is smaller: 1 or u?
u
Let z be -24 - 1 - (18 + -10). Let m be (z + 30)*((-79)/(-15) + 1). Is m not equal to -20?
True
Let i be (-5 - -2) + 1656 + -4. Let u = -37918/23 + i. Which is bigger: u or -1?
u
Let o = 138762.4 + -138762. Let s(v) = 4*v**3 + v - 1. Let w be s(1). Let t be (-5)/9 + w/18. Is t not equal to o?
True
Let j be -2*(28/126 - (-47)/(-9)). Suppose j*g = 39 - 119. Are -8 and g nonequal?
False
Let j be 8 + (-171)/90*4. Which is smaller: j or -1273?
-1273
Suppose 5094 + 2226 = 8*n. Suppose -11*d - 2 = -n. Let f = -48 + d. Which is smaller: 36 or f?
f
Let q = 6456.7 - 6458. Do -2/19 and q have different values?
True
Let a = 12458 - 8764. Do a and 1 have the same value?
False
Let x be (3 - 578) + 3*(-3 - -2). Let y = x + 574. Which is bigger: y or -2?
-2
Let j = -3/2209 + -1055881/15463. Is -69 <= j?
True
Suppose 92*i - 99*i = 3192. Let u = i + 416. Is -0.03 greater than u?
True
Suppose 42 = -s + 92*q - 87*q, 2*q + 7 = -s. Which is bigger: -9 or s?
-9
Let j = -3940/21 + 571/3. Let l = 19 + -17. Which is greater: l or j?
j
Let s = -825 - -831. Suppose 4*o + 40 = -o. Which is smaller: o or s?
o
Suppose -9*j - 15 = 6*j. Let y be 483/(-4) + (-3)/12*j. Let x = 126 + y. Is 6 equal to x?
False
Suppose 9*x - 16 = 20. Suppose -2*s = 3*r - 8 + 22, -5*s = x*r + 21. Does 0.079 = s?
False
Let q be -11 + ((-382855)/(-6963))/5. Suppose n + 1 = h, -n + 5*h + 0 - 1 = 0. Which is smaller: q or n?
n
Suppose 39*r = 57*r + 9216 - 2592. Is r at least -733/2?
False
Let x = 5.2572 + -0.0372. Let o = 5.02 - x. Is o at least as big as 0.01?
False
Let c = 14961 + -14959. Suppose 5*n - 3*x = n + 203, 227 = 4*n + 5*x. Suppose n = -4*l - 3*d + 9, 0 = c*l + d + 20. Are -8 and l equal?
True
Let o = -2415 + 2052. Which is greater: 3 or o?
3
Let v = -5757 + 17269/3. Which is smaller: v or -4051?
-4051
Let k = -101.1 + 108. Let j = -43.9 + k. Let c = 36.8 + j. Is 1/3 <= c?
False
Let o(d) = -258*d - 7. Let a be o(-1). Let c = -2743/11 + a. Is c at least 9?
False
Let y = -680.5 + 511. Let d = y - -3.5. Which is greater: -0.1 or d?
-0.1
Let l be (-1312)/(-6396)*(-3)/1876. Is l at most as big as 1?
True
Let y = 2127/6184 + 24/773. Which is smaller: 20/37 or y?
y
Let i be (56/132 - (-2)/(-22))*6/(-7). Which is greater: -0.049 or i?
-0.049
Suppose a = -4*l - 3*a - 284, -5*l = -3*a + 363. Let d = 119 + l. Suppose -3*k + 155 = d. Which is bigger: k or 35?
k
Let l = -144/121 + 34312/363. Let m = l - 4748/51. Let p = 2358 - 2357. Which is bigger: m or p?
p
Let g(j) = j**2 + 17*j + 16. Let v be g(-16). Let