 is smaller: z or y?
y
Let z(o) = -4*o**2 + 42*o - 293. Let p be z(15). Is p bigger than -568?
True
Suppose b = -3*i + 1 + 2, 0 = -5*i - 10. Suppose -b*k = -4*k - 65. Suppose -70*p + 112 = -62*p. Which is bigger: p or k?
p
Let y be (-33)/3 - 1127/(-92). Are -15/8 and y nonequal?
True
Let c = -880.8 + 879.8. Which is smaller: 1612 or c?
c
Let w = -0.8 + -0.2. Let y(t) be the third derivative of -t**6/120 - t**5/60 + 5*t**4/12 + 4*t**3/3 - 15*t**2 - 3. Let p be y(-4). Which is smaller: p or w?
w
Let y = -1175 + 2246595/1912. Are -1 and y non-equal?
True
Let u = -29/2135 - 1109/232715. Let r = 0.2 + -0.1. Is r <= u?
False
Let l = 228903/136 + -13271/8. Which is greater: l or 24?
l
Let x = -782.1 - -821. Let a = x - 39. Let t = 6.03 + -6. Which is bigger: a or t?
t
Let q be (-54)/(-45)*((5 - 8) + 2942). Is q at least 3528?
False
Suppose 0 = -32*o + 27*o + 895. Suppose -t = o - 180. Which is smaller: t or -1/240?
-1/240
Let a = 5.79 + -0.59. Let p = a - 1.2. Let d = 12 - p. Which is smaller: -0.3 or d?
-0.3
Let r = -957 + 9557/10. Let p(a) = -7*a**2. Let l be p(0). Is l bigger than r?
True
Let w be (-10 - -3)*(128/28 + -2). Let z be 203/63 + (-1 - 14/w). Let y be -8*2/z - (-30)/(-45). Is 2/7 bigger than y?
True
Let u(v) = 273*v - 4737. Let w be u(17). Which is bigger: -1145/12 or w?
-1145/12
Suppose 14*l - 76375 = -75969. Let q = 139 - 94. Let m be (q/4)/((-9)/(-24)). Which is smaller: l or m?
l
Let h be -7*(-44)/77 - 3. Which is smaller: h or -12/275?
-12/275
Let d = -18101.123 + 18101. Is 3/44 > d?
True
Suppose j + 5*u = 2*j - 2702, -5377 = -2*j + u. Which is greater: 2686 or j?
j
Suppose -12*v + 18983 = 4730 - 48135. Do v and 5199 have the same value?
True
Let p be 0/(-7 + -3 - -7) + 2/2. Do p and -2/1219 have the same value?
False
Let y be 8/(-4) - 2/(-2). Let w = -4301/375459 + 1/5646. Let k = 191/6650 - w. Is k greater than y?
True
Suppose -2*i - r - 1314 = 0, -40*i + 2616 = -44*i - 5*r. Is -660 greater than i?
False
Let h be (-23 + 2)/((-862111)/(-751940) + 16/(-14)). Is h at least -5740?
True
Suppose -3*k = 4*z - 10, k + 2*z + 4 = 4*k. Let c be k/(-5) - (-76)/(-10). Let h(t) = -t**2 - 6*t + 12. Let y be h(c). Which is smaller: y or -2?
y
Let t = -3.99 + -0.01. Suppose -l - 3*l + 12 = 4*i, 4*l = -5*i + 13. Let z be 12/(-54) + 0/l. Which is bigger: z or t?
z
Suppose 0 = d - 4*t - 16 + 43, -20 = 5*d + 3*t. Let s be 66/d - 78/(-182). Is s <= 0.07?
True
Let y(n) = 2*n**2 - n - 94. Let x be y(-6). Is x < 113?
True
Let w = 0.32 - -8.68. Let b = 0.0549 + 0.8451. Is w at least as big as b?
True
Let p = -1362373/179 + 7611. Let n = 308 + -307. Is p < n?
True
Let t = 84 - 432. Let s = -347.9 - t. Are s and 55 equal?
False
Let y = -2.285 + 6.485. Is 0.118 not equal to y?
True
Suppose 48 = 53*h + 94 - 46. Which is smaller: h or -2/14913?
-2/14913
Let p = 119/6 + -899/42. Let t be (-6)/(3 - 1)*1. Does t = p?
False
Suppose 2*u = 2*l + 44, -21 = l - 0*u - 2*u. Which is greater: 2/49 or l?
2/49
Let h be 77/22 + (-27790)/(-364). Which is smaller: 80 or h?
h
Let q(c) = -2*c - 42. Let s = 275 + -297. Let a be q(s). Which is smaller: 3/4 or a?
3/4
Suppose 1 = v + 11. Let z = v - -9. Let r = -272678/93 + 2932. Do z and r have the same value?
False
Let p(w) = -13*w - 5. Let u be p(-4). Let h(i) = -29*i - 25. Let z be h(-1). Suppose -4*x - z*c = 32, -4*x - 3*c = u - 11. Are x and -14 unequal?
True
Let o = 368.81 + -366. Let y = -2.81 + o. Is y != -4?
True
Suppose -9*l + 765 = -9. Let f be (-86)/l + (-510)/(-514). Which is greater: -0.1 or f?
f
Suppose 4*t + 51 = 5*p, -4*t - 4*p = t + 33. Let c be (25/68 - 210/1785)*-34. Which is smaller: t or c?
t
Let u = 237 + -252. Let m be (-148)/10 - (-18)/u. Which is greater: -87/5 or m?
m
Let i(f) = -5*f - 3*f + 12 + 9*f + 15. Let p be i(-15). Let s be ((-20)/15 - -1)/p. Do -0.1 and s have the same value?
False
Let b(m) = m**2 + 5*m + 6. Let t be b(-4). Suppose -t*s + 23 = 21. Is s equal to -5/44?
False
Suppose 3*n + 9 = 3*m, m + 46*n = 49*n + 3. Let f be -45*(4/(-114) + 0). Which is bigger: f or m?
m
Let r = 5860 - 5361. Is r equal to 3993/8?
False
Let l = -1010 - -1006. Which is bigger: l or -752?
l
Suppose -2197*x - 485 = -2202*x. Do x and 97 have different values?
False
Let o be (-228)/(-30) - 2/(-5). Let d be o/14 + 201/(-21). Which is smaller: d or -4?
d
Let r(a) = 69*a - 3549. Let n be r(53). Let o = 142 + -31. Is o at least as big as n?
True
Let q be 220/115 + 1*-2. Let l = -0.11 + 0.01. Let k = -1.1 - l. Is k less than q?
True
Let p be 34/19 - (0 - -5 - 3). Let x = -373/1862 - p. Let k = 218/245 + x. Does 2 = k?
False
Suppose -5*w = 4*x, -2*x + x - 13 = -2*w. Suppose 4 + 16 = 3*p + c, 0 = 5*p + 2*c - 33. Let k(l) = -9*l + 63. Let o be k(p). Is x greater than or equal to o?
False
Suppose 13*r + 4*c = 10*r + 36, -r = -c + 2. Is 545 greater than r?
True
Let t = -463 - -464. Let x be ((-386)/(-77) - t) + 126/(-441). Is 3 > x?
False
Let k = -602 - -341. Which is smaller: k or 5?
k
Let m = 32843/2 + -16789. Which is smaller: 1 or m?
m
Let g be 1 - 4 - (8*94544)/4. Let y be -7 + -1 - g/23681. Which is smaller: -0.1 or y?
-0.1
Let s = -23666 + 28613. Which is greater: s or -0.1?
s
Suppose 9*c = 6*c - 15, -5*r = 2*c + 20. Let k(h) = -2*h**2 - 3*h - 2. Let a be k(r). Which is greater: 24 or a?
24
Let m(p) = -p - 5. Let o be m(-5). Let i = -166 + 151. Let x be 12/(-54)*i - (-4)/6. Which is smaller: x or o?
o
Suppose 0 = -u - 1, 5*u = -3*h - 12189 + 3868. Let f = h + 1861. Let y = f - -6367/7. Which is bigger: -1 or y?
-1
Let p = 278 + -23. Let q be p/6*36/15. Is 104 at least q?
True
Let q(n) = 8*n**3 - 3*n**2 - 5*n - 5. Let l be q(-3). Let c = 170 + l. Which is smaller: 0.1 or c?
c
Let m be -12 - (11862/48 + 0) - (-1)/8. Is -261 greater than m?
False
Let c be 7 - ((-104)/(-91))/1. Is 2 at least c?
False
Let t = 74 + 41. Suppose t = 3*a - 50. Let f = a - 4127/75. Is f bigger than -2?
True
Let w = 152 + -32. Let t be -1 + 3 + w/(-55). Which is bigger: 12 or t?
12
Suppose 458 = -16*z - 406. Let x be (-218)/4 - (-1)/(-2). Which is greater: x or z?
z
Let o = 341 + -341.2. Let l = 82 + -84. Which is smaller: o or l?
l
Suppose x - 6 + 3 = 0. Suppose -2*b = -x*b. Let a be b/(1 - -2)*-1. Is a not equal to -8/9?
True
Let g = 857 + -1883. Do -1026 and g have the same value?
True
Suppose -5*h - 14 = -12*h. Suppose h*b + 5*p = -22, b + 3*p + 21 = -2*p. Let r = -3976 + 854842/215. Which is smaller: b or r?
b
Let d = 776 + 365. Let i = d - 1206.83. Let q = i + 66. Is q <= -1?
False
Let v = -12991.01279 - -12991. Is 3 greater than or equal to v?
True
Suppose 13 = -3*a + 28. Suppose -5*s - a = -y, 5*s = -3*y - 16 - 9. Let t be (-8)/(-3)*1*(-5 - s). Which is bigger: -4 or t?
-4
Suppose -285*v + 500 = -280*v. Suppose -4*d + 9*d = -5*n - v, 3*d + 5*n + 50 = 0. Which is smaller: d or -21?
d
Suppose -v + 2*v + 74 = 5*z, 0 = 4*z - 12. Let m = 1 + v. Let l = m - -231/4. Which is greater: 1 or l?
1
Suppose 0 = -3*k + 510 - 534. Let g be 79 + (5 - (-36)/k)*-2. Is g greater than or equal to 80?
False
Let d be 36/28 + 4/(-14). Suppose s + 4 = t, -2*t + 4*s = -t - d. Suppose -3*a - 5*o = a - 12, -t*a - 22 = -3*o. Which is smaller: -8/3 or a?
-8/3
Let a(w) = -8*w**3 + w**2 + 4*w + 1. Let o be a(2). Let t = o + 12. Let v = t + 48. Is v at least as big as 11?
False
Let h be ((-284)/6)/((483/15)/((-78)/(-130))). Do -1 and h have the same value?
False
Let r = -56 + 30. Let y = r + 26. Suppose y = -d + 1 - 5. Is 2 equal to d?
False
Let v be -1 + 8 + (21 - (318 + 20)). Is -926/3 != v?
True
Let v(l) = 3*l - 8. Let b be v(6). Suppose 0 = -2*u + b*u. Suppose -p + 0*p - 1 = u. Is -1/34 at least as big as p?
True
Let w = -517 + 7233/14. Suppose 0 = 12*i - 16*i. Which is greater: w or i?
i
Suppose 0 = 4*p - 2*d - 20, 0 = d - 0*d - 2. Suppose 2*j + 3*z - 9 = 0, -3*z + p = -4*j - z. Let g be j + 3*5/(-45). Do 0.05 and g have the same value?
False
Let o be (-3)/30 - (-25182)/220. Let h = o + -110. Let z be 18/4 + (-1)/2. Which is smaller: h or z?
z
Let c be ((-451920)/32277 - 0) + 14. Is c >= 0?
False
Let s = -16092 + 16922. Is -1 < s?
True
Let a be 3/8 - (-16)/(-384)*-231. Let f(x) = 4*x**2 - 3*x + 3. Let r be f(3). Suppose a*p = 5*p - r. Which is greater: p or 3?
3
Let g(h) = -5*h**2 + 233*h + 587. Let q be g(49). Which is bigger: -126/61 or q?
q
Suppose 4*y + 276