r n?
d
Suppose 13*n - 7168 + 1357 = 0. Let p = n + -472. Does -103/4 = p?
False
Let x = -63/41 - -611/451. Which is smaller: x or -1647?
-1647
Let s(j) = -3*j**2 - 28*j + 392. Let t be s(-17). Let d = 233 + -7685/33. Is d greater than t?
False
Let u be ((-112)/(-2114))/(26/39). Which is bigger: u or -1?
u
Let d = 331/13 - 51/2. Let f(y) = 66*y - 395. Let h be f(6). Suppose 0 = -a, 4*u - a + h - 5 = 0. Which is smaller: d or u?
d
Let x(i) = -2*i**3 + 41*i**2 - 13*i - 8. Let z be x(10). Is 1962 not equal to z?
False
Suppose 3*p - 7 = 5. Let m be -5*(-72)/200*(-100)/15. Let d be ((-7)/m - 1)*(-6)/p. Which is greater: d or 2?
2
Let v be 5436/(-21) + 35/(-245). Do v and -1298/5 have the same value?
False
Suppose 3*c + 2*d + 25 - 90 = 0, 4*c - 5*d = 33. Let b = 28 + -14. Which is smaller: b or c?
b
Let n be 6/(-10)*(-18)/(432/40). Is 14/751 greater than n?
False
Let f = -3839/30 - -128. Let x(l) = -2*l - 9. Let y be x(-5). Which is smaller: f or y?
f
Let z be (-11)/(-9735)*-10*(-3)/(-22). Is 0 at most as big as z?
False
Suppose 4210 - 84120 = -45*c - 80. Which is smaller: 0 or c?
0
Let g be ((-4)/2)/(12/18*-1). Suppose -5*f = -g*f + 2. Let q be 90/217 - 4/14. Which is smaller: f or q?
f
Let l be 6/15 - ((-26716)/(-22540) - 1). Let i = 4/23 - l. Let k = i + 55/147. Is k at most 0.039?
False
Let m(a) = -a**3 - 10*a**2 + 24*a - 62. Let o be m(-12). Let n be 22/5 - o/(-155). Which is smaller: 2 or n?
2
Let z = 38.6 + -37.7. Is 2/133 at most as big as z?
True
Let m = -2030.59 - -1916.1. Let v = m - -114. Is v != -0.3?
True
Suppose 174981 = -1934*x + 1861*x. Is 1 not equal to x?
True
Let c = -5.264 + 31.264. Which is smaller: -16 or c?
-16
Let r be (-1702 + (2 - (-7 - -9)))/(6/2). Which is smaller: r or -566?
r
Let j = -7592 - -7682. Is j greater than 911/10?
False
Let b = -256.7 - -256. Let w = -23.1 + 23. Which is smaller: b or w?
b
Suppose 20 + 17 = -q. Let o = q - 20. Let h = o - -46. Is -39/4 at most as big as h?
False
Suppose -103*o = -15*o - 6*o. Which is greater: o or -4/797?
o
Let f(r) = r**2 + 14*r - 15. Let a = 17 + -17. Suppose 5*y + 2*s = -83, a*s - 4 = s. Let i be f(y). Which is smaller: 15 or i?
i
Suppose 22*h - 25*h = 120. Let p = h - -19. Let l = -23 + 0. Does p = l?
False
Let b be (-8)/(-28) + (75/(-30))/(14/(-4)). Is b less than -2/13381?
False
Suppose -2*h + 3*r + 5 = 0, 3*h + 2*r - 6*r = 7. Let y be (4/(-8) - h) + (-1)/(-2). Let q = -17277/19 - -909. Is y at most as big as q?
True
Let g = 5.764 - -0.036. Let k = 7.8 - g. Let o = 0.11 + -0.1. Are o and k unequal?
True
Let w = -9 - -14. Suppose w*r - 2*b - 74 = 0, r - 6*r = 3*b - 64. Is r smaller than 27/2?
False
Let t be (-12)/(-14)*28/6. Suppose -273 = -67*q - 5. Are q and t non-equal?
False
Let h = -2.42 - 23.58. Let q = -0.053 - 29.947. Let i = h - q. Which is bigger: -2 or i?
i
Let t = 1293 - 1269. Suppose 4*x + t = 7*x. Suppose 0 = 5*w + 2*b - 46, -4*w = -0*w + 5*b - 47. Is x < w?
False
Let q = -244994 - -1711221/7. Let f = 536 + q. Which is smaller: 2 or f?
2
Suppose -10*h + 1360 = -480. Let p = h + -551/3. Which is smaller: -59 or p?
-59
Let t = -13194529/83 + 158968. Which is smaller: t or -3?
-3
Let q(n) = 3*n**2 - 8*n - 7. Suppose -2*r = -0*r - 4*g + 6, g = -2*r + 14. Let h be q(r). Which is smaller: 32 or h?
h
Let j = -219 - 1136. Let g be (-22)/(-121) - j/(-11). Let p be g/(-406) - (-34)/(-119). Is p < 0?
False
Suppose 9*f - 14 = 2*f. Suppose -363 = -f*i + p - 32, -4*i + 3*p = -659. Are i and 165 nonequal?
True
Suppose l - 1 = 1. Let b = -431986 + 432065. Is b <= l?
False
Let c(d) = 1082*d - 3254. Let t be c(3). Let r be 2 - (19/(-13) - -3). Is t at most r?
True
Let n be 4 - 1*-10*2. Let o be (1/(-668))/(((-198)/n)/(-11)). Let p = 31568/2505 + o. Is p at most as big as 13?
True
Let i be -3 + 3 - 4*4/(-8). Let a(h) = 9*h + 36. Let y(m) = m. Let f(p) = i*y(p) + a(p). Let z be f(-4). Which is smaller: -1 or z?
z
Let t = 4.1 + -7. Let r = 36.1 - t. Let k = r + -37. Which is smaller: k or 0.18?
0.18
Let v = 0.0295 + -0.0985. Let w = 3.069 + v. Is 5 greater than or equal to w?
True
Suppose -v - 42 + 28 = -5*q, q - 5 = -2*v. Which is greater: 1/6926 or v?
v
Let b(c) = c**2 + 341*c + 1015. Let z be b(-3). Which is bigger: 1/1199 or z?
z
Let a = -16/409 + 14443/3272. Which is greater: a or 4?
a
Let k = 19/544795 + -463648608/804662215. Let p be 1268/(-422) - (23 + -26). Let b = p - k. Does b = 0?
False
Suppose 3*d = 4*s - 68, 5*d - 82 + 2 = -3*s. Suppose s*u = 11*u - 801. Let j = -47 - u. Which is smaller: 41 or j?
41
Let j(o) = -450*o + 27. Let t be j(1). Let p = t + 21575/51. Which is bigger: p or 1?
1
Let k be 2*49 + (17 - 13). Suppose k*u - 123*u - 1491 = 0. Is -74 less than or equal to u?
True
Let h(t) = 3*t - 8. Let b be h(2). Let f be ((-17)/b + 4/(-4))*2. Suppose 6*y - 3 - f = 0. Which is smaller: -0.1 or y?
-0.1
Let d = 120 - 125. Let f = 195 + -194. Is d bigger than f?
False
Let c = -27540 + 87104/3. Which is smaller: c or 1494?
1494
Let q = -24089 + 24232. Is 2.1 at most as big as q?
True
Let t(c) = 126*c - 3352. Let w be t(27). Are 5 and w equal?
False
Let y = 27.5 + -201.5. Let q = 191 + y. Which is bigger: q or -3/4?
q
Let t(b) = 2*b**2 - 167*b + 1700. Let j be t(61). Is 3 smaller than j?
False
Suppose -11*n - 116 = -314. Let o(b) = -b**2 + 21*b - 45. Let a be o(n). Which is smaller: a or 12?
a
Let n = -18 + 23. Let c be 2 - n - (-28)/11. Are 1 and c equal?
False
Let w(j) = -j**3 + 10*j**2 - 15*j - 3. Let b be w(8). Suppose -7*g = -12*g + b. Is 2/355 greater than g?
False
Let a be 12/15*(14 - 790/60). Which is smaller: 954 or a?
a
Let a(w) = w**2 - 16*w + 58. Let n be a(11). Suppose 0 = 2*j + 5*t + 25, -n*t + 10 = -j - 5*t. Which is smaller: j or 1/120?
j
Let j = -887 + 889. Suppose -5 = 4*r + 19. Let z be (-5 - -8)/(r/4). Is j less than z?
False
Let g be 1 - -5 - (258/15 - 56/280). Which is bigger: g or -841?
g
Let q = 3395 + -3397. Do q and 20/69 have different values?
True
Let l = 434/815 - 17476/23635. Let c = 0.3 + -0.3. Let w = -0.1 - c. Which is bigger: l or w?
w
Suppose -4*w = z - 14963, 6212 + 53692 = 4*z + 3*w. Which is greater: z or 14978?
z
Let m = 131/2850 + -1/19. Let s = m + 17/50. Is -51 bigger than s?
False
Let l be -3*(-2)/(-18)*-2*3. Which is bigger: l or -10?
l
Let c = 3/2333 + -7225/1990049. Suppose -14*x - 15 = x. Is x at most c?
True
Let k = 0.01981 - -226.88019. Let c = k + -227. Is c != 76?
True
Let s = 1020 - 1150.4. Are s and -1/3 nonequal?
True
Let f = -29.225 + 26. Let s = -0.075 + f. Let q = s - -3.4. Which is bigger: q or 2/49?
q
Let g(a) = a**3 + 16*a**2 + 2*a + 10. Let t be g(-15). Suppose -4*v - 2*z = -185 - t, 5*z = v - 103. Which is bigger: 96 or v?
v
Let q(x) = 8*x + 90. Let d(r) = 15*r + 176. Let z(y) = -3*d(y) + 5*q(y). Let k be z(-25). Which is smaller: 44 or k?
44
Let b be 15 + -1 + -5 + (-302)/8. Which is smaller: -29 or b?
-29
Let z(u) be the first derivative of 1/4*u**4 + 7/3*u**3 + 6*u - 3/2*u**2 - 5. Let o be z(-7). Which is bigger: 26 or o?
o
Let v(i) = 2*i**2 - 10*i. Let l be v(5). Suppose 4*s + 15 = -3*r - l, r = s - 5. Suppose -12*h + 10*h + 6 = 0. Is h >= s?
True
Suppose 0 = 3*m + 4*u - 17, 0*u = -2*m - 2*u + 14. Suppose 16 = m*o - 15*o. Let x = -3.173 - -0.173. Which is bigger: x or o?
x
Let w be -21 - 14127*10/(-120). Which is smaller: 1156 or w?
1156
Let g(k) = -2111*k**3 + 5*k**2 - 2*k - 6. Let b be g(-1). Which is smaller: b or 2111?
2111
Let o = 19 - 11. Suppose 0 = -5*u + 4*u + m - 2, -5*u + 3*m - o = 0. Let p be 81/90*(3/18 + -1). Which is smaller: u or p?
u
Let f = -27 - -28. Let p = 39.731 + -39.7. Which is smaller: f or p?
p
Let b be (2 - (76645 - (0 + 2))) + -5. Let v be b/(-25498) + (-4)/(4/3). Are 0 and v non-equal?
True
Let g = 91 + -45. Let v = 45 - g. Suppose 9*u = 5*u - 8. Which is smaller: u or v?
u
Let r = 215 - 193. Let l be 128/r - 6/(-99)*3. Which is bigger: -14 or l?
l
Let v = -12934 + 12864. Suppose 3*z + 5*k + 202 = 0, -2*k + 347 = -3*z - 2*z. Is v > z?
False
Let f be (-1516)/(-10)*((-63)/(-13) - (-28)/182). Is f smaller than 760?
True
Let f be 16/4 + -5 + -2. Let b be 0 - -5 - (-3 + 3 - f). Let r = 0.09 - 0.18. Which is smaller: b or r?
r
Suppose -5*v - 2*g + 115 = 0, -4*v = v + 5*g - 115. Let u be 67 + -62 - v*3. Is -67 bigger than u?
False
Let k = -2 + 1. Let l be 12160/(-640) - 471/6*