- 10*a - 531. Which is greater: q or 533?
q
Let t = -896 + 896. Which is greater: t or 3/1715?
3/1715
Suppose -30*z + 19 = -2 - 39. Suppose 2*v = 5*x + 5*v - 462, 70 = x - 5*v. Suppose -10 = -z*c - 4*p + x, 2*c - 4*p - 132 = 0. Is c < 58?
False
Let w = -17171 - -17171.1. Are w and 5550 unequal?
True
Let c = -9 - 70. Let d = 1718 - 1797. Let n = d - c. Is n at least -0.02?
True
Let g be 1/(4/32 + 240/(-896)). Is 72 smaller than g?
False
Suppose 0 = 228*k - 56730 - 254016 - 269514. Which is smaller: 2543 or k?
2543
Suppose -4*y = 3*x + 2478, 2460 = -4*x - 4*y - 844. Do x and -826 have different values?
False
Suppose -1172*a + 1173*a + 3*w = 1903, 0 = -3*a + 4*w + 5787. Which is smaller: a or 1917?
1917
Let z(s) be the third derivative of -7*s**6/12 + s**4/4 - 5*s**3/6 + 6*s**2 - 2. Let r be z(1). Let b be 0 + (4 - 3) + 75/r. Is b not equal to -2/7?
True
Let m = 3352 + -4200. Which is smaller: -849 or m?
-849
Let b be (32 - 28)*(20/(-7588))/(-5). Which is smaller: 1 or b?
b
Let w = -0.5 + 0.3. Let b = -183 - -163. Let z = 16 + b. Does z = w?
False
Let h be 380/20 - (-3)/1. Let y be 89/4 + (-15)/12. Which is bigger: h or y?
h
Let g = -6044 - -42191/7. Is -17 equal to g?
False
Suppose -6 = -14*b + 13*b. Let d be (-38)/(-12) + b/(-4). Let h = 0.01 - 0.11. Is d < h?
False
Let w = -16071855371/2261486115 - -1/3400731. Let l be 1408/6688*78/20. Let x = l + w. Which is smaller: -7 or x?
-7
Let p(q) = -32*q - 3. Let d be p(-1). Let j be (-4)/(-24) + d/6. Let a be 4 + -3 + 2 - j. Is -3 bigger than a?
False
Let x = -136/7 + 19. Suppose -m + 2*m - 4*p = -7, 3*p = 6. Which is smaller: x or m?
x
Let s(j) = 0 + 1 + 2 - 10*j + 8*j. Let m be s(-2). Let v be (3 - m)*3/(-12). Which is smaller: -1/64 or v?
-1/64
Let p = 18060 + -18085. Which is greater: p or 20?
20
Let g = 686550233/2079 + -330231. Is 1 not equal to g?
True
Let h be -3 - -5 - 4 - 4. Let m be ((-33)/(-5))/(h/30). Let s be (6/6)/((-3)/m). Which is smaller: s or 9?
9
Let u = -0.19043 + 0.09043. Let r = -137.00873 - -2.93973. Let k = r + 134. Are u and k nonequal?
True
Suppose -i = -2*j + 175, -5*j + 27*i = 24*i - 438. Are j and 81 non-equal?
True
Let z(d) = -22*d - 396. Let s be z(-18). Suppose 6*x + 12*x + 198 = s. Is x <= 6?
True
Let p be (-27)/33 - -1 - 56850/132. Let k = p + 252275/586. Is 0 less than or equal to k?
True
Let b(c) = -c**3 + 9*c**2 + 2*c - 13. Let a be b(9). Suppose h = 2, 0 = 2*y + a*h - 160 + 54. Let w be (11 - -1)*(-7)/(28/(-16)). Is w >= y?
True
Let p = 2.26 + -0.16. Let f = -2.1 + p. Which is greater: 265 or f?
265
Let f = 13 - 12.948. Let p = -21.052 + f. Let r be 0/(-2) - 1/(-24)*8. Which is greater: p or r?
r
Suppose 0 = -3*y + 2 + 1. Let a = 2728 - 543. Let f = 50265/23 - a. Is f != y?
True
Let i = 8 - 48. Let t = i - -43. Let r be -1 - (-8)/6 - 28/t. Is -17 < r?
True
Let b = 10691 - 11094. Which is smaller: b or -3.8?
b
Let k be (-15)/50*(-15)/(-18). Let t = -0.471 + 0.431. Let m = t + -0.16. Which is bigger: k or m?
m
Let m = -911 - -322. Let a = m + 593.5. Is 0.1 greater than a?
False
Let x = -0.28 - -0.312. Let d = 0.232 - x. Are -1.07 and d unequal?
True
Let w be ((-48)/(-192))/(769/20). Do w and -0.3 have the same value?
False
Let y = -4 - -5. Let f(h) = -h**2 + 54. Let b be f(7). Suppose 5*c + 10 = b*m, -5*c = 3*m + 2*m + 30. Is y != c?
True
Let b = 1588 - -3403. Is 0.1 >= b?
False
Let o = -1.3 - -0.3. Let k = 0.181429 - 103.181429. Which is greater: o or k?
o
Suppose 818*i - 912*i = 0. Is -2/1917 less than or equal to i?
True
Suppose 1125*h + 1914 = 1067*h. Which is smaller: h or -23?
h
Suppose -3*y - 22 = -4*v, -v = 2*v - 3*y - 15. Let q be -36*(0 + 2/(-2)). Suppose -2*h - v*h = q. Is h bigger than -10/3?
False
Let p be (166/(-15))/(30/30). Which is smaller: p or -12?
-12
Let c = -3.815 - 84.185. Do 3/5 and c have the same value?
False
Let h(f) = -3*f**3 + 11*f**2 - 3*f + 23. Let m be h(5). Is -280/3 <= m?
True
Let h be ((-29)/36*2 - -1)*(-128)/64. Is h greater than 8?
False
Let y(v) = -3*v**3 + 28*v**2 + 2*v - 35. Let r(f) = 14*f**3 - 112*f**2 - 8*f + 140. Let a(i) = 2*r(i) + 9*y(i). Let z be a(-28). Is -90 > z?
True
Let h = 383092/17 - 22535. Is h less than or equal to 1/5?
True
Let z be ((-4)/395)/((-1500)/(-1250)). Is z <= -1?
False
Suppose 8*u = 3*u + 35. Let k = u + -2. Suppose 24*g = -58*g. Is g != k?
True
Let a be (-897088)/673244 + 2 + (-2)/3. Which is greater: a or -1?
a
Suppose -4*o + 3*q = -53, -101 = -5*o - 5*q - 26. Suppose z = -o*z + 315. Suppose 2*j - 77 = -31. Which is greater: j or z?
j
Suppose 0 = -0*y + y + 3*w + 7, -2*y - 3*w = 8. Let q be (0 + y)/((-2)/6). Let b be (-110)/6 - 2/q. Are -20 and b nonequal?
True
Let i(g) be the first derivative of 27*g**2/2 - 35*g + 134. Let n be i(-9). Which is smaller: -279 or n?
-279
Suppose -2*z - z = -3*g - 12, 3*z = 0. Let u be ((-1)/2)/(g/(-48)). Let p be (-134)/u + 2/(-6). Which is smaller: -1 or p?
-1
Suppose 6 = 3*w - r, 2*w = 6*w - 4*r. Let i be 1/((-6)/20 + -5 + 3231/570). Is w bigger than i?
True
Let z(o) = o**2 - 4*o + 48. Let p be z(0). Let h be p/72*(-3)/(-4). Which is greater: h or -85/7?
h
Let m(r) = -24*r**2 - 22*r**2 + 87 + 32*r + 47*r**2. Let s be m(-29). Let u be (2 + -2)/2 + -3. Do s and u have different values?
True
Let a = -12318 + 12318. Is -1/522 greater than a?
False
Let r(z) = z**2 - z - 3. Let x be r(2). Let s be (18/(-36))/((1/6)/x). Let f be (-4 - -2)/(-12) + (-2)/s. Which is smaller: 6 or f?
f
Let o = -6991 - -7297.9. Let d = 307 - o. Is 152/5 >= d?
True
Suppose 4*a = t - 31, 3*t + 3*a - 84 = t. Suppose 10 = t*z + 2350. Which is smaller: z or -61?
-61
Suppose 145*x - 142*x + 6 = 0. Which is greater: -13/5 or x?
x
Suppose -8*j - 3 - 13 = 0. Let w be ((-1)/j)/((255/(-70))/3). Suppose -15*d = 6*d + 21. Is w smaller than d?
False
Let q = 0.0305 - 0.0645. Let b = q + -4.566. Which is greater: -8 or b?
b
Let a = 32 - 40. Let b be (-3 - (-12)/a) + 3. Let n be 3/(-9) - 2/9*-3. Is b at most n?
True
Let h be -13 - (227 - -25)/(-21). Which is smaller: h or 3/3646?
h
Let y(j) be the first derivative of -j**4/4 - 5*j**3/3 + 3*j**2/2 + 14*j - 1. Let q = 4451 + -4457. Let o be y(q). Which is greater: o or 1?
o
Let m = -30 - -18. Let x be 6/(-2) + m/(-4). Let q be -5*4/(-60)*x. Is q > 1/6?
False
Let b be ((-9018)/(-5))/(175/(-125)). Which is smaller: b or -1287?
b
Let y = -17.3 - -14.3. Which is bigger: 478 or y?
478
Suppose 27*v = -22 + 10 - 15. Is 12/461 less than or equal to v?
False
Let h = 24029/4 + -6000. Which is greater: h or 1/14?
h
Let j(u) = -u**2 + 50*u - 80 - 85*u - 37. Let t be j(-31). Let d be -4*(7/4)/(-1). Is t less than or equal to d?
True
Let o(f) = -11*f + 14 - 2*f**2 + 0*f + 4*f**2 - f**2. Let t be o(10). Suppose -16 = 4*s, 0 = z - s + 2*s + t. Is z equal to -36?
False
Suppose -12*w + 168 = 12*w. Let y be (3/(37 - w))/((-19)/4). Which is bigger: y or 1?
1
Let z = -11646 - -12020. Does z = -8/9?
False
Let o = -3 - -2. Suppose -4*h + n - 6*n = -8, 4*h - 20 = -2*n. Suppose -h*r = 18*r - 300. Which is smaller: o or r?
o
Let p = -0.4665 + 0.0065. Let x = 0.281 - -0.029. Let d = -0.69 - x. Which is bigger: p or d?
p
Suppose 4*u = u - c + 4, 3*u = 2*c - 8. Suppose 0 = 5*l - u - 10. Suppose -155 = l*w - 7*w. Which is smaller: w or 33?
w
Let r be (4/6 - 1)*-266*1683/(-22). Is r less than -6782?
True
Suppose -8*b - 917 = -1085. Is b < -6?
False
Let c = -35 + -3/2. Which is bigger: c or -38?
c
Let v = 187 - 170. Suppose 6*u + v = 7*u + 5*c, 3 = c. Are 1 and u unequal?
True
Let u(w) = 249*w. Let n be u(1). Suppose 24*y = -70*y - 33*y + 31623. Does y = n?
True
Let l(a) = -2*a**3 - 5*a**2 + 5*a + 5. Let u be l(-4). Let s be (-5555)/(-330) + (-2 - -19). Is s equal to u?
False
Suppose 48*s - 95*s - 855 = -38*s. Which is smaller: s or -13?
s
Let b = 8062 - 8062.56. Is b >= -10/7?
True
Let q = -177 - -292. Let l = -109 + q. Is l greater than or equal to 0.4?
True
Suppose 894*s = -19539 - 129. Let n be 3 + -3 + 124/(-6). Which is smaller: s or n?
s
Let c be -3 + (9 - 3)/2. Let i be 69621/864432 - 2/27. Is i less than or equal to c?
False
Let k(v) = -8*v + 0*v - 5*v - 7*v**2 + v**3 - 4*v - 5. Let z be k(9). Which is smaller: 27/5 or z?
z
Let a = 17514 + -12881. Is 4633 <= a?
True
Let v be ((-409)/(-8)*2)/(5/10). Let q = -197 + v. Let d(o) = o**3 + 5*o**2 + 3*o + 4. Let w be d(-4). Which is 