/((-120)/(-54)). Which is smaller: -1270 or i?
-1270
Suppose 3*o - 25 = 4*a, -2*o + 2*a - 14 = 7*a. Suppose t - 8 = o*t. Let h be (1 + -3 + 1)*t. Which is smaller: -2/7 or h?
-2/7
Let n be 3/(-12) - (-4)/16. Let w = -2 - -1. Let p = w + 2. Is p at most as big as n?
False
Let a = 6957/11 - 633. Let c be 0/((-6)/(-2) + -4). Do c and a have different values?
True
Let o be 6 + 2*(-2)/2. Suppose 55*r - 395 = 60*r. Let w = -75 - r. Is w smaller than o?
False
Suppose 0*s = -3*q - 2*s - 3, 2*q + 5*s = -2. Suppose 33*a - 670 = -76. Let z be (q/(-129))/((-9)/a). Is z not equal to -1?
True
Suppose 3*k + 9 = 0, -4 = 5*v + 2*k - 3. Which is smaller: 117 or v?
v
Let u = 75 - 73. Suppose 3*x - 60 = 3*g, -u*x = -g - 16 - 26. Is -1 > x?
False
Let c(p) be the second derivative of -p**4/3 + p**3/3 + 5*p**2/2 + 42*p. Let g be c(-2). Is -14 not equal to g?
True
Let y be (95/10)/((-2)/4). Let h(j) = -j**2 + 6*j + 7. Let x be h(7). Which is greater: x or y?
x
Let z be (-55)/(-8) - (-10)/80. Suppose 0 = -f + z*f - 12. Suppose -o = -f*o - 2. Do -10/7 and o have different values?
True
Let b = 2 - 1.9. Suppose 12*n = -0*n - 7860. Let o be n/(-1365) + ((-20)/14 - -1). Which is bigger: b or o?
b
Let r = 0.25 + -0.51. Let u = r + -13.74. Let p = 20 + u. Are p and -0.1 non-equal?
True
Let u(o) = 2*o - 6. Let z be u(4). Suppose -z*m + 8 = -6*m. Let j be 4 + (2 - -4)/m. Which is bigger: -21 or j?
j
Suppose 3*b + 99 = 5*d, b = -d + 6*d - 103. Are d and 25 non-equal?
True
Let g be 1 - (-8 - (-27945)/3114). Is -1 < g?
True
Let h = 3.13 + 9.57. Let z = 27 + -14. Let c = h - z. Which is smaller: 0.2 or c?
c
Suppose o - 30 = -y + 6*o, -2*y + 40 = -5*o. Let z = y - -6. Is 16 at least z?
True
Suppose -3*y - 1 + 4 = 0. Let l be (2 - -1)/(-1*y). Let s be 1/l - 22/(-30). Is s greater than 0.1?
True
Let n be (-10)/(-1)*(-10)/(-50). Suppose n*r + 2*r = 24. Is 6 > r?
False
Let p = -32 + 35. Is p <= 19/10?
False
Let m = -1471.0464 - -1471. Is 1 at most m?
False
Suppose -3*n + 44 = -4*p, -n - 5*p = -5*n + 58. Let m = -12 + n. Let w = 0.27 - 2.27. Which is smaller: m or w?
w
Let v = 0.0874 + -9.0874. Which is bigger: v or 9?
9
Let r = -0.29 - -26.69. Let s = r + -3.4. Is -0.3 > s?
False
Suppose 0 = -5*f + k + 8 - 0, -3*f = k. Suppose -2*p = -6*p + 28. Let c(a) = -a**3 + 6*a**2 + 8*a - 10. Let o be c(p). Is f smaller than o?
False
Let i be (-21 - -21)*(-2)/14. Suppose r + 0*r + 5 = 0. Is r < i?
True
Let a be (-221)/2550 - (-4)/(-50). Is -0.27 at most as big as a?
True
Let k(r) = r - 7. Let f be k(8). Let l be (-14)/4*(f + -3). Suppose 2*u = p, -2*p + l*p = 0. Which is smaller: 3/10 or u?
u
Let x be (-1)/((-25)/585) + 6/10. Is 24 > x?
False
Suppose -3811 + 517 = -27*a. Is 124 smaller than a?
False
Let r(y) = -y**3 - 4*y**2 - 2. Let n be r(-3). Suppose -2*h + 1 = 11. Do h and n have different values?
True
Let z be ((-10)/21)/(2/6). Suppose -5*j - 2*a = 141, 4*a = 5*j + 62 + 61. Let n = j + 27. Is z less than n?
True
Suppose 1360 + 1870 = -5*i. Let d be 2/(-5) - i/(-85). Is -9 at most as big as d?
True
Let i be 2/5 - ((-969)/130)/(-17). Is 1 at most i?
False
Let h = 9 - 8.37. Let w = h - 0.682. Which is bigger: -1 or w?
w
Let s be (-4)/(-18) - 16/(-9). Let r = -4.07 - -4. Which is smaller: s or r?
r
Let t be (-2 - -6)*2/(-4). Let b = -0.07 - 0.18. Let c = b - -0.75. Which is bigger: c or t?
c
Let c be (-65)/15*3 - 10. Suppose -2*x = 3*x + 120. Which is greater: x or c?
c
Let p(q) = -q**3 + 14*q**2 + 16*q + 21. Let r be p(15). Which is greater: 35 or r?
r
Let h be (-173)/350 + (2 - 21/14). Is h equal to -1?
False
Let g(h) = h**3 + 5*h**2 + 3*h - 1. Let k be g(-3). Let d be 0 - (31/(-11) + (-18)/99). Let l be k/240*d/(-2). Which is greater: l or 0?
0
Let b be (-1)/(-5) - (-28)/10. Suppose s + 3 + 3 = -b*x, 0 = 5*x + 5*s. Let i be 5/x + (-6)/(-9). Is -1 > i?
False
Let a(n) = -6*n**2 - 88*n - 72. Let p be a(-13). Which is bigger: 38 or p?
p
Let s = -69.01 - -69. Let h = 0.08 + s. Are h and -1 nonequal?
True
Let i = -59 + 78. Suppose -2*s = 5*m - 51 + 6, 77 = 4*s - 3*m. Which is smaller: s or i?
i
Let u = -2.33 + 2.43. Is u at least as big as -34?
True
Let b = -18 - -19.4. Let h = 0.93 - 1.93. Do b and h have the same value?
False
Let v(p) = 8*p + 10. Let j be v(-2). Let i be 3/j*((-3776)/12)/8. Which is bigger: i or 21?
21
Let t be ((-2)/3)/(3/54). Let p(k) = k**3 + 14*k**2 + 19*k + 12. Let x be p(t). Is 71 greater than x?
False
Suppose 5*z - l = -190, 0 = -31*z + 29*z + 5*l - 53. Which is smaller: -36 or z?
z
Let p be ((-2)/6)/((-90)/(-1539)). Which is smaller: -6 or p?
-6
Let d = -1/1346030 + 18781156609/25574570. Let a = 735 - d. Which is smaller: a or 2?
a
Let u = 2.989 + -2.86. Let w = u - 0.029. Is w less than or equal to 0.02?
False
Let f be (350/(-56) + 6)*(1 - 5). Which is bigger: f or 1/115?
f
Suppose -7*l + 2*y = -9*l - 26, 32 = -4*l + y. Which is bigger: -34 or l?
l
Let t = 90.8 - 82.86. Let l = -0.06 - t. Suppose -4*k - 4 = 2*w, 0*k + 5*w + 10 = 2*k. Is l equal to k?
False
Let l be -10 - 23/(276/(-120)). Which is smaller: l or -39/59?
-39/59
Let d(c) = -c**3 - 8*c**2 - 8*c - 7. Let l(z) = z + 7. Let g be l(-14). Let k be d(g). Which is greater: k or 2?
2
Let t = 1040 + -1041. Do t and 2/1475 have the same value?
False
Let a = 2/21 + -31/7. Let z(r) = r**2 - 22*r - 138. Let p be (-752)/(-28) + (4/28 - 0). Let c be z(p). Does a = c?
False
Let w = 7589 - 7589.1. Let t = -5.88 + 6. Is t bigger than w?
True
Let l = 62.891 + 0.109. Let p = 60 + -60. Which is smaller: l or p?
p
Let o = -51/4 + 4949/388. Is 1 >= o?
True
Suppose 17*f = -17 - 782. Is -50 smaller than f?
True
Let f be ((-8)/(-12))/((-8)/18). Let p = 0.333 - 0.003. Let k = 0.27 - p. Which is bigger: k or f?
k
Suppose -4*g = 5*a - 16 - 5, 5*g + a = 0. Let u be 9*((-136)/6)/(-4). Let r be (3 + u/(-18))*-7. Which is smaller: r or g?
r
Let i = 269 + -186. Is -2/5 at most as big as i?
True
Let u = -80 - -72. Suppose 3*l = 5*l - 4. Are l and u nonequal?
True
Suppose 8*d = 31*d - 2875. Which is smaller: 126 or d?
d
Let a(y) = 5*y + 4. Let z be a(-6). Is z at most as big as -23?
True
Let w = -38 - -40. Suppose 3*z + 41 = -5*p + 16, p = w*z - 18. Which is smaller: -9 or p?
-9
Suppose -4*g = g - 30. Suppose 3*m = g, 4 = q + 3*m - 8. Is q at least 40/7?
True
Let k = 6.77 - 0.67. Let n = k - 6. Which is bigger: n or -2/5?
n
Let h be ((-7)/6405)/(12/(-40)). Which is smaller: 1 or h?
h
Let u be ((-4)/(-10))/(-1 - (-297)/225). Is 34 greater than u?
True
Let u(y) = -2*y**2 - 18*y - 41. Let p be u(-3). Do 7 and p have the same value?
False
Let g be 1/10 + (-4669)/2590. Which is greater: -2 or g?
g
Suppose 6*g + 32 = 2*g. Let m be g/24*(-2)/24. Which is greater: m or -1?
m
Suppose -2*x - 3*m - 29 = 0, -2*m + 44 = -4*x - x. Which is smaller: x or -2.6?
x
Suppose -3*v + 7*v = 20. Suppose -c + 4*j - 3*j = 1, -30 = -5*c - 2*j. Let i(w) = -w**2 + 5*w + 1. Let r be i(c). Is v > r?
False
Let y be (-3)/(-12)*32/92. Let w = y - 27/46. Let n be 4*(-6)/15 + 2. Which is greater: w or n?
n
Let s(g) = -g**3 - 3*g - 1. Let d be s(-4). Let a be d/24 - 9/(-6)*-2. Which is smaller: 0 or a?
0
Let a be (-4)/(-18) - 440/36. Is a less than or equal to -37/3?
False
Let w be 12/(-16) + 2/(-8). Let q = -7164/13255 - 6/1205. Which is smaller: w or q?
w
Let x(a) = 2*a**2 - 5*a + 5. Let t be x(-3). Suppose 18 = 4*m + t. Are -7 and m non-equal?
True
Let a(v) = 43*v - 243. Let p be a(19). Is 575 at least p?
True
Let p = 1/21 - -9/7. Let g = 74 - 146. Let x = g - -72. Is p > x?
True
Let z be (-2)/(-7) + (-2838)/(-14) + -2. Is 201 <= z?
True
Let t = -0.108 - 1.892. Let u = -2413/21 - -115. Which is smaller: t or u?
t
Suppose -3*g + 1 = 4. Let j(h) = -h**2 + 10*h - 1. Let y be j(9). Suppose -y*b = -7*b - 2. Which is smaller: g or b?
g
Let f = -872/9 - -36625/378. Which is bigger: f or -1?
f
Let u = -47 + 52. Let d be (u + 4/(-2))*1. Is 13 <= d?
False
Let f = -61 + 61. Let w = 232 - 1615/7. Which is greater: f or w?
w
Let k(v) = -3*v**3. Let p be k(1). Let o be ((-15)/(-9))/((-1)/p). Is o at most as big as 4?
False
Suppose 0 = -2*g + 10 + 26. Let m = g + -14. Suppose y + m = 0, 5*y + 33 = -d - 2. Is 1 equal to d?
False
Let b be (-1 - 11)*(-10)/(-15). Let o be (-6)/9 + b/(-3). Suppose 2*z = 2*y, -o*z - 6*y = -y. Which is bigger: -1/4 or z?
z
Let l be 326/(-22) - (-16)/(-88). Let 