s. Which is greater: a or j?
a
Suppose -2782*y = -2797*y + 21855. Which is smaller: y or 1456?
1456
Let d = 186 - 219. Suppose 4*y + 2*o = -172, 4*y - 5*o - 136 = 7*y. Let w = y - -9. Is w less than d?
False
Let p = -90673/37803918 - -7/3019. Are -1 and p non-equal?
True
Suppose 52*p + 289 - 29 = 0. Is p bigger than 0?
False
Let f be (-3*(-13)/47346)/((-3)/(-39)*-1). Is 0 at least f?
True
Let h be (-1 + 249/6)*2. Let m = -506 + 511. Suppose -12*a + m*a = -574. Which is smaller: a or h?
h
Let o = 463 + -460. Suppose o*g + b - 77 = 2*b, 5*g - 5*b = 125. Let a(v) = 4*v**2 - 4*v + 4. Let z be a(3). Does g = z?
False
Suppose 5*w - 3234 = -6*w. Let b = 304 - w. Which is greater: b or -1?
b
Let t = 712 + -698. Let w = t - -45. Is w at most as big as -2?
False
Let k be (-12 - (-490)/45) + (-2)/3. Let y = -119 + 67. Let g = 49 + y. Which is bigger: g or k?
k
Suppose 5*j + 0 + 2 = 3*u, 3*u = -5*j + 22. Suppose 5*c - 243 = j*c. Let y = c - 103. Is y smaller than -20?
True
Let i = -30 - -26.9. Let d = -1 + 0.12. Let b = d + 1.08. Which is smaller: b or i?
i
Let f = -157 + 145. Let a be ((-27)/84)/(f/1104). Is a greater than or equal to 31?
False
Let w = -1134.7 - -1134.9. Is 164 >= w?
True
Let s = 32 + -32.12. Let q = -189/10 + 112/5. Which is smaller: s or q?
s
Let t be (0 - -6 - 1) + -19 + -245. Let b = t + 312. Is 51 at least b?
False
Suppose 25*u = 37*u - 516. Suppose -37*a - 6 = -u*a. Which is smaller: -1/37 or a?
-1/37
Suppose 0*o - 3*d = -3*o - 129, -5*d = 2*o + 51. Let z = 33 + o. Is -3 less than or equal to z?
False
Let x = 6.7 + -40.7. Let p = -0.0593 - -29.0593. Let d = p + x. Is 2 at least as big as d?
True
Let s = 16655 + -16676. Which is smaller: 4/155 or s?
s
Let q(p) be the first derivative of p**3/3 + 5*p**2 - 10*p - 2. Let m be q(-11). Let b = 624 - 9359/15. Is b at least as big as m?
False
Suppose -5*k = -2*o + 105, -4*k - 176 = -3*o - 8. Suppose -o + 20 = 2*s. Are -20 and s equal?
True
Let k(z) be the third derivative of z**4/8 - 4*z**3/3 + 8*z**2. Let s be k(-4). Let m be (-5)/(s/(-16)) + 61. Is 56 > m?
False
Let y(u) = u**3 - 2*u**2 - 14*u + 3. Let a be y(5). Let g be 1/a - (-28)/32. Is 14 at most as big as g?
False
Let w be (-73475)/(-60) - (-4)/(64/(-12)). Let p = w + -1229. Is p less than or equal to 0.1?
True
Suppose 2*o - 83 = -77. Suppose 5*a + 0*j + j = 7, 0 = 4*a - o*j + 2. Which is bigger: a or 1/35?
a
Let d(k) = 2*k - 41. Let j be d(25). Suppose j = q + 4*z, -3*q = -q - 2*z - 8. Suppose 15*x + 20 = q. Which is bigger: -7 or x?
x
Let v = 6044 - 6043. Let y be (-38)/(-30) + (-14)/(-35). Which is greater: y or v?
y
Let z = 2/11319 - -10783/3033492. Which is smaller: z or 0?
0
Let f = -65.8 + 66. Let b = -496 - -615. Which is greater: f or b?
b
Let b(l) = 283*l + 2204. Let z be b(-25). Are z and 0.1 non-equal?
True
Suppose 0 = -0*m + 3*m - i - 98, m - 37 = -4*i. Suppose -4*j = 2*o - 76, 0*j + j - m = 3*o. Are j and 21 equal?
True
Let d = -0.35414 + 0.32114. Is d at most 21?
True
Let z = -283698 + 1442320637/5084. Which is greater: -1 or z?
z
Let q be 2/(-8)*9*-26*-2. Let g be -12 + (-1378)/q + 11/9. Which is smaller: g or 3/5?
3/5
Let r(w) = 14*w**2 - 3*w. Let j be r(2). Let d be ((-20300)/21)/(-4) - (-1)/3. Let o = 293 - d. Is j less than o?
True
Let b = -989.9 + 620. Let x = b + 389. Let i = x + -5.1. Is i less than 2?
False
Let t(q) = -q. Suppose -1 = 6*s - 25. Suppose -y + 12 = s*i, -i + 2 = 2*y - 1. Let l be t(y). Which is smaller: l or 1/10?
l
Let f = 84 - 60.2. Let i = -22.72 + f. Which is smaller: i or -2?
-2
Let x = 142 + -145. Let o be (848/8)/(x + 1). Which is bigger: -51 or o?
-51
Suppose 5*c + 3 = -3*t, 61*c + 5*t + 5 = 58*c. Is c greater than or equal to -2/30559?
True
Let i = -196 + 297. Let s = i + -102. Is s at most as big as -17/4?
False
Let w = 21/173 + 19271/865. Let r = w + -2148/95. Which is smaller: -2/7 or r?
-2/7
Suppose 6 = 3*s + m + 5, -2*s - 3*m - 11 = 0. Let h(o) = 10*o**2 - 5*o + 10. Let d be h(s). Suppose 5*a = 65 - d. Are a and 0 non-equal?
True
Let m = 4016 + -4016. Which is greater: -14/405 or m?
m
Let a be 141 + ((-6)/8 - (-9)/12). Let d be 7/28 + a/(-4). Let m = 45 + d. Is m less than or equal to 9?
False
Let y = -0.55 - 38.45. Let u = -5210 + 5212. Which is greater: y or u?
u
Let d(t) = t**2 + 24*t + 120. Let c be d(-14). Let q be 7/2 - (-2)/4. Let r be q/c + (-154)/5 + -3. Do -35 and r have different values?
True
Let n = -7317 + 7343. Are n and 31 nonequal?
True
Let s be 1*(3 + 9/(-3)). Let q = -0.117 + 15.117. Let v = q + -14.8. Is v not equal to s?
True
Suppose 34*d + 33004 = 393200. Is d at least as big as 10594?
True
Let l = 202 + -224.8. Let v = -25.8 - l. Which is bigger: v or -0.2?
-0.2
Let a = 20484462/655 + -31274. Is a bigger than 1?
False
Suppose -6*b + 4*b + 72 = 0. Suppose -38*u + b = -35*u. Let m be 5/(135/u)*3/(-2). Is m greater than or equal to -2/19?
False
Let b be 4/1*100/125*(-310)/(-16). Suppose x - 3*u - 60 = 0, 0*x = -4*x - 3*u + 255. Which is bigger: x or b?
x
Let i(s) be the second derivative of -s**4/12 + 5*s**3/3 - s**2/2 - 2*s. Let l be (-66)/(-88)*(-1 + 13). Let z be i(l). Are z and 9 equal?
False
Suppose -u - 3*u - 36 = 3*s, 3*u = 4*s + 73. Let h be (2/(-1))/s - 171/(-360). Which is bigger: -0.03 or h?
h
Suppose -173 - 97 = -3*b. Suppose 0 = -x - 4*x - b. Let c be ((-3)/246)/(x/(-8) - 2). Is c not equal to 1?
True
Suppose 3*g + 2 = g. Suppose -2*m - 3*o - 21 = -5*m, 5*o + 27 = 3*m. Let z be ((-525)/88)/(-25) - 1/m. Which is bigger: z or g?
z
Let z = -3735.1 - -3734.1. Which is bigger: z or -1781?
z
Suppose -3*v - 12384 = 3*b, -59*v = -57*v + b + 8253. Is v at most -4126?
False
Let x(h) = h**2 - 3*h + 3. Let y be x(3). Suppose 0 = 3*a - 2*g + 84, -8*g + 3*g = -y*a - 84. Suppose 0 = -19*b + 277 - 828. Is a greater than or equal to b?
True
Let s = -53 - -58. Suppose -6*k + 19 = -s. Let x = -1.5 - -11.5. Is k at most as big as x?
True
Suppose -5604*n - 8136 = -5586*n. Which is bigger: -905/2 or n?
n
Let n(m) = -m**2 + 11*m - 27. Let t be n(5). Suppose t*o + 3*f + 276 = 0, -98 = 4*o - f + 245. Is -86 < o?
False
Let j = 15.26 - 15.56. Which is smaller: j or -3708?
-3708
Let y = 2568 + -2570. Is y at least -152/141?
False
Let h = -44562.93 - -44563. Let m = -25/784 - 3/98. Which is smaller: m or h?
m
Let m = 37.059 + -0.059. Let k = 5841 + -5841. Which is smaller: k or m?
k
Suppose 81*z = -77*z - 91*z + 135207. Which is bigger: z or 545?
545
Let i = 60297 + -60297. Let c = -4180/2033799 - 2/2813. Which is greater: c or i?
i
Let r be (1848/(-660))/(2 - 24/15). Which is bigger: -182/25 or r?
r
Let p = 160 - 152. Let s be (28/p)/(13/(-11)) + 3. Is s at most -2/9?
False
Let y = 13.1151 - 0.1151. Let o = 0.13 - 0.83. Let t = -0.8 - o. Which is smaller: y or t?
t
Let u = -6 - 0. Let x be ((-5436)/227)/u + (-8)/2. Do -1 and x have the same value?
False
Let d(o) = 3*o**2 + 5*o + 4. Let x be d(-4). Suppose -34*r = -166*r + 264. Let a be (x/5)/r + (-5)/25. Which is smaller: a or 2?
2
Let m = 44.59 + 0.41. Let z = m - 45.375. Let q = -0.025 + z. Which is smaller: q or -0.5?
-0.5
Let q = 84 + -73. Suppose -9*z = -q + 2. Let b be (1/47)/(4/8). Which is smaller: b or z?
b
Suppose 2*v = -3*m, -2*m - 4*v - 7 = 1. Let x be 4*(121/88)/11. Is m less than or equal to x?
False
Let j(o) = -3*o**2 - 13*o - 4. Let l be j(-4). Let f be ((-4)/12)/((-39)/(-18) - 2). Are l and f unequal?
True
Suppose -2*l = -2*c - 22, 2*l - 4*c + 5*c = 19. Let f = 6 + l. Suppose -2*h - 4*w = f, -3*h + w + 0*w - 31 = 0. Which is greater: h or -12?
h
Let w = 164.4 + -173.4. Which is greater: w or 0.24?
0.24
Let m be 25/(-2820)*(-66)/(-6765). Is 0 less than m?
False
Let q = -2.44 - -3.685. Let i = 1.22 - q. Which is smaller: -0.1 or i?
-0.1
Let z(k) = -31*k**3 - k**2. Let t be z(-1). Let a = -128 - -268. Suppose 5*d - g - 4*g - a = 0, -146 = -5*d - g. Is d greater than t?
False
Suppose -6*u + 170 = -u. Let x(c) = -c**2 + 19*c - 49. Let i = -5 - -17. Let p be x(i). Is u >= p?
False
Let o = 515.9577 + 0.0423. Let k = o + -516. Let h be 2/(-6)*(-4)/(-2). Which is greater: h or k?
k
Let n(s) = 2*s**3 + 33*s**2 + 10*s - 99. Let o be n(-16). Is 3/14 less than o?
False
Suppose -20*h + 24*h - 30 = 5*c, h - 11 = 3*c. Is -115/37 at least c?
False
Let z = 72 - 75.9. Let w = z + 0.9. Let g = -22 - -22.4. Do g and w have di