3059
Let z = 47 + -38. Let j be ((-6)/(-15))/((-4)/(-10)). Suppose 10*r + j = z*r. Which is smaller: r or 0?
r
Suppose 3991 + 131 = 5*u + 2*q, -5*u + 4146 = -4*q. Do u and 827 have the same value?
False
Let p(o) = -81*o - 6886. Let l be p(-85). Which is greater: 36/503 or l?
36/503
Suppose -7*a + 9 = -4*a, v + 2*a - 27 = 0. Let f(h) = -43*h + 3*h**2 + h**2 + 5 - 2*h**2. Let x be f(v). Is x > -16?
False
Let b(a) be the third derivative of -a**5/60 + a**4/4 - a**3 + 21*a**2. Let c be b(5). Let r be 94/255 + 6/(-45). Is c at least as big as r?
False
Let r(k) = -29*k + 780. Let p be r(27). Which is greater: -126/55 or p?
-126/55
Let b be (3 + -1)/((-4)/(2*-4)). Suppose -5*z = -3*p - 13 - 10, b*p + 4 = 0. Suppose z*t = -9 - 27. Which is smaller: -10 or t?
-10
Suppose 254268 = 12032*d - 11969*d. Which is bigger: 4032 or d?
d
Let g(b) = 2*b**2 - 8*b + 3. Let l be g(5). Suppose l - 2 = q - 4*r, 4*q = 5*r + 11. Let k = -8805/11 + 800. Is q greater than or equal to k?
False
Suppose -108 = -17*w + 436. Let d be (w/(-6))/(2/(-6)). Which is greater: 33/2 or d?
33/2
Let a = 6245.9 + -6184. Are a and -2/3 equal?
False
Let w be (0 + 0)*((-114)/(-12))/19. Which is greater: 7/4546 or w?
7/4546
Let h be (5/(-1))/((-30)/12). Suppose 5*j - 213 = 367. Let x = j + -112. Which is smaller: x or h?
h
Suppose 642*h - 16 = 634*h. Is h at most 167/10?
True
Suppose -11 = -4*w + s, 3*w + 3*s + 8 = 7*s. Let a be w - (1179/(-804))/((-15)/40). Which is smaller: a or 1?
a
Let w be (-2)/(-8) + (-532)/16. Let d(n) = 17754*n + 17723. Let l be d(-1). Which is smaller: l or w?
w
Suppose -4*u + 124 = -0*u. Suppose -30*y = -u*y. Suppose -8*l + 9*l - 39 = y. Is l not equal to 38?
True
Let s be (-3 + 0)/(4 - (-1865)/(-470)). Let x = 94 + s. Suppose 4*o - 106 - 6 = x. Is 0 >= o?
False
Let h = 3419 + -5515. Which is bigger: h or -2098?
h
Let w = -5405 + 5265. Is w greater than -139?
False
Suppose -49*w = -2*w + 47. Is -14/17 greater than or equal to w?
True
Suppose 2*o - q = 366, -730 = -54*o + 50*o + q. Which is bigger: 167 or o?
o
Suppose -3*j + 43 = 3*x - 113, -4*x + 199 = -5*j. Suppose -x = 4*m - 139. Suppose -2*q - 4*n = -34, -3*q + 0*n - 2*n + 63 = 0. Which is smaller: q or m?
m
Let p = 489 + -464. Suppose p*u - 29*u + 88 = -h, -5*h - u = 482. Is h at least as big as -94?
False
Suppose 0 = -13*u + 225 + 113. Let h be (1 - 1 - 1/1) + u. Is 25 at least as big as h?
True
Let g(v) = -v**3 - 19*v**2 + v + 18. Let q be g(-19). Suppose 42 = y - 2*b - 16, -4*y = -2*b - 244. Which is greater: q or y?
y
Let k be 7/405*5*(-2)/(-133). Is k <= -1?
False
Suppose 0 = -4*a + 2*t - 32, a + 5*t + 29 = 2*t. Are a and -124/11 unequal?
True
Suppose 164 = 3*z + 5*l - 546, -10 = 2*l. Is z <= 239?
False
Suppose 3*h - h = 5*h. Suppose 17*g - 16*g - 1 = h. Let d(j) = -j**3 + 4*j**2 - 2*j + 1. Let u be d(3). Which is smaller: u or g?
g
Let u(w) = 491*w**2 - 22*w - 99. Let l be u(-3). Which is smaller: l or 4387?
l
Let n = 25427.9 + -25428. Let j = 32.958 - 33. Let b = j + -19.958. Is b at most as big as n?
True
Let t(a) = -a**3 - 9*a**2 - 6*a + 16. Suppose -2*g = 2*g + 16, 2*j = g - 12. Let r be t(j). Are -1 and r unequal?
True
Let b = -203.41 - -204.41. Is -528 smaller than b?
True
Suppose 0 = c + 4*o + 8, 5*o - 2 = c - 12. Suppose t + 2 - 2 = c. Is -4/45 < t?
True
Let i be (-562)/3 - (-7)/21. Let f = -4418 + 12683/3. Let d = i - f. Is 2 <= d?
True
Let g = -1652839/63 - -26235. Which is smaller: 1 or g?
g
Let t(o) = 2*o + 21. Let z(j) = j + 11. Let l(d) = -2*t(d) + 5*z(d). Let c be l(-15). Let f(u) = -5*u**3 + 2*u**2 - 2. Let h be f(1). Is h greater than c?
False
Let w = 3853 + -4119. Is 0.1 bigger than w?
True
Suppose 0 = -4*d + 2*v - 12, 3*d - v + 6*v = -9. Let k be ((-91)/26 - d) + (-62)/(-4). Is k not equal to 0?
True
Let o = 21210 - 21678. Which is smaller: o or -21?
o
Suppose -28*t - 2395 = -5486 - 5953. Are t and 309 nonequal?
True
Let o = 10072 - 10225. Which is smaller: o or -121?
o
Let a = 4112.54 + -4045. Let u = a - 12.52. Let q = u - 55. Is 5 less than q?
False
Let q = -8860 - -9286. Which is smaller: 2/37 or q?
2/37
Suppose 60*p - 138 = -65*p - 13. Let b = 753385/131 + -5751. Is b < p?
True
Let x = -13131 - -13455. Which is bigger: x or -10?
x
Let z = 13138 + -13560.05. Let n = 422 + z. Which is greater: n or 1/5?
1/5
Let k = 25956 - 26855. Is -896 at least as big as k?
True
Let p be ((-36)/630)/(72/(-1953)). Let u be (-3)/(-10)*2/(-12). Let s = p + u. Is 0 at least s?
False
Let i = 33 - -34. Let f = 628780 + -628715. Is f less than i?
True
Suppose -12*a + 19*a + 7 = 0. Do -2/2357 and a have the same value?
False
Let q = 5 + -5. Let i = -13/350 - 2683/3150. Which is bigger: q or i?
q
Let k = -42017 - -462673/11. Which is bigger: -0.1 or k?
k
Let s be (-1)/(2/(-18)) + 0. Let k be (136/357)/((-36)/(-840)). Is s less than k?
False
Let n(v) = v**3 + 35*v**2 - 145*v + 209. Let u be n(-39). Is u <= -218?
True
Let v be (((-158)/6)/1)/(13 + -24 + 10). Which is smaller: 0 or v?
0
Let n be 12/9 + -3*5/45. Let v be -1 + (1 - 1) - (2 + n). Is v equal to -1.3?
False
Suppose 0 = -5*i - 124 + 19. Let y = -2641 - -2624. Which is bigger: i or y?
y
Let x = 14082.95 + -14083. Let i be (-3)/2*(-30)/(-9). Is x > i?
True
Suppose -284 = 115*h - 399. Which is bigger: 23/49 or h?
h
Let n = -237 + 2000. Which is smaller: n or 1764?
n
Let v be 160/60*(-1)/6 + 583. Which is smaller: 584 or v?
v
Let l be (4/12)/((-2)/12). Let c(y) = 3*y. Let t be c(l). Let a = t + 7. Is -1/7 greater than a?
False
Let q = 0.20207 - 11.20207. Which is greater: 4.14 or q?
4.14
Let o = -52 + 53. Let s be -14*(-5)/(4 + o). Let y be ((-44)/s - -4)*21. Which is bigger: y or 2?
y
Suppose -14*f = -4*f + 11*f. Suppose 5*g - 3*a = 9, f = -17*g + 13*g + 2*a + 6. Let s = 6356/17 + -374. Which is bigger: s or g?
g
Let h(m) = -m**2 + 8*m + 4. Let a be h(8). Suppose 4*l = 3*s + 8, -7*l + a*s = -10*l - 19. Let v = -12471/22 + 567. Is l >= v?
False
Suppose 7*u = 8*u - 1. Let z be 2 - (1 - u) - 35/20. Which is greater: z or -1?
z
Let i(q) = q**2 - 93*q + 14. Let v be i(0). Suppose -6*o + 2*o = -20. Suppose -v = -3*b - o. Which is bigger: -8 or b?
b
Let x be (-4*(-2 - 5/(-4)))/(-34 + 31). Which is smaller: 4/4753 or x?
x
Let y be (-356)/(-12) - 6/(-18). Suppose f - y = -4*f. Let c be f/(-42) - 314/154 - -2. Which is smaller: -21 or c?
-21
Suppose 17*c + 8675 + 15550 = 34*c. Is 1423 at most c?
True
Let y = 293/8 - 147/4. Let d = 1 - -2. Suppose d = -5*i - 2. Is i < y?
True
Let x be 8 + (-5 - (-11 - (-7 + 0))). Is 261/34 at least as big as x?
True
Let w = -0.481 - 1.519. Do 207 and w have different values?
True
Let s = 21 - 21. Let v be (-978)/(-163)*(-4)/21. Is s >= v?
True
Let f be (-13)/(-26) - 15/(-98420)*-3282. Do f and -1 have different values?
True
Let a be 3/2 + (-3)/6. Let r(p) = 7*p - 7. Let i be r(a). Is i > 4/7?
False
Let z(f) = -2*f + 18. Let p be z(-19). Let q be (-3)/2*p/42. Let x be 6/15 + (-388)/920. Is x less than q?
False
Let p = -23/124 - -7679/620. Let w(y) = y**3 + 5*y + 118. Let r be w(0). Suppose 91 = r*v - 111*v. Which is smaller: p or v?
p
Let z = 916 - 879. Let n(c) = c**2 - 8*c - 88. Let v be n(16). Which is smaller: v or z?
z
Let z be 6 + (-6 - (-237)/36)*33. Is z bigger than 24?
True
Let u(i) = 9*i + 41. Let w(o) = -8*o - 39. Let b(j) = 4*u(j) + 5*w(j). Let v be b(0). Is v at least as big as -29?
False
Let m be (9/3)/(6 - (205 + 4)). Let i(z) = 3*z - 62. Let u be i(21). Is m greater than or equal to u?
False
Let p be 1/4 + ((-291852)/(-48))/67. Are p and 113 non-equal?
True
Let g = -0.2 + 0.3. Let d = g + -0.3. Let f = -57471 + 172415/3. Are d and f non-equal?
True
Let a = -540.9 - -500. Let i = 28.9 + a. Is -2 less than i?
False
Let v = -5886 - -1201. Are v and -4685 equal?
True
Let m(a) = a**3 + 6*a**2 - 17*a - 6. Let r be m(-6). Suppose 209*p - 215*p + r = 0. Which is bigger: p or 5?
p
Let x = -0.3269 + 312.0269. Let o = 312 - x. Which is smaller: -0.06 or o?
-0.06
Let d be ((-3)/(-51) - (-455)/(-221)) + -9. Suppose 0 = g + 1, 6 + 31 = -2*j - 5*g. Do d and j have the same value?
False
Let c be ((-1)/(-10))/(4/10). Let q be (-15)/11*7/(-3). Let y = q - 481/44. Is c bigger than y?
True
Let r be (-10589)/(-191250) + 1*(-4)/72. Are 1 and r unequal?
True
Suppose f + 3*a = -3, 6*a = 5*f + 3*a - 21. Suppose -61*v + f = -58*v. Do v