 p?
1
Let y(p) = -p**3 + p**2 - 7*p + 15. Let i be y(5). Let d be -3 - -1 - i/56. Is -13 equal to d?
False
Suppose -d - 5*q + 37 = 0, 3*q - 56 = 2680*d - 2678*d. Let z = 8029/9 - 2717/3. Which is greater: z or d?
d
Suppose -15*c + 67599 = 48*c. Which is smaller: 1075 or c?
c
Let n(l) = 4*l**3 - 215*l**2 - 506*l + 113. Let b be n(56). Let k be 1/3 + (-2)/51. Is b > k?
True
Let o(s) = s**3 + 9*s**2 + 16*s - 9. Let n be o(-6). Let y be (-2)/n*(-24)/(-64). Are y and -1.8 nonequal?
True
Let a(i) = -i**3 - 26*i**2 - 127*i - 48. Let t be a(-12). Is -540 at most t?
True
Suppose 44*u = -668 + 389 - 689. Is u bigger than -228/11?
False
Let q be 40/(-30) - (-63336)/90. Let p = q - 702. Is -1/97 smaller than p?
True
Let u(y) = 7*y**2 - 11*y + 2. Suppose -13 = 3*r + c - 0*c, 13 = -2*r - 5*c. Let i be (-18)/(-4) + r + 10/4. Let l be u(i). Which is smaller: -2/3 or l?
-2/3
Let u = 68.9 + -73. Let l = -6 + 10. Let m = l + u. Which is greater: 2 or m?
2
Suppose -589*k + 601*k = -12. Is -1/1004 smaller than k?
False
Let i(y) = y**3 + 5*y**2 + 2*y + 13. Let q be i(-5). Suppose -m - 3*g = -2*m + 8, 14 = -5*m - q*g. Is -22/17 bigger than m?
False
Let v be (15 - (-6785)/(-255) - -12)*15/16. Is 1 < v?
False
Let z be 96764/129040 + (-27)/36. Let m = z + 72631/370990. Which is smaller: 1 or m?
m
Let l = 0.26 + 0.7. Let q = l + 20.04. Let m = q - 20.918. Which is bigger: -1 or m?
m
Suppose 3*g - g - 18 = 5*d, -4*g = 5*d - 6. Let v(h) = -5*h**2 - 5*h + 24. Let n be v(g). Which is bigger: -0.1 or n?
-0.1
Let u = -3262777/24 - -135980. Let o = 2103 + -6403/3. Let f = o + u. Which is smaller: 1 or f?
f
Let z = 352078166760/5959 - 59083431. Let o = -13/59 + z. Suppose 0*p = p. Are p and o equal?
False
Suppose 0 = r - 4*u - 26, 173 = 2*r + 2*u + 81. Suppose -b = -n + 32, -r*b + 39*b - 61 = 4*n. Is b less than -1/2?
True
Suppose 3*l - 24 = 3*z, 2*z - 5 = -5*l - 0*z. Suppose -16 = 2*p - 2*w + 6*w, -l*w = 15. Let i be (p - (1 - -2)) + 0/10. Is -2 smaller than i?
True
Let n be (3/1)/((-5)/(-10) - 2). Let d be 230/(-25) - 4/n. Let c be ((-16)/(-10))/((-19)/95). Which is smaller: c or d?
c
Let c be (-57)/(-12) + 14/(-8) + 2. Suppose c = -l + 3*b, 0 = 2*l + b - 14 + 3. Suppose -l*v - 2 = -10. Is 11/13 less than or equal to v?
True
Let k = 955 + -954.134. Let b = k + 0.134. Which is smaller: b or -0.96?
-0.96
Let z(t) = t**2 + 3*t + 29. Let q be z(-4). Let p = q + -229/7. Which is smaller: 156 or p?
p
Let n = 5565 - 9576. Is -4011 bigger than n?
False
Let i be (-501)/1336 + -1 + (-1714)/(-1264). Let x(q) = q**3 - 4*q**2 - 4*q - 5. Let n be x(5). Do i and n have the same value?
False
Let t = 197 + -338. Let s = 145 + t. Let u be 242/42 - (-4)/(-12). Which is smaller: u or s?
s
Let l be ((-473)/(-946))/((-331)/(-2)). Do -1.3 and l have the same value?
False
Let g(a) = -a**2 + 829 - 829 - 3*a. Let r be g(0). Which is smaller: r or -1/102?
-1/102
Let n = -9951/4 + 2489. Which is greater: n or 2/41?
n
Suppose 0 = -k - 4*h - 885, -3*h = -4*k - 576 - 3078. Which is bigger: -907 or k?
-907
Let v(w) = w**3 + 13*w**2 + w + 9. Let y be v(-10). Let g = -297 + y. Which is greater: 19/11 or g?
g
Suppose i - 3 = 5*r, 17 + 4 = -i - r. Suppose -2*h + b = 1079, -6*b - 2162 = 4*h - 4*b. Let o = -558 - h. Which is bigger: o or i?
i
Let x = 30.1 - 30.38. Is x at most 4.4?
True
Let u = -582053243/6492 - -89657. Do 1 and u have the same value?
False
Let o = 3816.1 + -3816. Is o less than 136?
True
Let j = 27399 + -27372. Is 21 less than or equal to j?
True
Let t = 438 + -278. Is t smaller than 159?
False
Let z be ((-5)/(-10))/((-18)/47844). Which is smaller: z or -1327?
z
Let q = 15 + -14. Let c be (-8284)/(-432) + 6 + -9. Let w = c - 65/4. Which is greater: w or q?
q
Let l be (-138)/2 + -17 + 5/(45/72). Let a = -150 - -75. Let n = a - l. Which is greater: 1 or n?
n
Suppose w + 4*f = 2, -4*w + f = -0*f - 25. Suppose 9*i - 60 = 4*i. Suppose -w*d + 180 = i. Which is bigger: 30 or d?
30
Let h = -2 + -7. Let x = 17.00404 + -0.00404. Which is greater: x or h?
x
Let w be 1 + 88/(-7) - -1. Let q = -780 + 5536/7. Let n = q + w. Is n greater than -15?
True
Let t = -5659926/107 + 52896. Is 0 at least as big as t?
True
Suppose -3*l + 2*q - 476 = 3*q, -2*q = 3*l + 472. Which is smaller: 6 or l?
l
Let z = 11325 + -10309. Is z greater than 1014?
True
Let r be (132/(-30))/(27/15) + 2. Which is greater: r or -497?
r
Let n = 18679 + -18694. Which is greater: 219 or n?
219
Let z be 0/2 - (-15)/(-8). Let j = -123/8 - -3805/248. Let l = 55/217 - j. Which is smaller: l or z?
z
Let a = 1985 + -2028.46. Let m = -43 - a. Which is smaller: m or 0?
0
Suppose 5*q + 360 = -2*l, 3*l - 105 = 3*q - 645. Let k = l + 149. Which is bigger: -34 or k?
k
Let b be (-5)/(-19 - (-19 - -5)). Are b and -5/1666 unequal?
True
Let m = -0.11342 - -0.11342. Let o = -2 + 9. Let f = o + -10. Which is smaller: m or f?
f
Let n = -24013/39 - -825158797/1340157. Is n at least 1?
False
Let h be (55/(-10) - -7)*(1 + -213). Let i = h + 336. Which is greater: 35/2 or i?
i
Let n = 88.2 + -725.2. Let f = n - -651. Is -6 >= f?
False
Let d(j) = j**2 + j + 1. Let v be d(-1). Let s = 10/977 - 110274/83045. Let a = s + 106/85. Is a not equal to v?
True
Let l = 85.13 + -85.03. Are l and -214 equal?
False
Let v(s) = s**3 - 15*s**2 + 6*s - 31. Let n be v(16). Which is smaller: 320 or n?
320
Let p = 19713/4 - 4929. Which is bigger: 19/8 or p?
19/8
Suppose 2*y = -3*h + 51, 4*h - 3*y - 200 = -166. Let p = -18 - -45. Which is smaller: h or p?
h
Let g(j) = -j**3 - 13*j**2 - 12*j + 2. Let k = -4 + -8. Let z be g(k). Let t be (-80)/180*(-27)/22. Which is smaller: z or t?
t
Suppose 0 = 40*j - 32*j - 96. Suppose -j*h - 211 = -m - 13*h, m - h = 209. Is 211 smaller than m?
False
Let b(c) = 4*c**2 - 2*c - 29. Let m be b(0). Let g(l) = l**2 + 30*l + 21. Let j be g(m). Are -8 and j unequal?
False
Let v = 3/61213 - 359871242/306065. Let x = -2440 + 1269. Let w = v - x. Which is bigger: -4 or w?
-4
Suppose 4*o + 3*t - 3833 - 968 = 0, 0 = o + 5*t - 1196. Is 1200 less than o?
True
Let s = 0.3 - 1.3. Suppose -5*r - 366 = 4*o, -2*o + 227 + 145 = -5*r. Let w = -81 - r. Which is smaller: s or w?
w
Let f be 654 - ((-1)/(-9)*0 + 0 + 0). Which is smaller: f or 650?
650
Let b(u) = 9*u - 7*u - 16 - 3*u. Let c be b(-5). Let f be ((-4)/c)/(2/(-1)). Is f >= 1?
False
Suppose 3712 = -2*h - q - 1648, -h = -5*q + 2702. Which is smaller: h or 4/7?
h
Let r(v) = -35*v**3 - 6*v**2 + v - 2. Let s be r(-2). Let n = -253 + s. Do -2/423 and n have different values?
True
Let l = -13 + -10. Suppose -148 = -2*d - 0. Let u = d + -96. Which is smaller: l or u?
l
Let r(j) = 2*j**2 - 315*j + 716. Let p be r(148). Do p and -2093 have the same value?
False
Let b(c) = c**3 - 53*c**2 - 164*c - 223. Let h be b(56). Is 2/14229 less than h?
True
Let q(y) = -y**3 + 10*y**2 + 40*y + 11. Let a be q(12). Let i = 200 - a. Which is smaller: -22/13 or i?
i
Let g be (-70 + 80)/((-85)/10*6). Which is greater: 0 or g?
0
Let s be ((-374)/(-4))/(1/2) - -2. Let k be (-987)/s - (-2)/9. Let x be 3 - k/((-2900)/1735). Is x greater than -1?
True
Let h(s) = -3*s - 6. Let f be h(-2). Suppose 5*n + c + 114 = f, -n + 5*n = -4*c - 104. Let w be (77/n)/((-10)/(-4)). Are 0 and w equal?
False
Let f = 127 - 128.41. Let s = 1.21 + f. Which is greater: s or -0.9?
s
Let h = 5797 + -5798. Let y = -281.015 + 0.015. Is y greater than or equal to h?
False
Let n = 1 - 2. Let a be (-1117)/1*(-645)/575. Let x = -1253 + a. Is x at least as big as n?
True
Let b be (-2806)/(-115)*(-50)/(-8). Let z = b - 8537/56. Which is bigger: 1 or z?
1
Let k = 9 - 4. Suppose 0*n - 5*n = k. Suppose -3910 = 2362*h + 3048 + 128. Which is smaller: n or h?
h
Let y = 22 + -4. Let p = -10278 - -51476/5. Is y > p?
True
Let h be (-18)/8 + (-745)/(-20). Which is smaller: h or 472/13?
h
Let y be (-11*3)/(2/2). Let a = -33 - y. Suppose -5*k - 5 = -2*b + 5*b, a = -2*k + 5*b - 2. Which is greater: k or -0.18?
-0.18
Suppose 0*q - 8 = 2*q. Let x = 149 + -109. Let a be q/6 + x/96. Are 7/9 and a equal?
False
Let c = 0.36 - -0.04. Let s be 2/9 + 53/(-27666)*29. Is s < c?
True
Let c = -33 + 51. Let g = c + -14. Suppose -3*q - 7 = -6*q + 2*s, q - 19 = g*s. Is q at least 1/34?
False
Let g(o) = o**3 - 20*o**2 - 44*o + 12. Let k be g(22). Suppose -k*h = 8*h - 40. Which is bigger: h or 28/25?
h
Le