 2104, 2*t = -5*p + 10474. Which is bigger: 2093 or p?
p
Let h = 119.1 - 108.1. Is h >= 0.067?
True
Let h = 56 - 57. Let l be h/(-3)*72/2. Suppose 4*g + 48 = l*g. Which is greater: 5 or g?
g
Suppose -23 - 2 = -5*x. Let r be (x/30)/(1/(-3)). Is r at most as big as -3.7?
False
Let d(n) = -2*n**2 - 37*n - 54. Let m be d(-16). Suppose 44 = -m*j - 60. Which is greater: -11 or j?
j
Let z be (-4 - 154/(-33))/((-103)/9*1). Let f be 2 + (0 - 1) + 0. Which is smaller: z or f?
z
Let z = -10.1 + -1.7. Let a = 12 + z. Which is greater: a or -0.2?
a
Let c = 662 + -637. Which is smaller: c or 0.08?
0.08
Suppose 7*s - 75 = 58. Let i = s + -15. Suppose -5*m = -4*l + 100 + 85, i*m + l = -169. Is -41 greater than or equal to m?
True
Let w = -9000 - -8990. Suppose -4*v + 3*f = -0*f + 23, v = 5*f - 10. Is w equal to v?
False
Let m = -0.6416 + 0.62. Let c = -4.0216 - m. Which is smaller: c or -0.16?
c
Let v = -17 + 19. Let x be (-1)/((2/v)/(-4)). Let a be 4/60*-21 - (-12)/2. Which is smaller: x or a?
x
Let y(u) = -u**2 - 5*u + 8. Let h be y(-5). Let t be (3 + 19/(-7))/((-12)/(-84)). Suppose 3*c - t = -h. Which is bigger: -21 or c?
c
Let m = 0.871 - 1.06. Let x = -0.789 - m. Is -24 bigger than x?
False
Let r = 15878 + -15878. Which is smaller: 8/913 or r?
r
Let v(p) = -p**2 - p + 2. Let o be (16/(-56) - (-68)/42)*-3. Let c be v(o). Let g(w) = -w**3 - 10*w**2 - w - 17. Let x be g(c). Which is greater: x or -9?
x
Let v be ((-2772)/79044)/(8/40 - 17/10). Is v bigger than 1?
False
Let d = -168.9 - -169.9. Is -74.7 greater than d?
False
Let i(u) = u**3 - 34*u**2 + 24*u - 815. Let j be i(34). Are j and -13/70 equal?
False
Let a = 50 - 24. Suppose -a = l - 3*l. Let u = 34 - 20. Which is smaller: u or l?
l
Let d be 3/6 - -2*36/(-16). Let a be ((-35)/(-15) + d)*-9. Let s be (-27)/6*(-10)/3. Is s at least a?
True
Let m(h) = 104*h + 979. Let d be m(44). Are 16663/3 and d equal?
False
Let y be (5810/(-112) + 11)/(9*4/60). Do y and -68 have different values?
True
Suppose 1188*f = 1193*f + 20. Which is smaller: f or 0.2423?
f
Suppose 3*p - 3 = 6*p. Let w = 1579.84 - 1627. Let a = w + 47. Is a at most as big as p?
False
Let n = 7120 + -1274396/179. Which is smaller: -1 or n?
-1
Let g be 1/5*-8 + 2. Let n = 146969.2 - 146970. Is g less than or equal to n?
False
Suppose -105*n = -80*n - 75. Suppose 3*t + 3*x + 39 = 0, n*t - x - x = -44. Which is smaller: -21 or t?
-21
Let n = -8.707 + 8.7. Let q = 67.121 - 0.121. Let x = -67 + q. Which is greater: x or n?
x
Let k = -0.5 + -0.1. Let w = -10798 + 10794.6. Let i = k + w. Which is smaller: 6 or i?
i
Let b(p) = 80*p - 2651. Let s be b(40). Is 557 != s?
True
Let d = -3935 + 224290/57. Suppose 3*j = -17 + 5, -5*t + 11 = -4*j. Which is bigger: d or t?
d
Let i(l) = -4*l - 38. Let n = 56 + -68. Let u be i(n). Let p = 11 - u. Which is greater: p or -2/185?
p
Let k = 42 - 211/5. Let b = 362 - 182. Let i = b - 180. Which is smaller: i or k?
k
Let f be (-3 + 9 + -6)/(-19 - -13). Is 51/71 at least f?
True
Let b = 33/8 - 859/24. Let g = -419/12 - b. Is g greater than -1?
False
Suppose 0 = -10*s - s + 924. Let l be (12/18)/((-2)/s). Does -25 = l?
False
Let u(v) = -2*v**2 + 8*v - 11. Let h(z) = 1. Let g be 2 + -4 + (-3)/(-3). Let i(a) = g*u(a) - 2*h(a). Let r be i(4). Is r at least as big as -2?
True
Let i = -199 - -92. Suppose 3 = 9*n - 11*n + z, -z = -4*n - 7. Which is greater: i or n?
n
Suppose 35*y = -4*j + 37*y - 72, -y = -3*j - 56. Let x = 0.03 - 0.03. Let w = x + 0. Is w bigger than j?
True
Let t be 20/(-6) + 3835/(-177). Which is smaller: t or 0?
t
Let h = -2/10901 + -9741/6322580. Which is greater: 1 or h?
1
Let f(n) = 19*n - 55. Let c be f(-67). Is -1328 less than or equal to c?
True
Let d = -736 + 733. Let a(b) = b**2 - 5. Let k be a(3). Suppose k*f + 25 = -f. Which is smaller: d or f?
f
Let b = 90.4 + -49. Let r = 42 - b. Let s = -83/21 + 39/14. Is r >= s?
True
Suppose 5*j - 4 = -14*w + 11*w, 2*j = -w. Suppose w*b = 8 - 0. Which is smaller: 2/1403 or b?
2/1403
Let x be (-165)/140 + 2/(-8). Let t be (654/126 + -5)*(-1015)/(-290). Is t greater than or equal to x?
True
Let i = -395 - -407. Let a(m) = -14*m + 168. Let f be a(i). Which is bigger: f or 1/300?
1/300
Let f be (-2 + 0)*(-6 - 0). Suppose 26*o = 134 + 282. Is f at most o?
True
Let g = 921 + -6463/7. Suppose -3*z = -201 + 60. Let d = 46 - z. Is g smaller than d?
True
Let i be 2/(-2)*-2 + (-8 - -24). Let t be -4 + 6/(i/15). Let j be (4 - (-144)/(-29)) + t. Which is smaller: 0 or j?
0
Let t = 6 + -3. Let h(x) = x + 3. Let k be h(t). Let n = 296512 + -296506. Is n equal to k?
True
Suppose s - 13 = 3. Let k = 29 - s. Suppose -d = -2*x - 21 + 2, 2*d = 5*x + 42. Is k at most as big as d?
False
Let a = 675 + -288. Suppose -17*x = -8*x - a. Suppose -5*b + 44 = -4*b. Which is smaller: x or b?
x
Let d be -10 - (-4 - -1) - -7. Let n = 30719 - 35664757/1161. Is d greater than n?
False
Let i = 22345 + -19714. Is 2631 > i?
False
Let w = 9245 - 9245.2. Which is smaller: w or -0.0248?
w
Let r be (-37 + -17 + 9)*-11. Which is smaller: -2 or r?
-2
Let o(g) = -2*g**2 - 64*g - 1. Let l be o(-32). Let u(i) = 31*i**3 - 2*i - 3. Let f(q) = -q**3 + q**2 + 1. Let p(k) = -f(k) - u(k). Let a be p(l). Is 29 != a?
False
Let p be (-1)/17*(-2039 + -21 + -12). Which is smaller: p or 121?
121
Let w = 19907.9 - 19906. Which is greater: -44.3 or w?
w
Let h be (-187)/(-450) + (-2)/4. Let r = -2/75 + h. Let l be 14/15*-5 + (4 - 0). Which is smaller: l or r?
l
Let k = 36276 - 1269531/35. Is k >= 5?
False
Suppose -5*v = -3 - 2. Let b(s) = 9*s**2 - 6*s + 7. Let w be b(1). Let f be (8 - w)*2/408*2. Which is greater: f or v?
v
Let p(z) = 4*z**2 - 32*z + 37. Let g be p(9). Let b(w) = w**2 - 4*w - 365. Let x be b(23). Which is bigger: x or g?
g
Let r(z) = -z**3 - 124*z**2 + 100*z + 185. Let f be r(-124). Which is smaller: -12216 or f?
-12216
Let g be (-5 + 10 + -8 + 2)*67. Which is smaller: g or -66?
g
Let t be (-396)/(-375)*(-4 + 86/4). Let o = -38246/2075 + t. Which is smaller: o or 1?
o
Let s(o) = 10*o + 79. Let a be s(-10). Let n be (a/(-14))/(2/4) - 4. Let u be (2/(-8))/(0 + 2). Which is bigger: u or n?
u
Let i = 0.032 + -0.132. Let x = -418 + 29675/71. Which is smaller: i or x?
i
Suppose w + 60 = 8*w - 19*w. Let v be (-6)/(-15)*(-1 + -9). Is w >= v?
False
Let g = -0.01986 - -69.42986. Let k = g + -70. Let f = -4.41 + k. Is -0.01 <= f?
False
Suppose 3*k = -850 + 766. Let g be (3 + -23 - 9) + 1 + 0. Is k at least g?
True
Let x = 20713 - 20712. Is 1691 at most x?
False
Let n be -59*(-2 + (-10)/(-4)). Suppose 13*y - 7*y = 402. Suppose 25 = -t - k - 7, 2*t + 5*k = -y. Is t greater than n?
False
Let w = 270 + -235. Let k be 304/(-5) + (-42)/w. Suppose 0*r - 2*r - 122 = 0. Is r at least k?
True
Let c = -57 - -57. Let w be (0 - -1)/(-3 + c + 4). Suppose -13*k = -14*k + w. Which is greater: 4/11 or k?
k
Suppose -143*o = -132*o - 2332. Suppose -o = 26*j + 152. Which is bigger: j or 0?
0
Suppose -t + 6 = 5*d, -210*t = -2*d - 217*t + 42. Which is smaller: 2/6143 or d?
d
Suppose -15*y - 10*y + 75 = 0. Suppose 4*a + 68 = 4*m, -4*m - a + y*a + 60 = 0. Is m at least as big as 11?
True
Let w be ((-4)/(-25))/((-36)/(-10)). Let p = 987.981 + -989. Let k = p - -0.819. Which is greater: w or k?
w
Suppose -2*b - 39*b + 3*b = 20216. Which is smaller: b or -535?
-535
Let a = 0.0677 - -365.9323. Let v = -330 + a. Which is smaller: v or 3?
3
Let q = -53.4 - 550.4. Let r = q + 604. Which is smaller: r or 87?
r
Let o = 267 - 250. Let s = o - 20. Which is smaller: s or 8/3?
s
Let u = 31415 + -23410. Which is bigger: u or -1?
u
Let l be (-135)/456*25554/165. Let s = 21/209 + l. Let r = -46 - s. Does 0 = r?
False
Let n = 1476361/25 + -59037. Is n > 17?
True
Suppose 132*z - 128*z + 3192 = 0. Is z smaller than 0?
True
Let d = 130 - 128. Let m = d - 1. Are -3/55 and m nonequal?
True
Let n be 517/(-410) - ((-1)/(-3))/((-5)/3). Is 0 at least as big as n?
True
Let b be 5/(-2)*102/(-85). Suppose -255 = b*f - 4*k, -k + 255 = -3*f + 2*k. Let i = 90 + f. Which is bigger: i or -3?
i
Let l = -806 + 860. Is l > 53?
True
Suppose 8*y + 10 = 7*y + 5*b, -y - 10 = -3*b. Let f(j) = -2*j**3 - 21*j**2 - 12*j - 68. Let r be f(y). Is -46 less than r?
False
Let l be -1 - -5 - (0 - -10). Let u = -31/5 - l. Let h = -59.3 - -58. Is h >= u?
False
Let y be ((-23)/(-207)*-3)/