103*c + 95. Let n be v(35). Are 285/11 and n unequal?
True
Let u = -55/21 - 292/105. Is -4 bigger than u?
True
Let c(r) = -r**3 + 6*r**2 + r - 15. Let h be c(0). Is h greater than -15?
False
Let g = -58 + 56. Let c(r) = -r**2 - 2*r + 1. Let w be c(-3). Let p be (1 - w)/(-1 + 0). Is g greater than p?
True
Suppose 3*z = 3*p + 15, -6*p = 3*z - 4*p + 10. Which is greater: 2/425 or z?
2/425
Suppose 0 = -4*g - x + 1, 3*g + 3 = 5*g + 3*x. Let t be (1/(1/(-1)))/(-39). Which is bigger: g or t?
t
Let p(n) = 43*n - 325. Let h be p(8). Is 228/13 less than or equal to h?
True
Let m = -9/13 + 84/65. Let d(c) = -4*c + 2*c + 14*c + 1 + c**2. Let b be d(-12). Are m and b nonequal?
True
Let t be (-208)/(-64) - (-2)/(-8). Suppose -t*k + 5*a = -28, 4*k - 5*a = 16 + 13. Let z be (k*3)/((-14)/28). Is -6 greater than z?
False
Let b = -0.05 - -2.05. Do -1 and b have the same value?
False
Let c be (-5)/25 + (-21)/(-5). Suppose c*w = -0*m - 5*m - 52, 3*m + 13 = -w. Which is smaller: -10 or w?
w
Let h = -427 + 426. Which is bigger: h or 10/93?
10/93
Let m = 11 - 22. Suppose -2*b + 14 = 5*b. Suppose 2*g = u + 3 - 2, 0 = u + b*g + 21. Is u at least as big as m?
True
Let w = 264 + -1319/5. Are 0.2 and w equal?
True
Suppose -8*l + 6*l = 0. Suppose -k - k - 2 = l. Let s = -1/17 - 31/51. Is s equal to k?
False
Let h = 448 - 132. Is 316 > h?
False
Suppose g - 5*m = 5, -5 = 18*m - 13*m. Which is smaller: g or 261?
g
Let a = -371 - -381. Which is smaller: 5 or a?
5
Let l be (-3)/15 + (-294)/630. Which is bigger: l or 146?
146
Let i be (-6)/8 - 42/(-56). Do -2/767 and i have different values?
True
Let m = -71 + 71. Is 239 < m?
False
Let c = -14 + 22. Let r(a) = a**2 - 7*a - 8. Let v be r(c). Is 1/15 > v?
True
Let l(g) = 2*g**2 + 73*g + 221. Let p be l(-33). Let m = 2 - 11. Is p less than m?
True
Let j = 0.01 - -0.08. Let d = j - 9.09. Let y = d - -9.1. Is y not equal to 0.1?
False
Suppose 4*l = 5*f + 659, f - 5*l = -4*f - 660. Which is smaller: f or -129?
f
Let l(d) = d**2 - 3*d - 9. Let f be l(5). Let u be ((-1)/f)/(-1)*2. Let i be (-86)/(-24) + u/(-8). Which is smaller: 3 or i?
3
Let t = -340 + 340. Are t and 26/47 non-equal?
True
Let m(g) be the first derivative of -g**3/3 - 5*g**2/2 + 12*g - 5. Let w be m(-7). Do -2 and w have different values?
False
Let d be 5/2*46/5. Let h(i) = i - 24. Let r be h(d). Which is bigger: r or -1/6?
-1/6
Let g = 282 - 175. Suppose -3*a = -3*m - 63, -6*m - g = -m - 4*a. Is -23 at least as big as m?
True
Let p be (-188)/(-60) - (-6)/(-45) - 55. Is -49 at least as big as p?
True
Suppose 5*a = k + 11 - 20, 0 = a - 5*k + 21. Does -5/52 = a?
False
Let p(l) = -l**3 - 11*l**2 + 13*l + 18. Let n be p(-12). Suppose -3*v = -3*a + n, -4*v + 3*v + 4 = -3*a. Is a greater than -6?
True
Let c = -7/4 - -307/180. Let g = 13 - 8. Suppose -16 = -4*t, 3*t + 1 = g*i + 8. Which is smaller: i or c?
c
Let r be (8 - 1656/210)/(7 + -1). Is 19 less than or equal to r?
False
Let s = 6 - -8. Let d be 0/(-2) + -2 - 21. Let w = d - -36. Is s less than w?
False
Let n = 32 + -28. Let k be (-66)/(-14) + (-2)/(-7). Suppose -n*a - c = -25, -k*c = -4*a - 4*c + 23. Is 7 at least a?
True
Let w be 46/56 + 1/(-4). Let z = 670 - 670.2. Which is bigger: z or w?
w
Let k = 9.98 - -2.02. Let w = 30 + -17. Let a = k - w. Which is smaller: a or 1?
a
Suppose 4*f - 4 = -8. Suppose -4*c + l + 10 = 0, 2*c = c - l + 5. Suppose 4*q - c + 11 = 0. Which is smaller: f or q?
q
Let j be (1 - -2 - 1)*-5. Suppose -10*n = -9*n + 4*v - 11, -4*v = -2*n - 38. Which is smaller: n or j?
j
Let v = 7.94 + -8. Let t = -24.27 + 0.27. Let a = t + 25. Which is smaller: a or v?
v
Let r = 10 - -15. Let x = r - 23. Which is smaller: x or -2?
-2
Let i be (4/8 - 0)*(-8)/236. Are i and -1 equal?
False
Let v(s) = s**3 - 5*s**2 - s - 6. Let z be v(5). Let m = z - -4. Let c(u) = 3*u - 2. Let f be c(-2). Which is smaller: m or f?
f
Suppose -3*i - 22 - 15 = 4*w, 0 = -4*w + 8. Let b(o) = o**2 + o + 5. Let k be b(-4). Let c = i + k. Is c less than 6/7?
False
Suppose -2*c = 20 + 46. Let a = 33 + c. Which is greater: a or 3/11?
3/11
Let w be (-8)/(-44) - (-906)/(-22). Is w at most -43?
False
Let k be (0/1)/((-8)/4). Suppose -2*z + 10 - 12 = k. Is z greater than 1/7?
False
Let m = 556 + -95631/172. Which is smaller: m or 0?
0
Let y be -1 + 2/(-4)*-2. Suppose 2*v - 5*v = y. Is 1/22 smaller than v?
False
Let t = 3728/11 - 340. Suppose 819*d - 8 = 827*d. Which is greater: t or d?
d
Suppose 0 = 3*x + 26 + 10. Let u = x + 15. Suppose u*m - 16 = -g, -3*m + g - 6*g = 4. Which is smaller: 13/2 or m?
13/2
Suppose 10*h = 14*h - 72. Which is smaller: 3 or h?
3
Let l = -10 + 12. Let c be (-10)/60 - (-1 + l). Is c < 0?
True
Let s be 2*6/15 + 16/5. Let d be (1*(1 - 2))/(s/200). Which is smaller: -49 or d?
d
Let o be (1/(-6))/(6/4). Let f = -126182/5 - -25135. Let h = 101 + f. Is o >= h?
True
Suppose 0 = 5*i - 13 - 2. Suppose -g - i = 2*g. Which is bigger: g or -0.06?
-0.06
Let l = 22.57 + -0.57. Let d = -24 + l. Which is smaller: d or 2/13?
d
Suppose 5*i + 3 = 8. Suppose c = -4*s - 3, 2*c + 4*s - 9 + 3 = 0. Suppose -2*p - i = c. Is -1 at most as big as p?
False
Let t be ((-8)/(-20) - 1)*-45. Let m = t + -27. Which is smaller: m or 11?
m
Let r = 0.036 - -19.864. Let t = r + -20. Which is smaller: t or 11?
t
Let d = -77.3 - -70.9. Is 1/2 bigger than d?
True
Let r = -1528 + 1550. Are r and 20 unequal?
True
Let p = 224 - 225. Which is smaller: -2/571 or p?
p
Suppose 8 = p + p, 5*p = 5*q + 10. Let o(y) = 4*y + 13*y**q + 0*y**3 - y**3 - 3*y - 13. Let n be o(13). Which is greater: 1/2 or n?
1/2
Suppose -3*v - 405 = 525. Let h = v + 3422/11. Is 0 at most h?
True
Suppose 14 = -k - 12. Let v be (-16)/12 + k/(-6). Suppose -d - v*j - 9 = 0, 3*d - 5*j = 2*d + 15. Which is smaller: 1/20 or d?
d
Let x be ((-96)/20)/(-2) + -2. Let h = 62 + -62. Which is greater: x or h?
x
Let k be -4 + (3 - 1 - (-162)/82). Is 4 at most k?
False
Let z = -28/5 - -137/25. Suppose 5*r + 31*f = 32*f + 3, -9 = -5*r + 3*f. Which is smaller: z or r?
z
Let g(r) = -3*r**2 + r + 1. Let s be -2*(-1)/4*-2. Let n be g(s). Let i be (-1 - 1)*n/(-18). Which is greater: -3 or i?
i
Let s be (-3)/24 - (1041/216 - 4). Is -1 smaller than s?
True
Let x be ((-26)/130)/((-2)/(-6)). Suppose -3 + 19 = 8*w. Which is smaller: w or x?
x
Let z(l) = l**2 - 30*l - 174. Let g be z(-5). Let t be 21/28 - (-14)/(-16). Is t smaller than g?
True
Suppose -2*n + 44 = -0*r + 4*r, 0 = 4*n - 2*r - 38. Let w be (-8)/n - 16/(-9). Is 0 at least as big as w?
False
Let n = 143 - 143. Let c = 77 - 77.15. Are n and c equal?
False
Suppose -13*o - 1 = 3*v - 9*o, 8 = 4*o. Let f = 368 + -1481/4. Which is bigger: f or v?
f
Suppose -24*g + 486 = 1686. Is -53 equal to g?
False
Let n = -20 + 19. Let o be n/(-3)*3/4. Suppose 4*q + 1 = 2*s - 9, 3*s - 15 = -3*q. Is o not equal to q?
True
Let p = 935.93 + -936. Let t be 1 - (-2 - 13/(-4)). Is p greater than t?
True
Suppose 4*c = -5*x + 1518, -2*x + 512 = 3*c - 91. Let i be x/7 + (-5)/((-175)/10). Is i at most 44?
True
Let m(j) be the third derivative of -j**5/60 + 7*j**4/24 - j**3 + 6*j**2. Let v be m(4). Let d = 7 - v. Is d not equal to -1/3?
True
Let x = 3844 - 11530/3. Let p = -17 - -1. Are p and x unequal?
True
Suppose 5*q - 85 = -t, -t + 0*q = 2*q - 97. Are t and 107 nonequal?
True
Let n(v) = v**2 + 2*v - 64. Let p be n(7). Let w = 242/5 + -48. Which is smaller: p or w?
p
Suppose 4*g = g + 4*c + 13, -4*g + 54 = 2*c. Let j be (1 - -1) + g + -9. Is 7 smaller than j?
False
Let t(r) = 3*r - 39. Let s be t(20). Suppose -14 = -5*b + s. Which is smaller: b or 4?
4
Suppose -30*w + 35*w = -15. Let f be (2 - 1)*-2 + 3. Suppose 5*n + 2*x = 2*n - 4, -x + f = 0. Which is smaller: n or w?
w
Let x = -19 + 22. Let g be (1 - (-1 - 2))*(-105)/(-98). Is x at least g?
False
Let j be ((-423)/(-188))/(1 + 10/(-8)). Let h be (-2)/j - (-93)/(-54). Which is smaller: 0.6 or h?
h
Suppose 5*j = 9*j - 36. Suppose -j = 2*i + 5*k, -3*k - k = i + 9. Suppose 5*n = 4*s - 19, n + 3*s - 2 = i*n. Is n != -5?
True
Let s = 20 - 17. Suppose 9*i = -5*f + 4*i + 55, -i + 33 = 3*f. Is f equal to s?
False
Let t(h) = -h**3 - 7*h**2 + 7*h + 4. Let o be t(-8). Suppose o = 4*w - w. Suppose 5*p + 16 = 4*z, -5*z = 2*p + 1 - 21. Is w less than z?
False
Let z be ((-9 + 8)*28)/10. Is z less than or equal to -2?
True
Let s(d) = -d**3 -