
True
Let z be ((-3)/3 - -1)/(-1). Let u be 299/(-69) + (-6)/(-2). Is z > u?
True
Let v(d) = d**2 - 73. Let p be v(8). Let k = 0.1 - -2.9. Is p < k?
True
Suppose -4*f = -3*f + 3*f. Which is greater: f or 1/978?
1/978
Suppose 4*t + 4 = 3*t. Let o = t + -2. Let w be (o/4 - -1)*2. Is -2/5 at least w?
True
Let v(b) = -b**2 + 4*b + 9. Let n be v(7). Let u(m) = 12*m + 1. Let o be u(4). Suppose -52 = 4*y - 4*k, 2*y + 2*y = k - o. Is y >= n?
True
Let w be 65*(24/(-10) + 3). Let u be 3 - 135/w - 0. Suppose v - 4*o + 8 - 21 = 0, -v + 16 = -5*o. Which is bigger: u or v?
v
Let i = 7 - 9. Let r(g) = 2*g + 7. Let s be r(-6). Let x = s + 6. Is x smaller than i?
False
Suppose -5*q - 5*r = -3*q + 2, -3*r = -3*q + 18. Suppose 5*a + m + 3*m = 0, 0 = -3*a - q*m. Let w be 0/(2 - a)*1. Which is smaller: w or -3?
-3
Suppose 4*x + 250 = -6*x. Is x greater than or equal to -24?
False
Let z = -662.921 - -663. Which is smaller: z or -0.4?
-0.4
Let v = 234 - 1871/8. Is 6.2 smaller than v?
False
Let y be 5 + 520/16 - -7. Which is bigger: y or 44?
y
Let p = -45 + 38. Let t = 16 + p. Suppose -5*i = -t*i - 40. Is -10 greater than i?
False
Suppose -2*t = m + 1, 4*t + 5*m = 3*t + 4. Which is smaller: 4/47 or t?
t
Let j = 18.15 + 0.85. Let l = j - 18.9. Is 1/3 bigger than l?
True
Suppose 2*r - 2*r - 11*r = 0. Let z(m) be the second derivative of m**4/12 - m**3 + 3*m**2 + 2*m. Let o be z(5). Which is smaller: r or o?
r
Let u(y) = -3*y - 15. Let r be u(7). Let d = -36 - r. Is -4/7 at most d?
True
Suppose 4*i + 2 = -5*u - 0*u, 2*i + 6 = 0. Let v = 2 + u. Let j = -4 - v. Is j at most -6?
True
Let c be 9/7674*4/6. Is 1 less than or equal to c?
False
Suppose 15*t = 189 - 9. Suppose -3*r + 5*r = t. Which is smaller: r or 7?
r
Let v = 1618 - 1617. Which is smaller: 2/625 or v?
2/625
Let a be 160/30*(-12)/(-16). Is 13 less than a?
False
Let x = -4868 + 2287959/470. Which is smaller: x or 0?
x
Suppose -p + 3 = -2*b - 10, -5*p + 29 = 2*b. Are -5 and p nonequal?
True
Suppose -9*x + 23 + 22 = 0. Suppose -4*k - 129 = x*z - 6*k, -z - k = 23. Which is bigger: z or 2?
2
Let l be 32/(-6)*8/(-7 + 1255). Which is greater: l or -1?
l
Suppose 5*i - 42 = 2*i - 3*l, 2*i - 20 = 2*l. Suppose -2*v = -5*v + i. Suppose -v*u = -u + 6. Are -3/4 and u unequal?
True
Let i = 1.16 - -0.09. Let n = i - -0.37. Let a = -1.7 + n. Which is smaller: 1/2 or a?
a
Let s(p) be the third derivative of -37*p**4/12 + 3*p**2. Let o be s(1). Let n = -151/2 - o. Which is greater: -1 or n?
-1
Let n be (-64)/288 + 52/(-90). Which is smaller: n or -7?
-7
Let a be (2/(-4))/((-15)/28). Let c = 8762 - 8760. Are c and a nonequal?
True
Let b = -42 - -82. Let f = b - 41. Is -3/49 at most f?
False
Let l = 92.003 - 92. Which is smaller: l or -1/4?
-1/4
Let o(n) = 12*n - 24. Let r be o(7). Is 20 <= r?
True
Let d = 3 + -5. Let t be -2 + (-11)/(-24)*3. Which is greater: t or d?
t
Let t = -3.28 - 0.62. Let q = t - -5.9. Is 20 > q?
True
Let i be 234 - 222 - 34/3. Let k = 6 + -6.12. Let u = k - -0.1. Which is smaller: i or u?
u
Let k = -410 + 420. Is -1/2 <= k?
True
Suppose -2916 = 5*p - 3511. Is 6 greater than p?
False
Suppose 8 = -j + 3*i, -3*i = 4*j - 14 - 14. Suppose -j*x + 30 = -x. Let m = -9 + x. Which is bigger: m or 0?
m
Let n = -0.3 - -0.17. Let t = 330 - 327.13. Let j = t - n. Which is greater: j or -0.1?
j
Let w = 122 + -224. Let l = 920/9 + w. Are -2/7 and l nonequal?
True
Suppose -3*u + 15 = -f, -2*f = -2*u + 2*f + 10. Let z(s) = -9*s - 13. Let d be z(u). Is -58 not equal to d?
False
Let q(c) = -c**3 + 19*c**2 - 14*c - 13. Let y be q(18). Let g be (2 - 0)*-1 + y + -1. Is g not equal to 55?
True
Let v(i) = 2*i + 26. Let q be 1/(-4) + 141/(-12). Let s be v(q). Which is smaller: s or 7/3?
s
Suppose 2 = -l + 3. Let k be (4 + -2*3)/l. Which is greater: k or -15/7?
k
Let n = 0.22 + -0.34. Let y = -12.12 - n. Let z = -12.3 - y. Which is greater: -3/5 or z?
z
Let w = 2536 + -2552. Which is greater: -3 or w?
-3
Let r be 10/126 - (-53)/371. Is r less than -350?
False
Let v = 0.09 + -0.13. Are -1 and v unequal?
True
Let g = -0.01 + 29.01. Let c = g - 30.3. Let q = -1.4 - c. Is 9 equal to q?
False
Let c = -46 - -19. Let y = c - -9. Let m = y - -10. Is 0.1 less than m?
False
Let k(v) = -v - 15. Let f be k(-19). Do -16 and f have different values?
True
Suppose 0 = -365*k + 374*k. Is k at least 2/881?
False
Suppose -l = k + 447, -2*l + 7*l = -4*k - 2236. Is l < -448?
False
Suppose g - 158 = 12*c - 13*c, 166 = g - 3*c. Let y = -18856 + 57055/3. Let i = g - y. Which is smaller: -1 or i?
i
Let w = 391 + -233. Which is smaller: w or -2/3?
-2/3
Let h(o) = 11*o - 12. Let z be h(3). Suppose 0*v - 5*i + z = -2*v, 9 = -v + 2*i. Is v greater than or equal to 0?
False
Let c be (-689)/(-1145) + (-12)/(-30) + -1. Which is smaller: -1 or c?
-1
Let g be (6/6)/((-2)/(-6)). Suppose -2*l + 4 = y, 0 = g*y - 2*l - 0*l + 4. Which is smaller: -14/13 or y?
-14/13
Let j be ((-8)/70)/(44/110). Which is greater: j or 0?
0
Suppose -122*x = -126*x - 492. Is x smaller than -493/4?
False
Let q(l) = -l + 29. Let z be q(0). Let v be 2/9 - 200/9. Let o = v + z. Which is greater: 9 or o?
9
Let a(d) = -2*d**2 + 50*d - 38. Let g be a(20). Is g at most 160?
False
Suppose 3*h = -4*b + 129, 4*h + 4*b = 33 + 143. Suppose -5*t + h - 42 = 0. Is -4/27 <= t?
True
Let a = 147 - 3088/21. Suppose -16 = 4*w + 4*c, -23*w - 9 = -20*w + 2*c. Which is bigger: a or w?
a
Let c be ((-1)/(-6))/(2/8). Suppose -5*b + 0*b + 62 = -3*l, 2*b - 2*l = 24. Let k(g) = 2*g**2 - 25*g - 13. Let t be k(b). Are t and c equal?
False
Let f = 1.77 - 1.67. Are f and 86 equal?
False
Let w = 4.805 - 0.13. Let s = 1.255 + w. Let c = -0.07 - s. Are c and -2/7 unequal?
True
Let d = -3510 - -17231/5. Which is bigger: -65 or d?
d
Let m(l) = l**2 - 6*l + 17. Let k be m(8). Let b = k + -34. Let y = -0.2 - -0.3. Is b not equal to y?
True
Suppose 18*v + 1027 = -539. Which is smaller: v or -84?
v
Let q be (58 - 1)*99/77. Let w = 73 - q. Let g = 11/18 + -10/9. Which is bigger: w or g?
w
Let q be 1 + 2 - 1*-5. Let o = q - 5. Suppose o*r + 0*r = 6. Which is bigger: 3/4 or r?
r
Let o be (-270)/(-2295) + 722/(-6426). Which is bigger: o or 0?
o
Let x be (-34)/8 + 1/4. Let m be x/(-9) + 2/(-9). Let d = -837 + 836.8. Which is smaller: d or m?
d
Let o = -1569 + 1495.1. Let y = 74 + o. Let f = -25.6 - -1.6. Does f = y?
False
Let n = -1994/561 - -172/51. Let u = -2.04 - -2. Let o = 0.34 + u. Are n and o nonequal?
True
Let l(x) = x**2 - 6*x + 1. Let j be l(6). Which is bigger: 28/13 or j?
28/13
Let z = -265 + 263. Is z <= 60?
True
Let k = -6/2095 + -37524/64945. Which is bigger: -1 or k?
k
Let r = 16 - -20. Let h = r + -178/5. Let t(v) = v**2 - 10*v - 11. Let p be t(-1). Are h and p unequal?
True
Suppose -5*h + 49 = -4*m, 0*h + 4*h + 4 = -4*m. Let a be ((-3)/m + 1)*-6. Let k = 1859 + -1868. Is k at most as big as a?
True
Let r(k) = -k + 10. Let y be r(6). Suppose -v + l = -5, 3*v + l - y = v. Do 1 and v have different values?
True
Suppose -8*o + 108 = 19*o. Is o not equal to -2/3?
True
Let r = -50 - -352/7. Let s = 1051/2 + -529. Which is greater: r or s?
r
Let p(y) = y**3 - 14*y**2 + 67*y - 198. Let u be p(9). Let m be 1 + (-29)/30 + 0. Is u at least as big as m?
False
Let f = 8836/2743 - 42/13. Let v = f + -404/1899. Which is bigger: v or 1/5?
1/5
Let o = 1137/7 + -163. Let p = -148 + 148.175. Let x = p - 0.135. Is x <= o?
False
Let s(j) = -j**3 - 4*j**2 + 59*j + 236. Let v be s(-5). Let q(o) = -12*o + 2. Let a be q(3). Are v and a non-equal?
False
Let x = -1071.1 + 1071. Let t = -39.9 + 43. Which is bigger: t or x?
t
Let k = 236.3 + -238. Which is smaller: 3 or k?
k
Let o = -21 + 14. Let s = o + 7.02. Let k = s - 0.02. Is -3 < k?
True
Let i(t) = -t**2 + 31*t - 36. Let g be i(29). Let b be g + -17 - (-80)/(-18). Are b and 2 equal?
False
Let t be 82/(-88)*(-86 + 87). Let z = -10/141 - 2710/1551. Let q = z + t. Is q at least as big as -3?
True
Let y = 27 + -14. Suppose 0 = -9*m + y*m - 4. Which is smaller: 21/10 or m?
m
Let m(j) = -3*j - 27. Let w be m(-7). Let a be 1*8/(-12)*(-9)/w. Let r be ((-7)/10)/(2/4). Is r > a?
False
Suppose 10*p - 3*p = 140. Suppose -25 = -k - 3*m, -2*k - 3*k + 4*m + 106 = 0. Which is greater: p or k?
k
Let g = 2.925 + -3. Let d = g - -8.375. Let u = d + 1.7. Which is smaller: u or 1?
1
Suppose -y + 5 = 0, 0*u = 