 p <= -1136?
True
Suppose -27*r + 25*r - 301 = 3*p, r = 2*p - 147. Suppose -c + 0*a - 154 = -3*a, 3*a = -2*c - 290. Is c at most r?
False
Let a be (-1)/((-45)/7563) - (-3)/5. Let w = a - 168. Which is bigger: -2/91 or w?
w
Let n be -4*(2 - 104/32). Suppose -m + 2*m - 1 = 0, n*m - 197 = -2*f. Is 96 greater than or equal to f?
True
Let i(t) = -t - 6. Suppose 0 = 3*h + 3*s + 30, h + s - 2*s = -8. Let y be i(h). Suppose q + 2 = -y*a + 3, 3*q + 5*a - 11 = 0. Which is greater: q or 4?
q
Suppose -90*a = -70*a - 2500. Are 115 and a nonequal?
True
Let h = 0.0352 + 7.5448. Let w = h + -31.82. Let b = w + 24. Which is greater: 1 or b?
1
Suppose -202*a + 60 = -198*a. Suppose 3*p - 9 = -2*s - 24, 5*s + 3*p + a = 0. Which is bigger: 2/71 or s?
2/71
Let y = -1625/4 + 406. Let n be (-70)/(-72)*(-48)/160. Let q = -3/8 + n. Is y less than q?
False
Let r = -105968999/672 - -157692. Let q be 2/((-336)/1) + 0. Let u = q + r. Is 0.1 > u?
True
Let r = 0.05 + 5.55. Let k = r + -5.5. Let t = 27.74 - 28. Is k smaller than t?
False
Let g = -3/35 - -1097/140. Which is smaller: g or 7?
7
Let s = -403.0062 - -0.0062. Let x = s - -403.1. Are 2/7 and x non-equal?
True
Suppose -26*v + 27*v - 2 = 0. Suppose 3*l - 5*p = -44, -24 = v*l + 3*l + 4*p. Let y be 2/l*8/4. Which is greater: y or 0.2?
0.2
Let t(l) = -9*l**3 - 12*l**2 - 5*l + 19. Let w(m) = 11*m**3 + 12*m**2 + 7*m - 19. Let d(v) = 5*t(v) + 4*w(v). Let k be d(-12). Which is greater: -33 or k?
k
Let v = 436 - 324. Let a = v - 101. Are a and 17 equal?
False
Suppose -5*f = 20, 0 = 3*m + 2*m + 5*f - 255. Let d be -5*(m/(-25) - -2). Let y be -1*1/(-7) + 530/700. Is d at most as big as y?
False
Let m = 276 + -141. Let u = 0.1662 + -0.1662. Which is smaller: u or m?
u
Let j = 42.4 - 21. Let u = j + -21. Are u and 0.4 non-equal?
False
Suppose -5*k + c - 880 = -4*c, 0 = k + 5*c + 188. Let j = k - -711/4. Which is bigger: j or 17?
17
Let s(z) = 1 + 402*z - 405*z - 4*z**3 + 5*z**2 - 3. Let v be s(2). Let k be (19 + v)/((4/102)/2). Is k at least -53?
True
Suppose -11622 = 45*z - 123*z. Which is smaller: z or 26?
26
Let r be 64/5 - (-15)/75. Let b(d) = -2*d + 56. Let w be b(25). Suppose -3*h = -v + 7, -3*h + 4*v = r + w. Which is bigger: 3/23 or h?
3/23
Suppose 0*h + 11 = 4*w - h, 5*h - 25 = 0. Suppose q - w = -0*q. Let a be q/(8*-1)*0. Which is greater: a or 1?
1
Let h(a) = 439 - 27*a + 0*a - 197. Let u be h(9). Is u less than 162?
True
Let a(b) = 4*b**3 + 22*b**2 + 9*b - 14. Let j be a(-6). Is -139 != j?
True
Suppose 4*w - 21*i = -18*i + 1444, 4*w - 4*i = 1440. Do 365 and w have the same value?
False
Let y be ((-84)/69 - (-32 - -31))*24/(-375). Is y bigger than 1?
False
Let g = -10042 - -11170. Which is bigger: 1133 or g?
1133
Let b = 8305 + -8304. Let n = -254 + 28449/112. Which is greater: n or b?
b
Suppose -1113*p + 10 = -3*n - 1115*p, 0 = n + 5*p + 25. Is -1/2513 greater than n?
False
Let m be -17 - 115/(-92)*12. Is m >= -0.06232?
False
Let a be (-211 + (-28)/7)*1/(-1). Suppose 0*n = -5*n - a. Is -40 greater than n?
True
Suppose 5*o - 5 = 0, 4*w - 2 - 4 = -2*o. Let k be (0 + 2889/(-1224))/(53/(-164)). Let m = k - 124/17. Which is bigger: m or w?
w
Suppose -2 = -5*c - 7. Let z(o) be the second derivative of -5*o**3/3 + o**2/2 - 894*o. Let a be z(c). Is a != 12?
True
Let p = -1.068 + 0.068. Let a = 0.55 - -62.45. Is p greater than a?
False
Suppose 0 = -3*i - 3675 + 3816. Is i greater than 321/7?
True
Let k be -2 + (0 - 0) + 14/4. Let l = -5 + 15. Let z = l + -11. Is z at most as big as k?
True
Let f = 680 + -14290/21. Let i = 4 - 5. Are f and i non-equal?
True
Suppose q - 17 = 2*p - 5*p, q - 7 = -p. Suppose 0 = -p*g - 2*c + 334, -c = 3*c + 12. Which is greater: 67 or g?
g
Suppose 312 = 6*i + 6*i. Let h = -33 + i. Are -5 and h nonequal?
True
Let s = 43.8615 - 43.95. Is 0.3 equal to s?
False
Let i = -137.32 + 128.42. Let g = -6 - -4. Which is smaller: i or g?
i
Suppose 4*s = 3*x - 125, -436*x + 5*s = -431*x - 210. Is x <= 482/11?
True
Let p be 3023/(-18) + 9048/432 + -21. Which is bigger: p or -167?
-167
Suppose 54*s + 36332 = 9*s - 79*s. Which is bigger: -2/9 or s?
-2/9
Suppose 5*c - 3*m = 1868, 2*c - 471 = 4*m + 265. Suppose -i + c = 5*l, 1 = -l + 2*l. Let o = i + -1103/3. Is o bigger than 2?
True
Let z(t) = t**2 - t - 3. Let i(p) = -2*p**3 - 3*p**2 - 5. Let l(k) = i(k) + 3*z(k). Let f be l(-4). Which is smaller: f or 127?
f
Let w = -1302716/15489 - 9/1721. Does -84 = w?
False
Let i = 3800115340606/370271 + -10263065. Let t = 14910813287/4813523 + i. Let b = t + -3100. Is b < -3?
False
Let t(i) = -2*i**3 + 8*i**2 + 4*i + 8. Let o be t(4). Let j be (-1)/(-5) + (-5 - o/(-5)). Which is smaller: j or -1/103?
-1/103
Let a(i) = i**3 - 2*i**2 - 21*i + 2. Let l be a(-4). Let c be 38/l + 3 + (-4)/(-10). Which is bigger: c or -0.14?
-0.14
Suppose 1365 = 20*m - 25*m + 3*s, 0 = -5*m - 4*s - 1330. Is -2159/8 > m?
True
Suppose 5*h - 425 = -31*v + 27*v, -488 = -4*v + 4*h. Which is greater: v or 795/7?
v
Suppose 0 = 9*b + 18 - 135. Let y = -59 + b. Does y = -46?
True
Let r = -123 + 188. Let h = -276 - -340. Let f = r - h. Which is smaller: -33/7 or f?
-33/7
Let b = 719.5 - 1534.6. Let d = 815 + b. Do 8/5 and d have different values?
True
Let q = 4297/4 + -1076. Is -16 less than or equal to q?
True
Let m be 1 + 272271/390 + 402/4020. Which is greater: m or 698?
m
Let x(u) = 3*u**2 - 9*u - 18. Suppose -4*w + 7*w - 22 = -5*r, w - 4*r = -4. Let l be x(w). Which is smaller: l or 1?
l
Let l be (-7)/(10 + -3 + -10 + 4) + 40. Which is bigger: 68 or l?
68
Let a(r) = 5*r + 1. Let u be a(4). Suppose 11*w = -5*c + 27 - 92, 0 = 3*c + w - 45. Which is greater: c or u?
u
Let q = 18192572/957 + -19010. Which is smaller: q or 0?
0
Let l = 128 + -65. Let d be -1 + -1 - l/(-24). Suppose -46*c + 34*c - 20*c = 65*c. Which is smaller: d or c?
c
Let o(k) = -1 + 30*k**2 - 88*k**2 + 26*k**2 + 2*k + 33*k**2 + k**3. Suppose -5*d - 4 + 4 = 0. Let b be o(d). Is 1/99 greater than or equal to b?
True
Suppose 0 = 4*c - 5*c - 4. Let p be (44/11)/(c/(-3)). Let s = 3 + 3. Which is smaller: s or p?
p
Let p(r) = r**3 + 15*r**2 - 9. Let g be p(-15). Let t be (-39)/g - (2 + 0)/6. Suppose t*y = 3*n - 7, -4*n + 5*y = n - 10. Is 24 > n?
True
Suppose -30*d = -81*d + 528791 - 148178. Is 7462 > d?
False
Let q = 27530 + -27876. Are -4516/13 and q equal?
False
Let n(z) = -4*z**2 + 1. Let a(w) = -w**2 + w + 1. Let k(l) = -3*a(l) + n(l). Let r be k(-2). Suppose 2*x - 3*x + 11 = r. Is x greater than or equal to 11?
True
Let v = 187153/1575 - -108/175. Which is greater: 120 or v?
120
Let p be (-4)/(-6) - (-8)/(-3). Let t(z) = 15*z + 11. Let d be t(-1). Let m be (2/(-27))/(9*d/(-432)). Which is smaller: p or m?
p
Suppose 5*u + 4*y + 19417 = 0, 2*y = 1542*u - 1544*u - 7766. Which is smaller: -3886 or u?
-3886
Let c = 7 - -13. Let b be (-4)/(1*56/c). Let o = -206 - -206. Which is bigger: b or o?
o
Let b = -295 - 0. Let o = 327 + b. Is o greater than 32?
False
Let s = -20.72 + 20.92. Is 43.8 > s?
True
Let r = -422 - -433. Let u be -3 - (-3886)/377*r/38. Which is smaller: u or 0?
u
Suppose -8*g = 54 - 222. Suppose -5*o - 267 = 53. Let j = 83 + o. Are g and j non-equal?
True
Suppose -2*v + 4*o - 10 = 0, -10*v = -7*v - 5*o + 14. Let y be v/((-225)/805) - 6/(-10). Which is smaller: 11 or y?
11
Let c = 207.81 - 208. Let m = c + 0.29. Which is smaller: m or -1?
-1
Let j = 14 - 11.8. Let q(k) be the third derivative of -k**6/120 - 13*k**5/60 - 43*k**4/24 - 4*k**3 - 60*k**2. Let d be q(-8). Which is bigger: d or j?
j
Suppose -50*v = -61*v - 11. Let x be (-6)/(-10) + 51/15. Does v = x?
False
Let q = -933 - -788. Which is smaller: -128 or q?
q
Let z(i) = i**3 - 28*i**2 + 83*i - 22. Let m be z(4). Is -1.06 less than or equal to m?
False
Suppose -18*y = -36*y + 3978. Let x = -220 + y. Let f be (-4)/10 - 45/(-50). Which is smaller: f or x?
f
Suppose 1216 = -14*z + 18*z. Let s = z + -303. Is -43 < s?
True
Let o = 7821 - 7832. Is o not equal to -0.288?
True
Let b = -88/15 + -44/15. Let p = b - -41/5. Which is smaller: p or -2?
-2
Let q(k) = -k**2 + 14*k - 35. Let p be q(3). Let d be (p + (-204)/21)*(-81)/18. Which is smaller: d or 54?
d
Let s = -35695 + 46510587/1303. Which is smaller: s or 0?
0
Suppose 171*f + 2008 = -6029. Which is smaller: f or -110?
-110
Let r be (-9 - -2 - (-2939 - 37))/(-4 - -3). Do r an