 p be 4/j - 65/r. Is p bigger than -4/13?
False
Let j = 19 - -3. Let s = j + -23. Let o = 0.14 + -0.04. Which is greater: s or o?
o
Let h(j) = j - 11. Let u be h(7). Let o = u + 3. Let v = 11099/382122 + -1/16614. Is o less than or equal to v?
True
Let y = 4764 + -4764.1. Is y less than 1423?
True
Suppose -2*o + 79 - 169 = 0. Let t be ((-26)/(-117))/((-12)/o). Is t >= 0?
True
Suppose 0*u + 33 = -2*u - k, 0 = u + 4*k + 27. Let v be 50/u*(-1)/2*15. Which is greater: 3 or v?
v
Let o = 1718/27 + 7228/27. Let v = -340 + o. Which is smaller: -9 or v?
-9
Suppose -4*h + 5*q - 45 = 5, 0 = 5*h - q + 52. Suppose -9*t - 106 = -151. Suppose -2*o + t*d - 7 = -4*o, 3*o = -3*d - 12. Is h smaller than o?
True
Suppose -4*r = -o - 15, -5 = 3*o - 0*r - 2*r. Let q be ((-7725)/875)/(o/5). Let c = -44 - q. Which is smaller: 1 or c?
c
Suppose 8*k - 618 = 5*k. Let d = k - 98. Suppose 3*b + d = -5*o - 14, 0 = -b + o - 38. Which is smaller: b or -40?
-40
Let z = 508 - 930. Let r be 4/(-40)*5*z. Is r > 211?
False
Let o be 5/(10/(-4)) - 0. Let c(g) be the second derivative of g**4/3 + 49*g**3/2 - 39*g**2/2 - 12*g - 1. Let r be c(-37). Do r and o have the same value?
True
Let q be ((-22)/363*22)/(2/(-6)). Do 16 and q have the same value?
False
Let d = -1.0984 - -0.0984. Let k = -18/13 + 95/78. Is d equal to k?
False
Let u = -22 + 10. Let o = u - -5. Let s be (-1)/(-2) + (-294)/476. Which is smaller: s or o?
o
Suppose -20*q - 17472 = 12*q. Let s be q/332 + 1 + (-1)/(-2). Which is smaller: 0 or s?
s
Let h = 2571 + -2639. Which is bigger: 8 or h?
8
Suppose -71416 = 87*u + 49391 - 20409. Is u at least -1152?
False
Suppose 0 = 61*v + 84*v + 3625. Let i(s) = s**2 + 10*s - 4. Let j be i(-7). Are j and v equal?
True
Let t(d) = d**2 - 8*d - 48. Let y be 1/(-2)*(-24 + 0). Let f be t(y). Is -4/29 greater than f?
False
Let h = -3562 - -4030. Is h greater than or equal to 0.03?
True
Let a = 180/5649407 - 1682342669557/3440488863. Let i = a - -3422/7. Let w = -6/29 + i. Is w at least 44?
False
Let y = 12.169 + -16.169. Let i = 175696/59 - 2978. Let o = i - 182/531. Which is smaller: y or o?
y
Let w be 2621 + (-13)/(78/(-66)). Is 2630 > w?
False
Let w be 2/(-8) + (-228)/48. Let o be 1 + -3 + (-1 - w) + 3. Suppose 2*r = -5*j + r + 90, -r = -o. Is 17 at least as big as j?
True
Let c be 1/1 + 1 - (-151 - (-17 - -8)). Is 59 bigger than c?
False
Let n = 258.82 - 5.82. Let m = n + -252.89. Which is smaller: 6 or m?
m
Let s(p) = 3*p - 6. Let l be s(6). Suppose 2*x + l = 3*x - 4*k, 3*x - 27 = 3*k. Suppose 110 = -3*d + x*d + 4*m, 4*m = 20. Is 18 > d?
False
Suppose -s + 20 = -5*l - 6*s, -5*s = 0. Let h be (-45)/15*(-2)/(-36)*l. Let t be (-3)/(-12) + (-254)/(-8). Which is greater: t or h?
t
Let o = -90 - -75. Let m = o + -31. Let s be ((4/(-2))/2)/(48/2256). Which is smaller: s or m?
s
Let u(g) = -246*g + 681. Let h be u(4). Which is smaller: -305 or h?
-305
Let m = 1 - -6. Let o(g) = -g**3 + 4*g**2 + 9*g - 26. Let h be o(3). Let p be h*1/(2 + -1). Which is greater: m or p?
p
Suppose 4*p = 4*v + 560, -13*p + 3*v = -9*p - 565. Is p greater than 134?
True
Suppose 3*b + 15*a = 17*a + 10308, b - 3*a = 3443. Let h be -1 + 10/6 - b/102. Which is bigger: 1/4 or h?
1/4
Let c(k) = -k**2 + 16*k - 107. Let d be c(-20). Which is greater: -829 or d?
d
Let v = 111 + -62. Let y be 273/v - 12/(-28). Let p = -0.078 + 0.048. Is y at least p?
True
Let d = 0.52 - 1.41. Let p = 0.441 + -0.251. Let n = d + p. Is n not equal to 0?
True
Let k = 79 + -76. Suppose -k*g - 20 = -53. Is 12 greater than or equal to g?
True
Let g(j) = j**3 + 5*j**2 + 9*j - 9. Let b be g(-6). Let r = b + 100. Which is smaller: 20/11 or r?
r
Let r = 3344 - 29858/9. Suppose -12*y + 468 = 4*y + 2*y. Which is smaller: y or r?
y
Let d(t) = -3*t**3 + 4*t**2 - 7*t + 16. Let l be d(2). Let a = -333 + 334. Is l less than a?
True
Suppose k = -0*k + 6. Let c(i) be the third derivative of -i**6/120 + i**5/10 + i**4/12 - 45*i**2. Let m be c(k). Are m and 12 nonequal?
False
Let o = -11605 + 16215. Is 0 at least o?
False
Let i = -654.1 - -654. Which is bigger: 121 or i?
121
Suppose -5*h = 14*m - 1646, -3*m - 3*h = m - 464. Which is smaller: 112 or m?
112
Suppose -1098*u + 1083*u = -15. Which is smaller: -5/62 or u?
-5/62
Suppose -49*g + 25*g - 37*g - 244 = 0. Which is greater: g or 2/2597?
2/2597
Let n be -1 + 13 - (-74 - -94). Which is smaller: -237 or n?
-237
Suppose 0 = 3*f + r - 4, -4*f + 10 = -r - 7. Let c be (f/(-1))/(3/(-7)). Suppose 12*h = c + 197. Which is smaller: 1 or h?
1
Let u be 120/55 - 8/44. Let p be u/(-3)*(-10)/((-80)/114). Which is bigger: -10 or p?
p
Suppose 4*j = -5*i - 733, -j + 288 = -5*i + 3*i. Let u be -144 + 1 - (-4 + 7/1). Is u greater than i?
False
Let b = 435.86 + -432. Let p = 15.49 + b. Let m = p - 19. Which is greater: 0 or m?
m
Let i(p) = -p**2 + 6*p + 2. Let s be i(3). Let c be s/4 + 1/4. Suppose -4*y = -5*x - 0*y - 2*y + 23, 4*y = -36. Which is smaller: c or x?
x
Suppose 0 = -2*d + 31 + 17. Let k = 20 - d. Let f be ((-4)/37)/(k + 2). Which is greater: -0.1 or f?
f
Let u be (-2)/3 + 70/87. Let l(f) = 2*f**3 + 205*f**2 + 90*f - 1225. Let c be l(-102). Is c equal to u?
False
Let c = 280 - 1957/7. Let b = -126 - -139.7. Let s = b + -20.7. Which is greater: c or s?
c
Let l be (4/10)/(4/(-480)). Let s = -44 - l. Let o be 10/s - (-2)/(-4). Which is smaller: o or 15?
o
Let u = 535 - 904. Let v = -368 - u. Which is smaller: v or -1.32?
-1.32
Let v = 80.83 + 0.17. Let q = -64 + v. Let a = -20 + q. Which is bigger: 0.07 or a?
0.07
Let a = -515 + 1095. Is 581 at most a?
False
Let h(n) = n**2 + 9*n + 16. Let v be h(-7). Suppose 0*u - 5*y = -3*u - 165, -109 = v*u - 3*y. Let g = u - -28. Is -21 less than g?
False
Let a = 21 + -15. Let m = 4836 + -4834. Let q = a - m. Is q >= 4?
True
Suppose -c + 13 = 4*i, 4*c + 5*i - 6*i = 18. Let n be -2 + 2 + c + -1. Which is bigger: 0 or n?
n
Let d = -39298/33 - -1191. Let c(b) = -5*b + 1. Let h(f) = 9*f - 2. Let l(u) = -7*c(u) - 4*h(u). Let a be l(2). Is d > a?
True
Let i = 127 + -122. Let l be (3/i)/((-5)/110). Let y = l - -731/55. Does y = -1?
False
Suppose 0 = 4*q + w - 7, 5*q = 6*q - 4*w - 6. Let a be (q/(-4))/(35/28). Is 6 at least a?
True
Let s be (-18*(-4)/30)/((-4)/(-10)). Suppose 3*p + 3*w - 15 = 0, -p - 4*w + 1 = 8. Let d be -3 - (-2 + (-66)/p). Is d at most as big as s?
False
Suppose 20*g + 41656 = 56996. Is 767 at least g?
True
Let w = 26.3 + -3. Let y = w - 35.6. Let q = y - -12. Is -0.3 >= q?
True
Let j = 1154 - 682. Let g be 65/20 + -4 + 338/j. Let w = 4 + -5. Is w less than or equal to g?
True
Suppose 3*q - 9 = 4*q. Let d(s) be the third derivative of s**5/60 + s**4/8 - 11*s**3/6 + 27*s**2. Let n be d(0). Do n and q have different values?
True
Suppose -917 + 6249 = 55*y + 69*y. Is y bigger than 35?
True
Suppose -18 = -3*u + 48. Let a be 480*((-4)/20 - -1). Let y = a - 362. Are u and y unequal?
False
Let c = 0.0664 - 0.0127. Which is smaller: c or 0?
0
Let s be -48*(269/116 + (-426)/6177). Suppose 4*n = 5*g + 503 + 40, -3*g = -n + 323. Are g and s unequal?
True
Let q be 149*3*(-25)/(-75). Let f = q + -149. Which is smaller: f or 1?
f
Let w be (2/(-14))/((-456)/(-5586)). Is 0.21 greater than w?
True
Let q(a) = -5*a**2 - 19*a + 5. Let p be q(-5). Let h be (24/p)/((-15)/450). Which is smaller: h or 29?
h
Let h(n) = -n**3 + 34*n**2 - 98*n + 154. Let k be h(31). Is k at least as big as -1/447?
False
Let t = 3782 - 3434. Which is bigger: 695/2 or t?
t
Let l be (-4)/10 - 12/20. Let t = -1476 + 81183/55. Let q = -211/165 - t. Is q at most l?
True
Let g = 61/200 + 969/2200. Which is smaller: g or 1?
g
Let j = -4.498 + 4.738. Which is greater: -18.5 or j?
j
Let z be (-3 - -2)*6 + 1. Let d be -1 + 0 + 93 + (z - -3). Suppose 3*k - 8*k = -d. Which is smaller: k or 20?
k
Let v(s) be the first derivative of -24 - 2/3*s**3 + 4*s**2 + 3*s. Let z be v(6). Which is greater: z or -20?
-20
Let v be 12/11 + 1/(-1). Let f(h) be the second derivative of h**4/12 - 5*h**3/6 - 7*h**2/2 - 4*h. Let k be f(6). Are v and k nonequal?
True
Suppose 83*y = -25*y + 1080. Is 65 greater than or equal to y?
True
Let f = -15668 - -15907. Which is smaller: 1.1 or f?
1.1
Let g = -534 - -327.2. Let p = g - -207. Is -296 greater than p?
False
Suppose 71*b = -1455 - 249. Are b and -11 equal?
False
Suppose -2*v - 20 = -7*v. Let n