- 3*v = 1190 - 935. Which is bigger: s or 134?
134
Let m be (48/6288)/((-3)/(-1)). Let v = m + 2351/2751. Is 3/14 <= v?
True
Let r be (6/(-358))/((-1236)/4938). Let h = r - 21972241/511811120. Let w = -4/347 + h. Which is smaller: -2 or w?
-2
Let l be (242/456 + 10/(-20))*9. Is 1 greater than l?
True
Suppose -5*l + 4*h - 2553 - 3438 = 0, -4*h = 4*l + 4764. Which is bigger: l or -1197?
l
Let s = 34.63 + -34.63. Which is smaller: s or -0.849?
-0.849
Let a = 1.2 - 1.6. Let o = a + 0.5. Let y = -3197 - -3203. Are o and y equal?
False
Let v = -13.21 + 0.21. Let q = -37.122 - -36.8. Let d = 0.122 + q. Does v = d?
False
Let h be (-534362)/1191 + (1 - (-12)/(-9)). Which is bigger: h or -450?
h
Let i = 9915.43 - 9980. Let u = -0.57 - i. Let w = -65 + u. Are 15 and w nonequal?
True
Let z be (5 - (-6 - -7))/(1/2). Suppose z*y + 1400 = -17*y. Is y equal to -56?
True
Let w be (-36)/(-7)*(-6 - (-950)/(-75)). Suppose -2*q - 3*q + 25 = 0. Suppose 475 = -q*i - 0*i. Which is smaller: i or w?
w
Let x(m) = -9*m - 9. Let i be x(-2). Let n be (-1)/i + 322/63. Suppose -5*k + 4*k - z = -7, -5*k + n*z = -85. Which is smaller: k or 13?
k
Suppose 0 = 31*s - 102394 + 44711 - 101316. Is 10257/2 smaller than s?
True
Let d be 2*-1 + (-1056)/(-540). Let u be ((-16)/6 + 3)/(3/27). Suppose 4*l + 1 = 3*w, u*l + 3 = -2*w + 2*l. Which is smaller: d or w?
w
Let b = 18344 + -4079. Suppose 5429 = 47*j + b. Which is greater: -190 or j?
j
Let o = -105.439 - -0.039. Let z = -74 - o. Let n = z + -2.4. Which is smaller: n or -0.1?
-0.1
Let l(n) = 18*n**2 + 33*n + 77. Let q be l(-2). Let i be 4 + -1 + (0 - -2). Suppose b + 5*a = -q, i*b - b = 5*a - 207. Is b at least -58?
True
Let w = 343/4 + -86. Let v = -11.5 - -12. Which is smaller: w or v?
w
Let i = -572 - -571. Let n(u) = -u**2 - 4*u - 1. Let b be n(-5). Let f be (2/(-3))/((-19)/b). Is f at least as big as i?
True
Let y be (-393 - -353)*87/(-5). Which is greater: 2086/3 or y?
y
Suppose -9 = -3*c - 3*v, 2*c = -4*v + v + 8. Let b = 36 - 36. Let f be b/((4 + -6)*1). Which is bigger: f or c?
c
Let t = 40 + -41. Suppose 5*h - 12*h - 2982 = 0. Let g be (h/(-120) + -4)*(-5)/6. Which is bigger: t or g?
g
Let r be ((-192)/(-1))/(-1 + (-1391)/2). Let z = r + -2/199. Is 145 less than or equal to z?
False
Let l be 2 + 418/(-4 - -2). Let b = l + 219. Is 4 != b?
True
Let c be 6/27 - ((-217)/372)/((-3)/(-4)). Is 2/30513 greater than or equal to c?
False
Let f = -15324 + 14704. Which is bigger: 0.1 or f?
0.1
Let r = -2 - -3. Let t = 85 - 120. Let w = t - -34.99. Which is bigger: r or w?
r
Let i be (-2)/1 + 2 + 28. Let g be (-2)/(-11) + (630/165 - -3). Let j be -2 + g + -44*(-9)/18. Which is bigger: i or j?
i
Let h be ((-30)/25)/((-3)/10). Suppose -28 = h*f - 4*g, -g = 4*g - 15. Let j be -2*((-10)/f + -3). Which is greater: 1/8 or j?
j
Let n = -6685135/66 - -101286. Let d = n + 56/11. Suppose 2*p = 3*h - 1, 5 - 3 = 5*p - 3*h. Which is bigger: p or d?
d
Let o be 3*((1 - -5) + -1). Let q = -9.87 - -61.27. Let y = -51.7 + q. Which is smaller: y or o?
y
Let f be (-96)/(-36)*15270/(-8). Is -5090 at most f?
True
Let n be 3 + 433/(-145) + 0. Let d(l) = 6*l**2 + 5*l. Let b(j) = j**2 + j. Let a(o) = 5*b(o) - d(o). Let s be a(1). Which is bigger: s or n?
n
Suppose -2*p = -4*p + 2*n + 44, 2*n + 92 = 4*p. Suppose p*s - 1 = 23*s, -3*s - 12 = 5*h. Is h at least -108?
True
Let w(u) = 5*u - 2. Let j be w(2). Let n = -26 - -27. Suppose n = j*o + 9. Is o less than 1/10?
True
Let r = -143 + 136. Let t be ((-24)/(-20))/(r/35). Is t < -6?
False
Let j = 0.9 + -0.8. Let m = 2.26 + 2.84. Let p = 25.9 + m. Are j and p equal?
False
Let v(r) = -r**2 + 16*r + 1. Let w be v(15). Let l be (-12)/9 + w/(-6). Suppose 0*u = 8*u - 16. Which is bigger: l or u?
u
Suppose 0 = 2*o + 3*o, -w - w - 5*o = -1074. Which is smaller: w or 544?
w
Let f be 7 + -3 - 2 - 5. Let j = 2350 + -2335. Is j less than or equal to f?
False
Let y = -3 + 1. Let x(h) be the third derivative of h**4/12 + 5*h**3/3 - 66*h**2. Let a be x(-5). Is a <= y?
False
Let x be 32 + -43 + 0 - (12949 + 0). Which is bigger: x or -12961?
x
Let o(c) = c**3 - 8*c**2 + 11*c - 68. Let l be o(8). Let a(x) = x**3 + 5*x**2 - x - 1. Let u be a(-4). Let q = u - l. Which is bigger: q or -3?
q
Let c be (-19 + 7)*(-1)/(-3). Let x be (-30)/27 + c/(-6). Let d = 7/36 + x. Is 1.7 less than d?
False
Let j be (-4)/34 + 320221/(-229534). Let g = -2/157 - j. Is g at least as big as -16?
True
Suppose -5*n + 5*z = 55, -4*n + 38*z - 35*z = 46. Which is greater: -559/44 or n?
-559/44
Let q(y) = 4*y - 3. Let p be q(2). Let w(m) be the first derivative of -m**3/3 + 9*m**2/2 - 49*m - 237. Let u be w(p). Which is smaller: u or 1?
u
Let r be 1 + 2/1 + 4 + -4. Suppose -30 = -r*a + 3*o + 282, -213 = -2*a + 3*o. Suppose -3*c = -5*l + a, 2*l = -c - 3*l - 13. Is -29 not equal to c?
True
Suppose -132 = -2*p - 3*n, 22*p + 5*n - 428 = 16*p. Do p and 384/5 have the same value?
False
Let y = 359 - 360. Let n be (-3948)/790 - (13 - 18). Is n bigger than y?
True
Let w(s) = 26*s - 34. Let g be w(5). Let i be (1/1)/(12/g). Which is smaller: i or 48/7?
48/7
Let s(m) = -m**3 + m**3 - m**3 + 9 + m + 8*m + 8*m**2. Let b be (-1)/((-8)/12 - -1) - -12. Let f be s(b). Which is smaller: 0 or f?
0
Let n = -649.21721 - -0.21721. Is -3 at most n?
False
Let m = -1884 - -15047/8. Let a = m + 599/120. Which is smaller: 0 or a?
0
Let m = -43 - -47. Suppose m*n + 3*i - 25 = 14, -n + 11 = i. Let h(l) = l**2 - 8*l + 12. Let a be h(n). Are a and 1/9 non-equal?
True
Let p be (-7)/14*0*2/(-4). Let b be -10*(-2)/(-4) - p. Let z = 51/7 + b. Which is greater: z or 3?
3
Let n be 33333/2255 - (11 - -3). Is 1 smaller than n?
False
Let i = -68 - -82. Let a be ((-36)/42)/((-2)/28). Suppose 0 = -c + a + 3. Is i less than c?
True
Let k(v) = 2*v**3 + 5*v**2 - 9*v + 1. Let h be k(4). Let j = 174 - h. Does -5/24 = j?
False
Let y be (-1)/((-21)/(-12) + -2). Suppose 2*g - 29 - 1 = 5*m, m = -y*g + 38. Let w = -1918/3 - -648. Is g < w?
False
Let k(x) = -x**2 - 3*x + 6. Let n be k(-6). Let a be 4*(n/1952)/(-1). Let l = -1227 - -1226. Which is greater: a or l?
a
Let r be 4/(-58)*((-742)/(-42) - 15). Which is greater: r or 0?
0
Let s be 3050/(-427)*((-63)/(-3))/(-3). Is 67 at least as big as s?
True
Let a = 343100 + -95724896/279. Let x be (3/(-6))/((-1)/(-2)). Which is bigger: x or a?
a
Suppose -44*o = -39*o + 4990. Let c be o/498 - (21 - 23). Which is smaller: 0 or c?
c
Let o be (-4)/178 + 43454710/(-42898). Is o > -1003?
False
Let v = -16677859/13 - -1284217. Is v greater than 1304?
True
Let d = 496 - 1248. Let v = -570 - d. Which is bigger: v or 180?
v
Let p = 68 + -66. Let d(r) = -16*r + 32. Let g be d(p). Which is bigger: g or -9/10?
g
Let r be -2 + (134/13)/1. Let z(k) = 1042*k + 4175. Let g be z(-4). Which is bigger: g or r?
r
Let z = 3220 + -3466. Which is smaller: -262 or z?
-262
Suppose -4*n - r - 411 = 0, -n + 4*r - 111 = 7*r. Let o be (n/(-70) - 33/55)*-21. Suppose 47 = -5*q - 48. Is o >= q?
True
Let i be 4/14 - (-90)/(-21). Let s = -0.004 - 34.996. Let r = -35.2 - s. Which is bigger: i or r?
r
Let v be 85*(-1 - (-7)/5). Let b(g) = -g**3 + 20*g**2 - 19*g + 35. Let q(t) = t**3 + 4*t**2 - 8*t + 4. Let o be q(-5). Let n be b(o). Which is greater: v or n?
n
Let g be 32/32*3*114/(-189). Does g = 5?
False
Suppose -25*p - 170 - 3015 = -90*p. Which is bigger: 61 or p?
61
Let g(f) = -f - 33. Let b be g(-39). Suppose -3*u = -b*u + 792. Which is smaller: 265 or u?
u
Let y be (1/(-3))/((-2)/(-12)). Let r be (-2*3)/(392/77 + -5). Let f be (y/(-3) + -1)/((-308)/r). Do f and 3 have the same value?
False
Let p(s) = -s**3 + 2*s**2 + 21. Let g be p(-3). Let m be (-21)/2*(-44)/g. Is 22/3 at least m?
True
Let s = -476 - -78. Let b be -401 + -1 + (-15 + 3)/(-3). Is b <= s?
True
Let v = 125.59 + -126.49. Which is greater: 774 or v?
774
Let x = -4.93 - -5. Let m = -0.095 - 72.905. Let w = -74 - m. Is x greater than w?
True
Let x = 17 - 14. Let t(j) = j**3 + 16*j**2 - 34*j + 37. Let l be t(-18). Which is smaller: x or l?
l
Let k = 38 - -10. Let u = k - 52. Do 1/9 and u have different values?
True
Suppose -22*k - 19 - 47 = 0. Let l be k/(-5)*(-90)/(-36). Which is greater: 1 or l?
l
Suppose 3*u + 0*u - 118 = -2*r, 0 = 2*r + 5*u - 118. Suppose -r = 3*f + 13. Suppose -6 = -388*g + 39*g - 7684. Is f bigger than g?
False
L