- 389, -2*q + 5*d + f = 0. Which is bigger: q or 125?
125
Let z be (-47)/(-15) - 18/135. Let v(u) = u**3 + 2*u**2 - 4*u + 14. Let q be v(z). Let d = -143/3 + q. Are 0 and d non-equal?
True
Let a(u) = -258*u - 3425. Let n be a(-3). Are -2650 and n unequal?
True
Let r = 45 + -160. Let v = r + 110. Let w be (-2)/15*5/3. Do w and v have the same value?
False
Suppose 13 = 5*r - 12. Suppose r*y - y = 96. Let g = -45245 - -45271. Which is bigger: y or g?
g
Let v(k) = -k**2 + 5*k - 13. Let o be v(7). Let i = -24 - o. Suppose 7 + 8 = i*n. Which is smaller: n or 4?
4
Let u be 1 - ((-45)/(-7 + -2))/5. Are 5/1596 and u equal?
False
Let j = 2469 + -2470. Is j greater than 20/323?
False
Suppose -83*f + 82 = -194*f - 29. Which is greater: 1/1806 or f?
1/1806
Suppose -8 = -4*y - 5*z + 15, 9 = 3*z. Let h be (y/6)/(1 + (-5)/15). Is -0.286 at least as big as h?
False
Let y(n) = n**3 + 4*n**2 - 46*n - 3. Let r be y(-9). Let j = 39 - 61. Let d be (7/j + r/(-33))*32. Which is smaller: d or 0.3?
d
Let z = -0.1577 + 0.1377. Is z at most 272?
True
Suppose h + 3*z - 42 = 4*z, 0 = -3*h + 4*z + 130. Let a be (-22*1/(-4) + -5)*18. Suppose -17*t = -a*t - 296. Is h equal to t?
False
Let x = -19.07205 + 0.07205. Is x greater than 0.07?
False
Let n be (-665)/(-820) - (-45)/(-60). Which is smaller: 1 or n?
n
Suppose 34*i = w + 36*i - 4730, 5*i = 2*w - 9478. Is 4733 at least w?
False
Suppose 0 = -x + 22250*n - 22255*n - 23, 0 = -2*x + 2*n + 14. Suppose 2*f - 100 = 7*f. Which is smaller: f or x?
f
Let g = 8 - 10. Let s = 11531.1 + -11530. Is g less than s?
True
Let p = 34.9 + -35. Let s = 86.341 - 0.341. Is p > s?
False
Let g(o) = 2*o - 7. Let k be (-1 - 3448/104) + 2/13. Let p be g(k). Which is bigger: p or -74?
-74
Suppose 0 = -2*b - 4*m + 38, 4*b - 2*m - 66 = -0*b. Suppose -2*l + 13 = 3*q + 2, 0 = 5*q + 3*l - b. Let d be (3/(-4))/(3 - (1 - 1)). Which is bigger: d or q?
q
Let o = 11.137 + -10.137. Which is smaller: o or 9273?
o
Let c = 261.94 - 267. Let k = c - -2.06. Let j = -8/45 - -371/2340. Is j at most as big as k?
False
Let x = 11101 - 144238/13. Let n = 14 + -7. Is n at most x?
False
Let t(o) be the first derivative of -o**4/4 + 17*o**3/3 + 17*o**2/2 + 19*o + 3. Let w be t(18). Is 6/61 > w?
False
Let x be -3 + (2 - 42/(-21)). Which is smaller: -61/350 or x?
-61/350
Suppose 22*s - 353 = 43. Which is smaller: 639/35 or s?
s
Let h = 0.006 + 0.514. Let c = h + -17.52. Let t = c - -41. Which is greater: t or 0?
t
Let a = -13888 - -13865. Which is greater: a or 18?
18
Let p = 71/6087079739 + 456100094311340108/15028999875591. Let h = p - 30348. Let s = 113581/17283 - h. Which is bigger: s or 7?
7
Let f be (-68 - 2)/(2*(-10)/(-185)). Is -648 greater than f?
False
Let u(g) = 12*g. Let t be u(1). Suppose s + 3*m + t = 0, 5*s = 7*s - m + 24. Which is smaller: s or -150/13?
s
Let n(t) = 547*t + 4094. Let l be n(-8). Is -282 greater than l?
False
Let s be 22/8 - 3/(-12). Let k be s/1 + -1 - 2. Let o = -1.40517 - -1.04517. Is k bigger than o?
True
Suppose -g - 4995 = -w, -g + 4*w - 1068 - 3942 = 0. Which is bigger: g or -24946/5?
-24946/5
Let b = -99 + 104. Suppose -b*v + v = 0. Is v < -10/9?
False
Suppose 2*m - 4*y = 14, 5*m - 2*y + 10 - 21 = 0. Let q = -24302/161703 - 2/3051. Which is smaller: q or m?
q
Let m = 0.111 + 42.889. Let w = m + -40.4. Let b = w + 21.4. Is -1 at least b?
False
Let d = 0.5 - 0.3. Let w = 0.8 + d. Let j = -2082.9 + 2083. Which is greater: w or j?
w
Let o be ((-11710)/20)/((-10)/15*(-3)/4). Is 2 at least o?
True
Let i(y) = -8*y + 132. Let z be i(-33). Is z less than 398?
True
Let y be (3349885/33)/49 + 2/3. Which is bigger: y or 2073?
2073
Let z be (-2)/11 + (-2675)/(-11). Suppose -3*r - q = -157, -5*r - 2*q = -5*q - z. Do r and 51 have different values?
False
Suppose 32*o = 2547 - 723. Let y be (-346)/(-6) + -4 + 3. Which is smaller: o or y?
y
Let l(i) = 24*i + 3. Let h(z) = 25*z + 3. Let w(u) = -2*h(u) + 3*l(u). Suppose 18 = 12*a + 6. Let j be w(a). Is j < 26?
True
Suppose -47*f + 46*f - 2*n - 5 = 0, 5 = -2*f + n. Let d = -834/11 + 76. Which is smaller: d or f?
f
Let p = 9796 - 9772.036. Let k = -24 + p. Let u = 0.036 + k. Do u and 9 have the same value?
False
Suppose -27*b = -17*b - 1470. Let l be (12/b)/((-12)/(-280)). Is 3 bigger than l?
True
Suppose 34*s - 7*s = 162. Let j be -5 + (s/5)/(30/100). Which is greater: -2/149 or j?
-2/149
Suppose 3*y + 22210 - 4027 = 0. Let v = y - -1933461/319. Is v smaller than 0?
False
Let r = 3303.1 - 3315. Which is smaller: -14 or r?
-14
Let g = 4 - -5. Let c = 224 + -135. Let d = c - 94. Is d greater than or equal to g?
False
Suppose -396 = -36*a - 324. Does -12.9 = a?
False
Suppose 5*c - 15 = -0*c. Suppose 0 = -c*z + 2*n - 116, 4*z - 5*n + n + 148 = 0. Let s be (-582)/14 - (-31)/(217/(-3)). Is s bigger than z?
False
Let k be 567020/8*(296/(-10))/4. Let t = k - -123776281/236. Let a = t - -71/4. Is a bigger than -1?
True
Let t = 65 - 73. Let n be (23*-1 + t/(-4))*-1. Let w be n/120 + 0 + (-1)/(-5). Is w smaller than 0?
False
Let r = 1160 + -1159.905. Which is bigger: -14/9 or r?
r
Suppose -20*k = 63 - 183. Let g be 7/(-6)*k/(-42). Which is greater: g or 1/3?
1/3
Let p be -8 + (4374/(-369))/(-1). Is 4 equal to p?
False
Let w = -37 + 41. Suppose -w*f + 9*f = 9*f. Which is smaller: f or -5/22?
-5/22
Let n = 755 - 757. Let b be ((-31)/(-8401))/((-9)/n + -2). Is 0 less than b?
True
Let m = 12190 - 12155. Which is smaller: m or 26?
26
Let o(p) = -2*p**2 + 3*p + 167. Let m be o(-8). Let u(x) = 4*x**2 - 21*x + 210. Let y be u(m). Is y at least 795?
True
Let i(q) = 202*q - 3825. Let r be i(10). Is -1806 less than or equal to r?
True
Let u = -2032 - -1001777/493. Let g = u + 8377/1972. Is g < 5?
True
Suppose -38*l = -37*l - 2. Suppose 0 = 5*i - 4*c - 13 - 4, -l*i - 4*c = 10. Which is greater: 15 or i?
15
Let g be (12 - (-400)/(-32))*9396/(-3). Is 1567 greater than g?
True
Let j(d) = 11*d**2 - 11*d + 8. Let x be j(2). Let k be x/25*(-11)/((-462)/340). Which is smaller: 11 or k?
k
Let v(o) = 11*o**3 - 4*o**2 + 5*o + 20. Let c be v(-2). Suppose 2*i = -21 - 169. Does i = c?
False
Let p = -372 - -363. Let j(h) = -2*h - 25. Let y be j(p). Which is smaller: y or -26/7?
y
Let y = 1725.1 - 1808. Let z = -83 - y. Which is greater: z or -241?
z
Let m = 67 - 95. Suppose -10*y = 4034 - 1134. Let j = 260 + y. Which is smaller: m or j?
j
Let x(y) = 7*y + 120. Suppose 503*v - 512*v = 153. Let s be x(v). Which is smaller: s or 2/525?
2/525
Suppose 2*y - 1 + 1 = 0. Suppose -2*b - 4 = -y*c - 4*c, c = 3*b - 4. Suppose -5*t = c*o + o + 172, 3*t = -4*o - 211. Is o not equal to -97/2?
True
Let r = -34 + 199. Let l = -490/3 + r. Does -0.1 = l?
False
Let t = -318/13 + 980/39. Let m = -16 - -10. Is t less than or equal to m?
False
Suppose 0 = 8*s + 10 - 42. Let x be -14*s/48*-12. Which is greater: 20 or x?
20
Let r = 122279853609/68573 + -1783207. Which is greater: -1 or r?
r
Suppose 3*t - 12 = -4*a - 5, 0 = 4*a - 1712 + 1660. Let i = -6 - 0. Which is greater: i or t?
i
Let i(g) = 29*g**2 + 18*g + 4. Let l be i(-2). Let f(z) = z**3 + 10*z**2 - 10*z - 14. Let b be f(-10). Is l greater than b?
False
Suppose 0 = p - s + 17, 0 = -1006*p + 1001*p + 2*s - 58. Is p at most -65?
False
Suppose 0 = 2*f - g - 57, -2*f - 6*g = -2*g - 32. Let k be (1/f)/((-3)/(-2)). Let l(y) = y**3 - 13*y**2 - 13*y - 14. Let d be l(14). Which is greater: k or d?
k
Let r = 20/9 - 6172/2583. Is 0 bigger than r?
True
Let v be (65 - (-2465376)/(-6384)) + 1*(-2)/19. Is -321 at least as big as v?
True
Let w be 7/6*351*56/6 + -1. Which is smaller: w or 3820?
3820
Let n(j) = -j**3 - 2*j**2 + 4*j + 4. Let b be n(-3). Let z be 6/(b/(8/(-6))). Suppose 0 = 41*l - 205 + 533. Is z not equal to l?
False
Let j = 24/641 + -35502/23717. Which is smaller: -1 or j?
j
Let z be 171/(-30) - (-5)/10. Let k = z + 99/20. Let q = -44 + 43. Is q equal to k?
False
Let w(c) = -5*c - 56. Let j(t) = 2*t + 19. Let n(x) = 17*j(x) + 6*w(x). Let a be n(2). Let p be (a + 3 + 2)/2. Which is smaller: p or 8/23?
p
Let h = 20 + -16. Suppose -3*s + 17 = y, 0*y + h*y - 5*s = -17. Suppose -18 - 2 = y*z. Is z at least -8?
False
Let c(z) = -z**2 + 10*z + 29. Let y = 97 - 83. Let r be c(y). Is r less than or equal to -28?
False
Let j(y) = 29*y**2 - 4*y - 4. Let z be j(-2). Let f = -119 + z. Which is bigger: -2/21 or f?
f
L