v = 1253/5 - 250. Are v and 36 equal?
False
Suppose 3*k - 3*z = 0, -2*k = -3*k + 4*z. Suppose -4*q + 4*h - 56 = k, 5*q + h + 34 = -12. Let t be 1/1 - (9 + q). Is 2 smaller than t?
False
Let z(m) = m**3 - 3*m**2 - 3*m - 4. Let f be z(4). Suppose -270 = 9*x - f*x. Which is greater: -31 or x?
x
Let h(x) = x**3 - 4*x**2 + 2*x + 19. Let k be h(4). Which is bigger: k or 26?
k
Let v(r) = -r**3 - 16*r**2 - 18*r - 50. Let c be v(-14). Is -189 bigger than c?
True
Let j = 7/58 - -23/290. Let b = 83 - 251/3. Do j and b have the same value?
False
Let b(l) = l**2 - 20*l - 3. Let q be b(20). Let d be (6/8)/q - 1/(-4). Which is greater: -3/41 or d?
d
Let l be (228/108)/(32/3 + -2). Is l >= -1?
True
Let r = -0.67 - 2.33. Which is greater: r or -20?
r
Suppose 3*c - 2*h = 6*c + 1, c - 3 = -4*h. Is -1 != c?
False
Let a = 21.8 - 21. Let q = -25.9 - -27. Let l = a - q. Which is smaller: l or -0.02?
l
Let o(y) = -y**3 - 3*y**2 - 3*y + 3. Let m be o(-4). Let a = 950 + -918. Which is greater: m or a?
a
Suppose 3*l + 120 = -5*v - 1, -5*l + 4*v - 177 = 0. Let c = -11119/3 - -3671. Let f = c - l. Which is greater: -1/2 or f?
f
Let s be (-102)/(-9) - (-5)/(-15). Suppose 5 = 3*w + 2, -4*x + s = 3*w. Suppose -o - o = x*h - 28, 2*h = 3*o + 3. Is h bigger than 2/3?
True
Let a = -0.332 + -23.668. Which is greater: 0.2 or a?
0.2
Suppose 10*g + 12*g = -902. Which is bigger: g or -4?
-4
Let b(v) = v**2 + v + 1. Let t be b(0). Suppose -19 = 3*z + 2. Let c be 3 - (z - (7 + -3)). Which is smaller: c or t?
t
Let l = 0.176 - 0.376. Let m = 74 + -126. Which is smaller: l or m?
m
Let x be 0 + (0 - -1) + 0/(-11). Is 56 equal to x?
False
Suppose 0 = -2*h + 4*u, -h + 0*u + 4*u - 2 = 0. Suppose p - h = -5. Which is greater: p or -6?
p
Let m(i) = i + 5. Let a be m(-4). Let b be (-334)/(-8) - 1/(-4). Let w be (-26)/b + (-2)/(-7). Which is greater: w or a?
a
Let x be (-1)/(1/(-23)) - 3. Suppose -6*a = -a + x. Let n be (-15 - -14)*2/2. Is n < a?
False
Let s be (186/(-45))/((-26)/6). Let v be 3 - -3*134/(-78). Let d = v + s. Is d at most 0?
True
Let m = -25/663 + 6145/663. Is 9 at most as big as m?
True
Suppose 0 = 2*i + x - 530, 0 = 5*i - 3*x + 5*x - 1325. Which is smaller: i or 264?
264
Let y = 2258 + -2257. Is y > 14/117?
True
Let n be ((-32)/10)/(24/(-60)). Suppose -n = -2*a - 2. Let y(l) = l**2 + 2*l - 3. Let b be y(-4). Is b at least a?
True
Let l(j) = j**3 - 3*j**2 + 5*j - 3. Let r be l(3). Suppose -3*s + 54 = 5*c, -14*s = -c - 15*s + r. Let p = -13 + 24. Is c at least as big as p?
False
Suppose -4*t - 12 = -f, 0 - 15 = 5*f + 5*t. Suppose -k + 5*r - 128 = -f*k, 3*r - 228 = 2*k. Let d be (-2)/9 - 105/k. Is d < 3?
True
Let a(n) = -8*n**2 - 2*n - 1. Let z be (-132)/(-84) - 3/(-7). Let p be a(z). Which is bigger: p or -1/4?
-1/4
Let u = -61 - -79. Let s = 2 - u. Which is greater: s or 0.1?
0.1
Let k(j) = j**2 + 18*j - 49. Let u be k(-21). Suppose -5 = -5*y + 10, -4*y + u = 2*h. Which is bigger: 3/55 or h?
h
Let b = 239611/34 - 7050. Which is smaller: b or -3?
-3
Let o = -429 + 442. Is o > -3/7?
True
Let y = -3 + 2. Let n(v) = -v**2 + 9*v + 37. Let s be n(-4). Let x be 1/(-4) + s/20. Is x less than or equal to y?
True
Let s be ((-1)/(-3))/((-3)/(-18)). Suppose 0 = -s*u - 3 + 1, -2*u + 34 = -4*q. Let d be 1*q/(-3) + -1. Which is smaller: 0 or d?
0
Suppose -5 - 7 = 2*t - 3*a, -5*t + 8 = 2*a. Which is bigger: t or 2/1133?
2/1133
Let z be ((-48)/90)/(1/(-6)). Suppose 3 = 5*p + 13. Let h = 5 + p. Which is smaller: z or h?
h
Let r be 14/63 + (-406)/288. Which is bigger: -2 or r?
r
Let a = -0.09 - -30.29. Let k = -5.1 + 35.1. Let s = a - k. Does s = -11?
False
Let f be 6/30 - ((-111)/95)/1. Is f smaller than 0?
False
Let z(r) = -r**3 + 28*r**2 - r + 32. Let x be z(28). Which is smaller: 66 or x?
x
Let o(a) = 5*a - 34. Let i(c) = 2*c - 17. Let z(p) = -9*i(p) + 4*o(p). Let h = -15 + 5. Let d be z(h). Which is smaller: -5 or d?
-5
Let r = 1.804 - 1366.804. Which is smaller: 1 or r?
r
Let p be 913/(-22)*(-4 + 2). Is 83 > p?
False
Let m be -2 - -3 - (-10)/(-8). Let y = 28 + -59. Let w = -27 - y. Which is smaller: m or w?
m
Let o = -12 + 4. Let u be o/(-10) - (-12)/10. Let a be (-4)/u*1/(-39). Is a greater than -1?
True
Let w(r) = r**2 + 1. Let k be (0/28)/(-1 - -2). Let u be w(k). Which is smaller: u or -5?
-5
Let b = -4.28 + 2.58. Let x = 14.7 - 10. Let s = b + x. Is s at least 0.2?
True
Let p(h) = -4*h**2 - 45*h + 39. Let l be p(-12). Is -0.165 less than l?
True
Let g = 2.86 - 3. Let c = -0.16 + g. Let p = -2.81 + -0.19. Which is smaller: p or c?
p
Suppose -14*r = -616 + 224. Is r greater than -1?
True
Let g = -2.95 - -3. Let j = 189.05 + -189. Let r = g + j. Which is bigger: r or -2/13?
r
Suppose 3*i = -i + a + 37, 2*i - 14 = -4*a. Suppose 0*j = 3*j + i. Which is smaller: 0.03 or j?
j
Let g(v) = 2*v + 6. Let s be g(-3). Is s at most as big as 2/1937?
True
Let i = -870 - -1028. Is 162 greater than i?
True
Let d = 1895/4 - 467. Let w = -26 - -51/2. Which is greater: d or w?
d
Let n = 133 + -80. Which is smaller: -1 or n?
-1
Suppose -3*v = -v - 18. Suppose 0 = p - 4*r - 11, -4*p - 33 = -v*p - 2*r. Does 6 = p?
False
Let x be -4 - (-5 - 2 - -4). Let z be (-912)/(-437) - 4/2. Is x at most z?
True
Let a = 346 + -343. Are a and 5/3 equal?
False
Let s be (18/15)/(3/10). Suppose z - s*z = -z. Is z bigger than -3/5?
True
Suppose -2*m = 2*v + 12 + 14, 3*m + 5*v = -31. Are m and -13 unequal?
True
Suppose -2*r = 2*p - 3*p, 15 = -3*p + 3*r. Let a = 10 + p. Is a smaller than -1/4?
False
Let s be 9 + (-6)/(1 - 3). Let k(p) = p**3 - 12*p**2 - 2. Let f be k(s). Let m be f/3 - (-4)/24. Which is smaller: -1 or m?
-1
Let c be 7/2*(-12)/(-7). Let n = c + -5. Let t be (-92)/(-48) + (-6)/3 + 0. Which is smaller: t or n?
t
Let k = 597.97 - 598. Is -13/8 not equal to k?
True
Let h = -190 + 568/3. Which is bigger: -18 or h?
h
Let g = 2333/132 - 353/20. Which is greater: 1 or g?
1
Let v be (1/2)/((-5)/10). Let s be -4 - (0 + -1)*-2. Let o be 13/s + (-1 - -2). Which is smaller: o or v?
o
Let m = 381/80332 - -1/532. Which is greater: -1 or m?
m
Let q be 42/(-63) + 1*(-16)/(-6). Let b be 2 + 172/(-80) - q/(-5). Let g = -3 - -2. Is b less than g?
False
Let l = -0.65 + -54.35. Let d = l + 57.1. Which is greater: -0.2 or d?
d
Suppose -5*o = 6 + 4, -o = 3*h + 41. Let p = 33 + h. Let f = -17 + 37. Do f and p have the same value?
True
Let y be (14/(-7) + 2)/(-1)*-1. Let k be 2*-1*(-20)/(-72). Which is smaller: y or k?
k
Let s be -7*3 - (-10 + 14). Let c be (28/(-16) + 3)*-20. Is s <= c?
True
Let w = -1940 - -5822/3. Is w <= -0.47?
False
Let f be 958/8*-2*6/(-3). Let p = f - 3839/8. Let m = 0 + -2. Is p at least m?
True
Suppose a - 715 = -3*s + 7*s, -2*a - 2*s = -1410. Is 1 at most a?
True
Let v be ((-1)/3)/(-1*2). Let r = 0.017 + -5.017. Are v and r equal?
False
Let c(h) = -5*h**2 + 75*h + 77. Let q(k) = k**2 - 19*k - 19. Let d(f) = 2*c(f) + 9*q(f). Let y be d(-20). Which is smaller: y or 22/9?
22/9
Let g be (-1)/(-6) - 4427/(-114). Let m be g/65 + (-36)/10. Is -3 equal to m?
True
Let z = -6.8 - -7. Let m = -5.2 - -5.4. Is m at most as big as z?
True
Let b be (-58)/(-8) + 3/(-12). Let v(r) = -r**2 - r + 1. Let c(a) = -5*a**2 + 5*a - 11. Let f(n) = -c(n) + 4*v(n). Let u be f(b). Is -2/53 bigger than u?
False
Suppose 27*b - 17*b + 5240 = 0. Which is greater: -523 or b?
-523
Let d be (-8 - -2)/3 - 886/(-442). Is 1 < d?
False
Suppose 0*f - 5*f = -420. Let w be (-1)/(-7) + (-1608)/f. Let c = -24 - w. Which is smaller: -6 or c?
-6
Let m be (-1)/((6 - 6) + 0 + 1). Which is greater: -1/567 or m?
-1/567
Let r = -68111/124 + 2201/4. Is 0 equal to r?
False
Suppose 0*o - 5*o = -4*k - 1373, 3*k + 1027 = o. Let x be (-144)/(-28) + -5 + k/(-154). Which is smaller: x or 1?
1
Let v = 0.02 - 0.54. Let u = v + 0.12. Suppose -5*d + 3*s - 3 = -10*d, -4*s - 25 = -3*d. Which is smaller: u or d?
u
Let w(u) = -u - 5. Suppose z + 4*z + 15 = 0. Let v be (10/(-8))/(z/(-12)). Let j be w(v). Is -2/5 greater than j?
False
Let b(z) = -z**3 + 5*z**2 - 10*z + 11. Let r be b(4). Which is bigger: -9 or r?
-9
Let p = -11 + -10. Let x = p - -27. Is x <= -2?
False
Let h(i) = 1. Let g(d) = -d**3 + 5*d**2 - 2*d - 3. Let c(r) = g(r) - 4*h(r). Let a be c(4). Let w be 128/252 - 2/9. Which is greater: w or a?
a
Let a = 347 + -354. Which is greater: a or 0.3?
0.3
Suppose 5*u + 5*