 p?
p
Let v(z) = -4*z - 2. Let w be v(1). Let b = w - -22. Suppose -27 = -b*t + 13*t. Is t at most as big as 31/3?
True
Let r be (-45)/(-6)*(-29512)/310. Which is greater: -718 or r?
r
Let l(r) = -3*r**2 + 236*r - 469. Let k be l(70). Is 1351 <= k?
True
Let b be (-1)/2*231/(-363). Is -1 not equal to b?
True
Suppose 0*n = -4*b - n + 715, 0 = -b + 3*n + 195. Suppose 14*l - 5*l + b = 0. Which is smaller: l or 2/5?
l
Let r = -21.0522 + 0.0522. Let x = r - -57. Which is smaller: -0.4 or x?
-0.4
Let b = 105.2 - 27.2. Suppose 0 = 18*a - 16*a. Is a smaller than b?
True
Suppose v + 1 = -b, 0 = v + 3*v - 3*b + 18. Let m be (v/(-15))/((-10)/(-2350)). Let i = 90 - m. Does i = 42?
False
Suppose -10*b + 6 = k - 15*b, 0 = k + 3*b - 38. Suppose -k*i - 170 = -31*i. Is i < 34?
False
Suppose 5 = -4*d + 2*h - 15, -40 = -2*d - 4*h. Suppose 3*v - 13 = -5*o, v + 4*o - 32 = 4*v. Let g be 26/(-90) - v/10. Which is smaller: d or g?
d
Let t(b) = 20*b**2 + 36*b + 31. Let x be t(0). Let n be (18 + 1)/((-3)/(-6)). Which is smaller: x or n?
x
Suppose o = -2*o + 183. Let z = -56 + o. Suppose 3*k - 2*d = z*k + 86, 3*d - 39 = k. Is -43 > k?
False
Suppose -5*r = 5*a + 6315, 14*r = 4*a + 15*r + 5073. Is -2 smaller than a?
False
Let m = 445 - 151. Suppose -r - 2*g = -5*r - m, 297 = -4*r + 5*g. Let c be ((-117684)/234)/7 - 2/13. Which is bigger: r or c?
c
Let i = -5/152471 - 16580979/1169757512. Let m be (-4 - 15323/(-3836))/((-9)/(-6)). Let j = i + m. Are j and -1 unequal?
True
Let h = 16 + -6. Suppose 0 = -4*i + 4*t - 20, -4*i - h - 14 = -5*t. Let j be (-4)/15*72/(-64). Is i less than j?
True
Let b be 2828/6*(-12)/(-16). Which is bigger: b or 355?
355
Let y = 34921 - 35024. Let w(u) = u**3 + 2*u**2 + 6*u + 3. Let h be w(-5). Is h smaller than y?
False
Suppose 2*y + 6 = -2*a, -3*a + 7*y - 11*y = 11. Let c = 278221064/53 + -5250457. Let o = c + 1003. Is a smaller than o?
True
Let c = 16.738 + 1.362. Are c and 3/5 unequal?
True
Let k be (-37 + 42)*(-284)/(-10)*-1. Let h = k + 78. Let w be 1488/h*4/(-6). Is w at least as big as 17?
False
Let c be (-51)/(-9)*(-6)/6*3. Let g(j) = -j**2 - 35*j - 24. Let o be g(c). Which is greater: o or 280?
o
Suppose 0 = -24*j + 27*j - 3*v - 1407, 5*j + v - 2339 = 0. Suppose 9*c + 1904 - 6107 = 0. Do c and j have the same value?
False
Let p = -319 - -461. Suppose 8*g = -18*g - 29168 + 32834. Is g at most p?
True
Let p be (-11)/(77/(-70)) - -145*(-2)/30. Let y = 391.99 + -388. Let b = -4 + y. Which is bigger: b or p?
p
Let o = 2341 - 813. Let v be (0/(-1))/(0 - -2). Let u be o/(-380) + v + 4. Is u less than -1?
False
Let n be (5993/2766 - 2/3)/((-9)/4). Let i be (1*4 - 2)*1. Let x = 1 - i. Which is bigger: x or n?
n
Let a = -1/620 - 37/124. Suppose -v - 7 = 2*b - 3*b, -3*b - 3 = 5*v. Let o be 0/(-1 - (2 - b)). Which is bigger: a or o?
o
Let d = -56.61 - -144.14. Let i = d - -1.47. Let t = i + -89.6. Which is smaller: 2 or t?
t
Suppose 7*b - 12 = 5*b. Suppose -b*h = 3*h + 108. Let g = h + -4. Which is bigger: g or -52/3?
g
Let y = 2/653 - 2257/97297. Let g = 103 + -102.9. Which is bigger: y or g?
g
Let w be 2/(-3)*(-6)/4. Suppose 5*k + 4*k - 360 = 0. Let r be -1 + -3 + 165/k. Which is smaller: r or w?
r
Suppose 11*q - 401 = -1391. Let n be 416/618 + q/135. Which is greater: n or -1?
n
Let h be -14 - -6 - 4476/10. Which is bigger: -456 or h?
h
Let p be 240/56*((-2)/(-6))/(1/56). Is p <= 92?
True
Suppose 6*k - 256 = -2*k. Let q be k - (-4)/(-5)*(-5)/(-2). Let h be ((-200)/q)/(0 - 2/9). Does h = 30?
True
Let q = -171 + 87. Let x = 66 + q. Let t = 17 + x. Which is smaller: t or -4?
-4
Let p(t) = 32*t**3 - 2*t**2 - 35*t - 30. Let c be p(-4). Are c and -1970 equal?
True
Let r be 1028/30 - 2/(-1). Let j be (-5028)/(-140)*-1 - 6/21. Let g = j + r. Which is bigger: 1 or g?
1
Let j = 0.231 - -10.469. Which is smaller: j or 0.6?
0.6
Suppose -5*b - 4*p - 8 = 0, 3*b + 3*p = 7*p + 8. Let i be 286/376 + 12/(-32)*2. Which is smaller: i or b?
b
Let c be ((-18)/12)/(6/8). Let v be ((-7)/(-9) + -1)*c. Let s = 502 - 502. Which is smaller: s or v?
s
Let g = 490 - 490.05. Let h be ((-9)/2)/(396/(-96)). Which is greater: h or g?
h
Let s(f) = -f**3 + 3*f**2 + 5*f - 9. Let b be s(4). Let i be (b - -5)*(21/(-6) - -3). Which is smaller: -1/91 or i?
-1/91
Let v(o) = -11*o**2 + 44*o + 419. Let f be v(-9). Do -868 and f have different values?
False
Let c(v) = -3*v**2 - 2*v + 25. Let o be c(9). Let d be 6/(-5)*(-1 + o/(-16)). Let s = d - -289/18. Is s <= 0?
True
Let z = 4 + -5. Let i = 565 + -514. Is z > i?
False
Suppose 0 = j + v + 7, -2*j + 3*v - 4 + 0 = 0. Let q be (7/5)/(j/100*4). Are 0 and q equal?
False
Let j = 339 - 335. Let r be (7 - 52/8)/((-1)/j). Let w = -1/242 - 361/484. Is w > r?
True
Let c = -25.644 + 25.7. Let y = c + 80.944. Let g = 0.6 - -0.4. Which is smaller: g or y?
g
Let a = -261 + 523/2. Let b(x) = x**3 - 3*x**2 + 3*x. Let u be b(2). Let p be u/2*(-6)/30. Which is bigger: a or p?
a
Suppose o = 370*a - 368*a - 4640, 0 = o + 4. Is a greater than or equal to 2327?
False
Let z be (-195)/(-49) + -1 + -3. Let q = 815 + -814. Is z < q?
True
Suppose 5*p = 5*t + 125, -48*p + 3*t = -53*p + 149. Let d(l) = -l**3 + 9*l**2 - 7*l + 19. Let a be d(8). Is a < p?
True
Let w = -180 + 172. Let q be ((-4 + -2)/2)/(w/(-5)). Suppose c + 5*b - 37 + 15 = 0, -2*b = -3*c - 19. Are c and q unequal?
True
Suppose -n + 4*b = -11, 2*n + b + 0*b = 22. Let w = 523 + n. Is w bigger than 2/7?
True
Let o(n) = n**3 + 3*n**2 - 5*n - 1. Suppose -3*r = 14 - 35. Suppose 20 = -r*a + 2*a. Let q be o(a). Are q and 3 unequal?
False
Suppose -q + 5*s - 1623 = -7950, -6*q - 3*s = -38028. Is q less than 6339?
True
Let n be ((-45)/150)/(558/(-10)). Let h(l) = -5*l**2 + 19*l - 15. Let i be h(1). Which is smaller: n or i?
i
Suppose -l - 5*n = 0, -23 - 6 = 5*l - 4*n. Let g be (2/l)/((-14)/3220). Is 91 at most as big as g?
True
Let h be 0 - (-8)/(-72)*0. Which is smaller: 1/2461 or h?
h
Let s = 344 - 90. Let d = 248 - s. Which is greater: d or -5?
-5
Let v(l) = 4*l**3 - 27*l**2 - 8*l + 8. Let t be v(7). Which is greater: -3/373 or t?
t
Let p be (-1)/(-1)*1/(4/4). Let m be (-2)/12 + 318/(-36). Let l be m/3*2/(-54). Is l at least as big as p?
False
Let q = 1249 + -103674/83. Which is greater: q or 0?
0
Let t = 1.656 - 1.654. Let c = -4 - -4.1. Is t bigger than c?
False
Let r = 693.4 + -849. Let z = 165 + r. Is z at least -3?
True
Let y = 14609/156 + -281/3. Let g(s) = -s**2 - 7*s + 8. Let a be g(-8). Is a != y?
True
Let k be 1939/2*(-7 - -5). Which is smaller: k or -1937?
k
Suppose -8*s + 5*s = -84. Suppose -7*w + 16 = -3*w. Let o be (0 + 58/w)*2. Which is greater: s or o?
o
Suppose 191 + 106 = -9*l. Let g be ((-1)/96*l)/((-17)/764). Let a = -125/8 - g. Which is smaller: 0 or a?
a
Let s = -291 + 322. Suppose -18*f - 130 = -s*f. Which is bigger: 0 or f?
f
Let s = -28.5 - -5.5. Let p = 21.04173 - 0.04173. Let r = p + s. Is r at most 38?
True
Let g = 1/823 - 5886/102875. Which is greater: g or 1?
1
Let j be (-1 - 11819017/(-36)) + -5. Let m = j - 328278. Let r = 89/4 - m. Is 18 != r?
True
Let n(m) = 5*m + 22. Let d(l) = -3*l - 15. Let h(g) = 8*d(g) + 5*n(g). Let a be h(10). Suppose a = -5*u + i + 30, -4*i - 9 - 11 = 0. Is 3 >= u?
False
Let j(k) = 7*k**2 - 27*k - 303. Let z be j(10). Is 104 > z?
False
Let h(v) be the first derivative of 2*v**3/3 + 7*v**2/2 + 10*v - 2. Let k(t) = 84*t + 669. Let a be k(-8). Let w be h(a). Is 9 <= w?
False
Let u(n) = -16*n**2 - 16*n - 40. Let v be u(-3). Is v at most -129?
True
Let q = -11793 - -11792.9. Which is smaller: q or 8.58?
q
Let h(c) = -138*c - 677. Let u be h(-16). Is 1531 bigger than u?
False
Let i = -786165083 + 17201292022217/21880. Let l = 4/547 - i. Is l != -1?
True
Let a be -24*56/18*(-21)/(-14). Let g = 108 + a. Let n(h) = -h - 13. Let f be n(0). Which is smaller: f or g?
f
Let k(c) = c**3 + 12*c**2 + 14*c + 8. Let r be k(-11). Let b = r - -29. Let i be (b - (-2 - -8)) + (2 - 0). Which is smaller: i or 2/19?
i
Suppose 0 = p + 9 + 15. Is 5 at most as big as p?
False
Let j(o) = 81 - 64 + 85 + 5*o. Let m be j(-21). Which is smaller: -15/7 or m?
m
Let q = 96.58 + -95.58. Are -8/215 and q nonequal?
True
Let y be 1/((85/(-19703))/5). Is y at least -1168?
True
Let g = 6657 - 6660. Are g and -2270 unequal?
True
Let o = 53/32 + -29/32. Is o < 2/9?
False
Suppose 3*p + 32 + 53 