 Which is greater: 652 or u?
u
Let z(y) = -y + 3*y**2 - 4*y - 2*y**2 - 2. Let m be z(6). Let w be ((-444)/25)/(-3) + 14*(-7)/(-1225). Which is smaller: m or w?
m
Let p = 103 - 89. Let u = 3.5 + -18. Let z = u + p. Are -0.1 and z non-equal?
True
Let d = 36 + -31. Let v be (d/20)/((-50)/(-24)). Is v != 1?
True
Let q be (-180)/30 - (0 + -6). Is q at least 1/128?
False
Let z be (28/(-8) - -5) + (-9)/(-2). Is -11 > z?
False
Let o = 16412/9 + -16126/9. Is 32 at least o?
True
Let y = 32.21 + 10.49. Let a = y + -42. Let o = 0 + 0.1. Which is greater: a or o?
a
Suppose -10 = 5*u - 20. Let n be (0 - u) + (-4361)/(-140). Let h = 115/4 - n. Which is greater: h or 0.2?
0.2
Let h = 1 + -4. Let t(r) = -r**2 + 10*r - 14. Let p(y) = y - 10. Let f be p(19). Let z be t(f). Is z at most h?
True
Let i = -7195/14 + 512. Do -1 and i have the same value?
False
Suppose 5*v + b - 614 = 2*b, 3*v = -4*b + 350. Is v at least 123?
False
Suppose 2*y - 3*y + 10 = 2*g, -y - 2 = -4*g. Suppose 0 = -4*w - y - 2. Let f = -58 + 225/4. Which is smaller: w or f?
w
Let u(p) = p**3 + 6*p**2 - 8*p + 8. Let i be u(-7). Suppose -i = -9*v + 6*v. Let a be 22/4 - (7 - v). Is a at least as big as 5?
False
Suppose 2*n + 5 = -4*h + 1, -3*h - 4*n - 13 = 0. Let t(m) = -m**3 - 5*m**2 + 4*m - 7. Let c be t(-6). Is c equal to h?
False
Let h be ((-71)/(-4))/((-11)/(-44)). Let p = -67 + h. Let i = 13 + -8. Is i > p?
True
Let w be (-2)/(-6)*(-100320)/(-55). Are 610 and w nonequal?
True
Suppose l + 0*l + 129 = -4*j, 2*l = -j - 27. Let c be 2 + -1 - (-36)/j. Let g = 38 + -37. Is g at most as big as c?
False
Suppose 0 = -0*p - 2*p + 6. Suppose -3*s + 4*s - 4*y - 15 = 0, -p*s + 5*y = -45. Which is greater: s or 16?
16
Let d be (84/9)/(4/6). Suppose 15*i = d*i. Let p be (-44)/10 + (-2)/(-5). Which is greater: i or p?
i
Let x be 1 + 0 - -3 - (-2 + -1171). Let b be 2/3 + x/(-33). Are b and -35 unequal?
False
Let v = 522 - 520.9. Is -1/19 bigger than v?
False
Suppose 2*b + 0*b + 4 = 0. Let f be (-4)/22 - 168/44. Is b greater than f?
True
Suppose -5 = 4*b + 3. Let z = b - 3. Let m = -7 - z. Which is smaller: -4/3 or m?
m
Let d = 0.141 + -6.141. Which is bigger: -11 or d?
d
Let f = -1273 - -6363/5. Suppose -2*q + 99 = 2*q + y, -3*q + 2*y = -66. Let o be q/14 + 2/(-1). Which is smaller: f or o?
f
Suppose -5*f = -5*n + 6*n + 23, -f + 3 = 4*n. Is n at least 9/14?
True
Suppose -40*y + 2261 = -47*y. Is -323 equal to y?
True
Let y = 488 + -492. Is y at least -11/3?
False
Suppose 0 = -2*z - 0 + 18. Is 47/6 <= z?
True
Let c(d) = -d**3 - 17*d**2 + 36*d - 31. Let w be c(-19). Let v(q) = -q**3 + 5*q**2 - q. Let l be v(2). Which is greater: l or w?
l
Suppose 0*h - h + 2 = 0. Let v be 56/20 - h/(-10). Suppose d - 20 = -4*s, -v*d + 5*d - 2*s = -10. Which is bigger: d or -2/23?
d
Let g = 89/8 - 196763/17688. Which is smaller: -1 or g?
-1
Suppose -2*w = -5*j + 17, -j - 9 = -4*j. Do w and 12/151 have the same value?
False
Suppose 3*c = 3*y - 9, -2*y - y + 5*c = -17. Suppose 5*n = -2*i - 6, -2*n - n = -5*i + 16. Suppose -5*q + 14 = i*l + 3, 2*q - 6 = 0. Is l at least as big as y?
False
Let s be -82 + 1/(-3 + 39/12). Suppose -4*z = 2*d + 170, -6*z + 222 = -3*d - z. Which is bigger: d or s?
s
Let y = -28 + 28. Suppose -t + 5 = -y. Which is bigger: t or 7?
7
Let z be ((-3)/3*-1)/(-23). Suppose -4*w = -1 - 3. Is z less than w?
True
Let o(i) = 3*i + 4. Let h = 4 + -12. Let y = -10 - h. Let s be o(y). Which is smaller: 1 or s?
s
Let n = -78.034 + 0.034. Let k = 89 + n. Which is smaller: -2 or k?
-2
Let j be (-192)/(-14)*13/(-39). Which is greater: -4 or j?
-4
Let k = -459 + 460. Are k and -0.89 unequal?
True
Let y be 14*1*(-3)/(-6). Let s(f) = f**3 - f**2 - f. Suppose 0 = 4*z + 2*w + 2, -w + 2 = 2*z - 3*z. Let n be s(z). Which is greater: n or y?
y
Let f be 4/((-24)/2) - (-5)/3. Let b = 41 - 39. Which is bigger: b or f?
b
Let v be (-2445)/10725 + 632/88 + -7. Suppose 2 = -3*g - 1. Do g and v have different values?
True
Let m(q) = 3*q**2 - 3. Let o be m(-3). Let j = -24 + o. Is -3/5 > j?
False
Let k = 50 - 899/18. Let i = k - -13/9. Is -2 not equal to i?
True
Let w = -127 + 123. Do -16 and w have different values?
True
Let q = -3647553/44 + 82894. Let r = q + 19/4. Which is greater: -1 or r?
r
Let v = 14 - 41. Let w = 47 + v. Which is bigger: -2/3 or w?
w
Suppose -10*c - 1325 + 435 = 0. Let h = c + 88. Which is smaller: h or -2/69?
h
Let w = 11130 - 122445/11. Let a = -6 - -4. Is a at most w?
True
Suppose -17 = -3*n - 23. Let c be n/8 - (-564)/(-240). Which is greater: -3 or c?
c
Let b = 15.966 + 0.034. Let z = b - 61. Are z and 0.1 non-equal?
True
Let q = 395 + -402. Suppose 0 = -t - 2*u + 7, 4*t + 13 = -3*u + 51. Let g = 4 - t. Do q and g have different values?
False
Let t = 62.9445 - 0.0445. Let q = -63 + t. Let h = -1.8 + 1.91. Which is smaller: h or q?
q
Let y(x) = -5*x - 34. Let g be y(-7). Which is smaller: g or 270?
g
Let g = 2012/5 + -402. Is 2.63 < g?
False
Let f = -10.27 + -31.73. Which is bigger: f or 9?
9
Let t = 134 - 48. Is t less than 343/4?
False
Suppose 0 = 5*s + r + 124, -3*s - 2*r - 72 = r. Let j(x) = -24*x**2 - 10*x + 9. Let g be j(1). Is g greater than s?
False
Let r = -0.019 - -1.219. Let i = -0.2 + r. Which is smaller: 0 or i?
0
Let r be (-4)/16*(-1)/(-4). Suppose 0 = 4*k - 0 - 8. Is k equal to r?
False
Let x = 1173 + -1178. Suppose -2*c + 2*m = 4, -6*m + 4*m = -6. Suppose c + 23 = -4*f. Does x = f?
False
Let w = 0.03 + 0.04. Let n = -0.15 + w. Let v = -4.08 - n. Is v < 1?
True
Let r = 25 + -22. Let z = 2.98 - r. Is z at least as big as -0.1?
True
Let p(j) = j**3 - 4*j**2 + 2*j + 1. Let o(m) = m**2 - 13*m. Let u be o(13). Suppose u = q + 4 - 7. Let z be p(q). Which is greater: -4/7 or z?
-4/7
Let b be ((-1 - 0) + -1)/2. Let p(v) = 12*v**2 - 2*v - 1. Let h be p(b). Suppose -20 = -5*d + 5*m, -5*d - 20 = -7*m + 10*m. Is d > h?
False
Let u be (1/(-2))/(2/6). Let l be (9 + -3 - 1) + 2. Suppose -1 = -3*z - l. Which is bigger: z or u?
u
Let p = -0.1079 + -76.8921. Which is bigger: p or -3?
-3
Let o = 625 + -619. Which is smaller: -2 or o?
-2
Let g = -113 - -116. Does 30/19 = g?
False
Let b be 2420/16 - 21/(-28). Which is bigger: b or 301/2?
b
Let d = -0.0751 - 0.0229. Which is bigger: -1 or d?
d
Let b(r) be the first derivative of r**2/2 + 8. Let m be b(-2). Let t be (m/(-4))/(1/6). Is t equal to 17/4?
False
Let m be ((-5)/70)/((-1)/2). Let c(k) = -k**2 + 5*k + 2. Let u be c(5). Let n be (u/10)/(60/(-75)). Is m at most as big as n?
False
Let a be (-1)/4 + 4/16. Suppose a = -5*w - 305 + 125. Let h be 6/w + 5/(-6). Are h and -7/4 unequal?
True
Suppose 19 = 3*p - 5*l, 2*p - 5*l - 14 = -l. Let f be (4/(-1) + p)/(-1). Suppose -5*w + f = -4. Which is greater: 2/7 or w?
w
Suppose n - 2*n - 5*j = 14, -j = 5. Suppose 2*a - n - 6 = -k, 0 = a - 3. Is k greater than 11?
False
Suppose 2*y + z + 2 = 0, 5*y + 4*z + 11 = -0*y. Let d be (39/(-20))/(-3) - (-124)/(-310). Is d less than or equal to y?
True
Let b = -456 + 457. Is 5/28 <= b?
True
Let w be (87/145)/((-8)/45) - -3. Suppose 0 = -3*s + 4*s - 3. Suppose 3*t + 5*v = 8, 5*v + 0 = 2*t + s. Which is smaller: w or t?
w
Let q = -45427/19 + 2390. Which is smaller: q or -1?
-1
Let p = -203/4 + 17279/340. Which is bigger: p or 0?
p
Let g be -1 + (80 - 1 - -3). Let q = g + -60. Is 22 greater than q?
True
Let d = 40598979/8 + -5068406. Let y = -6457 + d. Which is smaller: 8 or y?
8
Suppose 22*o - 24 = 30*o. Is -19/7 bigger than o?
True
Suppose 4*u - 42 = -10. Let y = u + -2. Let i be -3*51/(-21) - (-4)/(-14). Is i not equal to y?
True
Suppose -4*a + 2 + 18 = 5*h, -4 = -h - 5*a. Let n be -9*(11/22)/((-2)/h). Which is smaller: n or -3/7?
-3/7
Let n be (-3)/(-2) - (45/6 + 0). Let r(u) = u**2 + 10*u + 12. Let c be r(n). Does -14 = c?
False
Let l(k) = k**2 + 13*k + 23. Let j be l(-2). Are -9/94 and j nonequal?
True
Suppose -7*p + 0 = -21. Suppose -r = -p*r. Which is smaller: r or -2?
-2
Suppose 4*r + r - 3033 = -4*c, 2*r = -5*c + 3770. Do 752 and c have the same value?
True
Let b = 1338 - 1274. Which is greater: b or 63?
b
Let j be 7/((-14)/(-4))*-3. Let l be 2 + -3 - 12/j. Is l greater than -2/15?
True
Let c(i) be the third derivative of i**6/120 + i**5/20 + i**4/24 + i**3/6 + 4*i**2. Suppose -9 = -t + 4*t. Let j be c(t). Is j at most -2?
True
Let k = -3 - -23. Suppose -k = -f - 4. Let p 