p + 5*s + 55. Let d(t) = -4*t**3 + 7 + t + 4*t**2 - 4*t**2 + 5*t**3 + 7*t**2. Let b be d(p). Are -1/2 and b equal?
False
Suppose 0 = -9*c + 5*c + 4. Let d = 127/4 - 30. Which is smaller: c or d?
c
Let b(j) = 7*j - 9. Let s(l) = l - 1. Let k(z) = 2*z**2 + 5*z + 2. Let y be k(-3). Let i(o) = y*s(o) - b(o). Let m be i(0). Is -3 < m?
True
Let t = -4874625221/7333271 + -1/666661. Let j = -666 - t. Which is bigger: j or 0?
0
Suppose 6*a + 12 = 2*a. Let d = 3 + a. Suppose -l - l = d. Is 4/9 less than or equal to l?
False
Let f be (0 - (-24)/(-4))*-2. Suppose -6*v + 5*v + 3*m - 10 = 0, -5*m + 16 = -2*v. Suppose v*u = -8 + 34. Do f and u have different values?
True
Let j = 1000 + -1003. Which is smaller: j or -192?
-192
Suppose 60 = -z + 11*z. Suppose -2*k - 3*d + 8 = 0, -2*k - 3*d = -d - z. Is k equal to 1?
True
Let t be ((-35)/(-40)*4)/(11/110). Which is smaller: 26 or t?
26
Let m(s) = 18*s. Let d be m(1). Let x = -7 + d. Let u be (-152)/x - 10/55. Are u and -15 unequal?
True
Let s = 606 - 605.9. Is 0.17 greater than s?
True
Let c = 25380/49 + -518. Let z be (36/2646)/(2/36). Let v = c - z. Is v equal to -0.4?
False
Let f = -4 - -22. Suppose 5*t + 3*s + f = 72, -5*s - 3 = -2*t. Suppose -m + 3 = v, -4*m + t*m + 3 = v. Which is smaller: m or 2/21?
m
Let h be (-1 - 1)/((-1)/(-6)*-4). Suppose 3*z - 20 = 4*n, -z = 3*n + h*z - 10. Is -2 greater than n?
False
Let u = 82422611 - 10385433323/126. Let q = u - -1463. Which is greater: q or 1?
1
Let b be 40/12 + (-2)/(-3). Suppose -b*z + 3*z + 4 = 0. Suppose 0 = -5*s + y - z, -4*s = -0*s - 2*y + 2. Which is greater: s or 0?
0
Let z(c) be the first derivative of -c**4/4 - 3*c**3 + 25*c**2/2 + 6*c - 37. Let r be z(-11). Which is bigger: r or -28?
r
Suppose -13*m + 22 = 74. Are m and -131 equal?
False
Suppose -10*m - 8*m = 18. Which is bigger: m or 9/23?
9/23
Suppose 2*y = -y - 102. Let q be 16/136 - (-4)/y. Suppose 3*d - 4*d + 7 = q. Which is smaller: 3 or d?
3
Let d = -327 - -326. Which is greater: 1/455 or d?
1/455
Let t be 2/(-8) + 5355/204. Are 42 and t nonequal?
True
Let t = 353 - 352. Which is smaller: -2/95 or t?
-2/95
Let w = -3062/4385 - 3/1754. Let g = -0.6 - -0.5. Which is smaller: w or g?
w
Let h = 8912/45 + -1642/9. Let k = 16 - h. Let v be (-2 - 9/(-5))/((-4)/8). Is k < v?
False
Let v be 1 - 17584/(-11) - (-24)/(-24). Let k = 1600 - v. Is k bigger than 2?
False
Suppose 0 = -3*i + 3*w - 96, 0 = 5*i + w + 197 - 43. Let q = -65/2 - i. Which is greater: q or -4?
q
Let s be -12 - (-930)/75 - (-3)/5. Is 3/337 equal to s?
False
Let l = 956970/143 + -6692. Is l less than 1?
True
Suppose -2*o + 6*k = 9*k - 323, -5*k - 25 = 0. Is 168 smaller than o?
True
Let k be 1 - -1 - 15/3. Let z = 2/13 + -17/26. Which is bigger: z or k?
z
Let x be 2/10 - -162*(-1)/(-190). Is x bigger than 1?
True
Suppose -3*n = 5*r + 63 - 229, 0 = n - 3*r - 74. Which is bigger: 63 or n?
63
Let f = 1562 + -815. Is 1/3 equal to f?
False
Let i = 96 + -68. Let t be 27/36 - 14/8. Is i >= t?
True
Let b = -925 - -914. Suppose 45 = -5*z - 20. Is b less than or equal to z?
False
Let t be (-8)/(-40) - 3*184/10. Let w = -61 - t. Which is bigger: -5 or w?
-5
Let s be 4/3*6/4. Let v be (-1425)/(-300) - (0 - -4). Are v and s non-equal?
True
Let i = -6 - -8. Suppose p - i*p = -4. Suppose 6*h = h - 5*u, -5*h + 2 = p*u. Which is smaller: h or 3?
h
Suppose -2*l + 30 - 6 = 0. Let u be 153 + l/(-4)*-1. Let y = u + -1090/7. Which is bigger: y or -2/7?
y
Let t = -139 + 140. Which is bigger: t or 8/15?
t
Let y = -5255 - -20835/4. Is y at most -46?
True
Suppose -q + 11*t = 7*t - 7, -5*q + 6*t = 7. Is -68/19 smaller than q?
False
Suppose 11*a = 4 - 15. Is a smaller than 1/93?
True
Let q = -25 + 27. Let n be 25/(-6)*48/(-160). Which is greater: q or n?
q
Suppose 4*t - 7 = 1. Suppose 0 = -2*z - t. Which is smaller: -12/7 or z?
-12/7
Suppose -4*o = y + 24, 2*o + o = y + 31. Is y greater than -29?
True
Let j = -288 + 286. Let x be 21/(-5)*2/6. Which is smaller: x or j?
j
Let k = -5 - -6. Let a = 13 - k. Let v = a + -12. Which is smaller: v or -2?
-2
Let k(t) = -t**2 - 45*t - 49. Let l be k(-34). Is 326 > l?
True
Suppose -4*z - 55 = -2*x - 1, 3*z + 27 = -3*x. Let t be (z/(-3) + 4)/2. Is t greater than or equal to 1?
True
Let u = -74 - -76. Let l be (-3)/(1140/695) + u/8. Which is bigger: -3 or l?
l
Let s = -110.2 - -110. Which is greater: 17/4 or s?
17/4
Let n be (-3)/(4 + 38/(-10)). Let q be 3/(9/(-12) - n/(-20)). Do q and -3 have different values?
True
Let s be -10 + -3 + (-4 - 4). Which is smaller: -20 or s?
s
Let g = 0 + 0. Let o = -1 + 9. Suppose -n = 6 - o. Is n greater than g?
True
Let x = 23 - 16. Let l be 28/(-6 - -10)*6/x. Is 0.5 >= l?
False
Let s = -175 - -177. Which is greater: s or 101?
101
Suppose o = -3 + 4. Let r = -0.162 - -0.112. Which is greater: r or o?
o
Suppose 3*z - 7*z + 44 = 0. Let m be (-1 - (0 - 0)) + z. Suppose -310*g = -301*g - 99. Do m and g have the same value?
False
Let s = 3.434 + 0.066. Let g = -8.9 + 9. Are s and g equal?
False
Let p be 140/3*(-342)/456. Are -39 and p non-equal?
True
Let i = 51.013 + -0.013. Let y = i + -50. Is y at most 0.06?
False
Let h = -16 + 234. Is h <= 218?
True
Let n(y) = -104*y - 13. Let j be n(-2). Which is smaller: 196 or j?
j
Suppose -3*t - i + 3*i - 58 = 0, 3*t + 5*i + 44 = 0. Let k = t - -19. Let v be (0 + k)/(-1) - 27. Which is greater: v or -27?
-27
Let n be 426/(-4)*(161/(-294))/(-23). Let p be ((-18)/(-20))/(2/(-5)). Let s = p - n. Is 0 bigger than s?
False
Let s(k) = -4*k + 15. Let o be s(4). Are -8 and o nonequal?
True
Suppose 0 = 19*p - 24*p + 545. Which is smaller: 108 or p?
108
Suppose -3*h = 12*v - 16*v - 16, 0 = -2*h. Is -5 >= v?
False
Let l = 281 - 844/3. Let q = -2441/45 + 264/5. Which is smaller: l or q?
q
Suppose 0*q = 8*q + 8. Which is smaller: 2/1015 or q?
q
Let v = -1 + 47. Suppose 6*b = 8*b + v. Which is smaller: b or -22?
b
Let d be 11/(66/12)*(-3)/(-2). Do 13 and d have different values?
True
Let b be 22/2 + (-21)/12. Let d be 5 - -4 - (1 - 1). Which is bigger: b or d?
b
Let q be (4/(-22))/((-25)/825). Is 11 != q?
True
Let b = -3.8 - 75.2. Let l = 79.14 + b. Is l at least 1?
False
Let y(g) = 2*g**3 + 22*g**2 + 32*g + 102. Let s be y(-10). Let c = -32 - -14. Are c and s non-equal?
False
Let u = -2130 - -2125. Let r = -7 + 12. Let p = -7 + r. Which is smaller: p or u?
u
Suppose -2*i + 12 - 36 = 0. Let z be (-104)/50 - 86/(-1075). Which is greater: z or i?
z
Let q = 2.33 - 0.13. Let h = -2.3 + q. Do h and -17 have the same value?
False
Let k = -6 + -4. Let z be ((-35)/k)/(-7) - -1. Which is greater: z or -3/23?
z
Let g = 0.011 + -0.097. Let l = g + -1.914. Which is greater: l or -14?
l
Let s be ((-4)/6*15)/8. Is -1 at most s?
False
Let o = -53/6 - -103/30. Does -6 = o?
False
Let u = -226 - -228. Are -54 and u unequal?
True
Let c be 148/(-4181)*(-2)/(-48). Which is smaller: c or -1?
-1
Let h(m) = -3*m - 19. Let v be h(-6). Let d be (-13)/169*v*1. Which is bigger: -1 or d?
d
Let x(s) = 7*s - 4. Let l be x(3). Suppose 4*v - 8 - 5 = -h, v + 3*h = l. Suppose -2*r + 4*d + 20 = -0*d, -2*d = 3*r + v. Do r and 2 have the same value?
True
Let r be (-2)/(-2*1) - 1. Let i = 35 - 51. Let c be (-1 - 8/(-6))/(i/(-12)). Do r and c have different values?
True
Suppose -161 = -12*f - 65. Which is smaller: f or 9?
f
Let u = 65/594 + -1/54. Which is smaller: 0 or u?
0
Let x be (-4)/(-1 + 2) + (21 - 17). Which is greater: -2/249 or x?
x
Let g = -15 - -32. Let f be g/10 + 0 + -2. Which is bigger: -1 or f?
f
Suppose -q + 14 = 3*s + 7, 5*s = 10. Is -7/17 bigger than q?
False
Suppose -31*s - 4*x + 4 = -33*s, 4*s + 5*x - 18 = 0. Let h(n) = n + 7. Let i be (6/5)/(2/(-10)). Let k be h(i). Which is smaller: s or k?
k
Let j be (-2)/11 - 1680/(-165). Which is greater: j or 8?
j
Let s = 162077/10686 - 1/1781. Is 14 at most s?
True
Let c = -1425 - -1455. Is c at least as big as -19?
True
Let j = -1.1 + 1. Let u = 2 - 8. Let g = 6 + u. Which is bigger: g or j?
g
Let c = 1005.2007 + -0.2007. Which is greater: 0 or c?
c
Let l = -0.5 + 5.5. Suppose 0 = 2*j + 22 - 0. Let y(x) = x + 8. Let n be y(j). Are l and n equal?
False
Let m be 96/(-240) + (-82)/(-180). Suppose 4*d - d = 2*x + 17, 3*x - 3*d + 18 = 0. Is m bigger than x?
True
Let a = -30057/11 - -2732. Let y = -3 - -5. Let c = 2 - y. Is a > c?
False
Let v = 13.32 -