se
Let f be 15/50*15/(-18). Do 1 and f have the same value?
False
Let p(i) = 3*i**3 + 15*i**2 + 17*i - 9. Let u be p(-9). Let j be 2/(-9) - (-72)/u. Which is bigger: j or -0.26?
-0.26
Let x be (772/(-6))/((-16)/6). Which is smaller: x or 48?
48
Let o = -0.6 - -1.6. Let h = -3.5 + -8.5. Let s = h - -12.08. Which is bigger: s or o?
o
Let k(r) = r**2 + 4*r - 12. Let x be k(2). Which is greater: -3/8 or x?
x
Suppose 2*o = 15 + 11. Suppose -94*g - 36 = -103*g. Which is smaller: o or g?
g
Let a(z) = 1. Let y(x) = -4*x - 1. Let k(s) = 2*a(s) - y(s). Let j be k(3). Let u = 17 + -1. Which is smaller: u or j?
j
Suppose -5*h + m + 46 = -3*m, 5*m = -5*h + 10. Suppose 0 = 4*y - 2*q + h, 2*y = -y + 4*q - 7. Let r be 10/3 + (-5)/1. Is r <= y?
True
Suppose 12*a = 7*a - 115. Let g = -12 - a. Which is greater: g or 14?
14
Let m = 161/2 + -321/4. Is 0.356 at least m?
True
Let q = -213/4 - -1111/12. Is 40 greater than q?
True
Let o = 3.1 + -3. Let l = o - 0. Let j = 0 + l. Which is greater: 4 or j?
4
Let p = -8388 + 1115598/133. Are p and 0 non-equal?
True
Let f = -4.14 - -7.14. Is f greater than -0.058?
True
Let u(k) = -5*k - 2. Let m be u(5). Let j(c) = 8*c - 36. Let v be j(12). Let d = v - 86. Is d at least m?
True
Let n = -61 - -31. Let b = n - -38. Which is greater: b or -2?
b
Let j(q) = q**3. Let p be j(-2). Let f be 4 - 30/(3 - -3). Let u be p + 12 + f*5. Which is greater: u or 1/13?
1/13
Suppose 9*g - 14 + 1580 = 0. Which is greater: g or 2/3?
2/3
Let z be (-576)/(-54) - (10 - -1). Is 16 < z?
False
Let z = -52 + 52. Is z < -8/7?
False
Let n = -886375/404 - -2194. Is n at most as big as -1?
False
Let h = -5 - -8. Suppose -4*n + 5*p = -57, 0 = -p - 5. Suppose 3*l - 3*w = -5*w + 8, 0 = -2*w + n. Which is bigger: h or l?
h
Suppose -2*s - 2*s = -5*x - 86, 0 = 2*s + 2*x - 52. Suppose -s = 4*q - 28. Which is greater: q or -1?
q
Let d = 1 + 0. Let b = 20 + -20. Suppose b = 2*g + d + 3. Which is smaller: g or 1?
g
Let f be 0 + 3 + -9 + 8. Suppose -j = g - 9, 0*g = 4*g + f*j - 26. Which is smaller: 5 or g?
g
Let q = -162.345 - -0.345. Are -2/7 and q non-equal?
True
Let w = 1086 - 1105. Which is smaller: -23 or w?
-23
Suppose 12*j + 9 = 3*j. Let l be j/4*(-4 + 4). Does 2/19 = l?
False
Suppose -2*f - 7 = -27. Suppose -3*t - 53 = -188. Let p be 849/t + f/75. Is 18 less than p?
True
Let o be (-4 - -1)/(6/(-2636)). Let u = 6567/5 - o. Which is bigger: -6 or u?
u
Let w(j) = -2*j**3 + 12*j**2 - 29*j + 17. Let u be w(4). Which is greater: -47 or u?
u
Let z = -10.8 - -10. Let f = -2.4 + z. Which is smaller: f or -0.1?
f
Let k = -896662/419 - -2140. Which is smaller: -1 or k?
-1
Let p = 30 - 17. Suppose -5*w - 21 = -4*t, 0 = -0*w - 3*w - 4*t + p. Let h be ((-2)/2 + -7)*w. Is 4 greater than h?
False
Let i = -57 + 173/3. Suppose -3*r - 2*c - 80 - 67 = 0, -r = 4*c + 39. Let x be r/(-136) + 58/16. Do i and x have the same value?
False
Let b(h) = h**2 + 5*h - 3. Let m be b(-5). Let i be (-2)/(-7) - 53/7 - m. Which is greater: i or -4?
-4
Suppose 0 = t + 3*g + 47 + 12, 4*t = -4*g - 268. Let k = t + 51. Is k less than or equal to -20?
True
Let j be (-14)/110 - (-4)/10. Let c(d) = d**3 + 17*d**2 + 15*d - 16. Let p be c(-16). Suppose 7*u = 2*u + 2*h, p = -2*h. Is u < j?
True
Let q(z) = z + 2. Let t = 15 + -15. Let y be q(t). Let m(p) = 4*p**3 - p**2 - p + 1. Let o be m(1). Is y bigger than o?
False
Let h be (-84)/224 + (-414)/112. Which is smaller: 0 or h?
h
Let x be ((-6)/(-9))/((-21)/(-1935)). Let l = x - 62. Are l and -1 equal?
False
Let m = 79.5 - 170.6. Do m and 1 have the same value?
False
Let u = -1500 - -1500. Do -21 and u have the same value?
False
Suppose -12*w + 16 = -16*w. Let k be (-3)/1 - w - 122/126. Which is bigger: 0 or k?
k
Let f = 2 - -1. Suppose 5*i - 5*j - 11 = -1, -3*j = -4*i + 12. Let p be -3 + 1 - (3 - i - 0). Is f smaller than p?
False
Suppose 58*s + 336 = 42*s. Which is greater: -8 or s?
-8
Let x(m) = 8*m**3 + m**2 + m - 3. Let l be x(1). Let d(b) = -b**2 + 7*b - 10. Let q be d(l). Is q equal to -2/9?
False
Let a be 0 - 2 - (-346)/40. Let h be -3*(-1 - -5 - (-243)/(-60)). Let z = h - a. Which is bigger: -7 or z?
z
Let v(m) = m**3 - 3 - 2 + 3*m**2 + 4*m**2 - 4*m + 0*m**3. Let q be v(-7). Which is smaller: q or -2/5?
-2/5
Let n = -25 + 14. Let p(u) = u + 4. Let q be p(-11). Let v(y) = -y**3 - 7*y**2 - y - 6. Let d be v(q). Is n <= d?
True
Let x = 10.4 + -10. Is x less than 12?
True
Let x = -91 + 174. Suppose -j - 5*a = -5, a + 0*a + x = 4*j. Suppose 2*y + 40 + j = -5*d, -60 = 4*y - 5*d. Is y at least as big as -21?
True
Let r be -99 + 203 + 4/9. Does 103 = r?
False
Let p(d) be the first derivative of -d**4/4 - d**3/3 + d**2 + 2*d - 19. Let m be p(-1). Does m = -7/12?
False
Let l = -94.78 - 1.22. Let w = l - -97. Let u = 5 - -5. Is u bigger than w?
True
Let i = 640 + -640. Is -867 less than or equal to i?
True
Suppose -552 - 931 = 4*l + n, -3*l - 1121 = -n. Is l bigger than -372?
False
Let k = 1 + -2. Let x(d) = d**3 + 20*d**2 + 18*d - 35. Let o be x(-19). Let b be (-6)/o - (-10)/(-20). Is b bigger than k?
True
Let d = -25 + 16. Is d > -1?
False
Let k = 141 - 151. Does -2/5 = k?
False
Let g = -0.624 - -0.6. Let a = g - 0.976. Which is greater: a or 7/6?
7/6
Let i = 10.1 + -9.8. Let q = 0.36 + -3.16. Let d = 1.8 + q. Is i at least as big as d?
True
Suppose 0*j = -j + 3. Let s = 7 + j. Let y be 3*(-3)/(-36)*s. Which is greater: 2 or y?
y
Suppose 0 = -7*v + 2*v - 10. Let m = v + 1. Let a = -76/385 + 3/55. Which is greater: m or a?
a
Suppose 5*k = -5*h + 170, -5*k + 136 = -h + 5*h. Let m = -34 + h. Let z be (1/(-12))/(6/(-40)). Which is greater: z or m?
z
Suppose -5*y + 284 = -3*i, 0 = i + 18*y - 21*y + 96. Which is greater: i or -94?
i
Suppose v = 4*x + 7, v + 4*x - 3*x = -3. Do v and -11/9 have different values?
True
Let f = -332 + 194. Let k = -139.3 - f. Is k less than -1/2?
True
Suppose -4*c + s = -53, -5*s - 4 - 14 = -c. Let x be 0 + -4 + (17 - c). Is -10/9 greater than x?
False
Suppose -m = l - 9, -m = -3*l + 2*l + 3. Suppose l*r - 6 = -24. Let c be 1/r*(-4 + 1). Which is bigger: c or -10?
c
Suppose 6*n = 92 - 164. Is n less than -13?
False
Let z = 31 - 191/6. Suppose 3*g = -4*x - 24, 0 = 5*x + g + 2 + 17. Let c be (1/(-4)*0)/x. Which is greater: c or z?
c
Let g(h) = 7*h**2 + 8*h - 10. Let j be g(4). Which is greater: 135 or j?
135
Suppose -j + 10915 = 5*w, -5*w = -3*w - 5*j - 4393. Does 2183 = w?
False
Let a(i) = i + 1. Let m be a(6). Suppose v + m = 3. Let y be 0 + 0 - 4/v. Is y > 1/4?
True
Suppose 0*a + 6 = -3*a - 3*c, -c - 3 = 2*a. Let t be (0/1 + a)/(5/165). Is -32 less than t?
False
Let r = 107.4 - 96. Let v = -2.6 - r. Let i = 14.1 + v. Which is greater: -1 or i?
i
Let p be 15/20*24/36. Is p equal to 1.45?
False
Let v = 3 - 1. Suppose -5*g - 2*h = -22 + 4, 0 = v*g + 5*h - 3. Suppose 0 = -5*p + g + 16. Does 5 = p?
False
Let y(g) = -2*g**2 - 120*g + 88. Let o be y(-54). Which is greater: 735 or o?
o
Let h be -18 - (-1 - -2)/((-2)/(-4)). Let n(l) = -l - 24. Let x be n(h). Let c(s) = s - 4. Let w be c(5). Which is smaller: w or x?
x
Let s = -27 - -28. Let f be s*-2*(-5)/10. Is f smaller than -5/13?
False
Let c = 1564 - 648. Which is bigger: 915 or c?
c
Let a be (-11)/3*21/(-7). Suppose n - 8 = -a. Which is greater: n or 2?
2
Let a = 124 - 124. Let z(o) = -3*o. Let s be z(1). Let p be 2/15*s/6. Is a < p?
False
Suppose 7*k + 2031 + 321 = 0. Is k less than -336?
False
Suppose 4*x + 91 = d - 2*d, 86 = -4*x - 2*d. Let f be x/32*(-8)/6. Let i be 164/84 + 2/(-7). Which is smaller: f or i?
f
Let c = 4451/4 - 1112. Let i = 1 + -2. Which is smaller: i or c?
i
Let d be (20 + -5)/(2 - 1). Let h = -126 + 137. Is d at least h?
True
Let d = 7.84 + 34.26. Let l = d - 42. Which is smaller: l or -7.6?
-7.6
Let d = 63 + 7. Suppose d = 6*f + 298. Is f less than or equal to -38?
True
Let x be (2 + 63/(-30))/(11/(-44)). Are x and -4/7 nonequal?
True
Let p be 126/(-56) + (-27)/(-12). Is -19/31 > p?
False
Let r be (-1 + 4)/((-6)/(-8)). Suppose r*b = -3*z - 97, -2*z = b - 3*b + 46. Let x = 27 + z. Which is bigger: 3/7 or x?
3/7
Let m be (-12)/(2/(20/3)). Let i = m - -79/2. Is -6/19 bigger than i?
True
Let m(g) be the second derivative of -g**5/20 + 7*g**4/12 - g**3/3 - 17*g**2/2 - 23*g. Let a be m(5). Is a < 0.1?
False
Let y be (10/2 - (-54)/(-18)) + 244. Is 246 <= y?
True
L