e p and s equal?
False
Let z be 66/(-165) + (-5 - (-132)/30). Let f = 78 + -44. Let u = -135/4 + f. Which is greater: z or u?
u
Let y be (-509)/((-371)/(-63) - 6). Let k = y + -338989/74. Which is greater: 0 or k?
k
Suppose 47*a = -7*a + 7607 + 217303. Is a equal to 4164?
False
Let b = -12645 - -23476. Let l = b + -4299905/397. Is 1 <= l?
False
Let v = -43 - -43. Let c be (v - -115)/1 + (0 - -4). Are c and 120 unequal?
True
Suppose 12*t - 16*t + h = -109, t - 2*h = 22. Suppose 3*d + 28 + 2 = -3*z, -3*d = z + t. Is d smaller than -13?
False
Let o be (-986)/(-18067)*(-14)/40. Which is greater: o or 1?
1
Let n = -10588/566749 - -30/1291. Is n bigger than 1?
False
Let m = 1453808/1191 + -3662/3. Suppose 0 = -22*d + 37*d. Is m at most d?
True
Suppose -2*m - t + 11 = -m, 2*m = -3*t + 25. Let b(v) = v**2 - 8*v + 16. Let z be b(m). Let s be (-18)/8*z/24. Which is bigger: 1 or s?
1
Let n = -182 - -182.459. Let q = -1.159 + n. Are -38 and q non-equal?
True
Let r = 48.8 + -43. Let a = r + -0.8. Let c = 1.68 - -0.32. Which is smaller: c or a?
c
Suppose 2972*v + 420 = 2942*v. Let f be (-4)/(-14) + 286/(-21). Which is bigger: f or v?
f
Suppose 2*l = -4*f + 26, 4*f + 29 - 50 = -3*l. Suppose f*n = 10*n + 391. Is n >= -391?
True
Let d = -28043 - -134354015/4791. Which is greater: -1 or d?
d
Let m = -2246.563 + 2244. Are m and -2 nonequal?
True
Suppose -25*l = -29*l + 2312. Suppose 164 = 14*z - l. Are z and 55 unequal?
True
Suppose 2*j - 3392 = 3*a, 3*a + 3388 = -3*j + j. Is -1130 at least as big as a?
True
Let k = 589.3032 - 589.3. Does k = -1/2?
False
Let l(b) = -72*b - 288. Let f be l(-4). Are f and 5/872 equal?
False
Let f = -2700 - -13497/5. Is 3 != f?
True
Let r = 19 + 12. Let p = 43 - r. Suppose -5*g - 4*v = 6, 3*g + 2*v = 5*g - p. Which is smaller: 26 or g?
g
Suppose 4*i + 2*b = 4, -3*b + 4 + 2 = 5*i. Let y be ((-15)/21 - i)*(-4)/4. Let h(k) = 3*k**2 + k - 2. Let j be h(1). Is j bigger than y?
True
Suppose r - 3*o - 5 = 0, 3*r + 19*o + 35 = 18*o. Which is bigger: -23 or r?
r
Let m(j) = 4*j**2 - 27 + j**3 + j + 34 - j**2. Let x be m(-3). Suppose 3*l = -2*l + x*l. Are l and 1/12 nonequal?
True
Let s be (-8)/36 + 9285/(-54). Which is bigger: s or 2?
2
Let l = -203225.87 + 203226. Suppose -2*u + 10 = -7*u, -j = 3*u - 8. Which is greater: j or l?
j
Suppose 17*m - 635 - 725 = 0. Let n be 32/m*7/((-42)/(-20)). Which is bigger: n or -0.4?
n
Let z = 242 - 223. Let h(s) = 9*s + 53. Let o be h(z). Which is smaller: o or 223?
223
Let h = -11076 + 11076.1. Which is greater: h or -2/145?
h
Let t = -0.08 + 0.22. Let p = 1.94 - t. Let w = 1.3 - p. Is w >= 1/3?
False
Let a be 4/(-14) - (-5 + (-2870)/98). Suppose -35*y + 14 = -a*y. Let p be ((-2)/(-3))/((-20)/(-438)). Which is smaller: p or y?
y
Suppose 27*x - 135 = 32*x. Let y = 49 - x. Suppose 5*m = -p + 35, 3*m = 3*p - y - 29. Is 35 less than p?
False
Let t = 227 + -225. Suppose 0 = -t*y + 80 + 38. Is 57 <= y?
True
Let t = 33.03 - -1.97. Let x = -26 + t. Is 10 less than or equal to x?
False
Suppose 6*v = 57 + 9. Let t(c) = -16*c**2 + 9*c + 100. Let r(l) = 3*l**2 - 2*l - 20. Let i(w) = v*r(w) + 2*t(w). Let x be i(7). Which is bigger: x or -1/33?
x
Let z = 153869/11 - 2143606/33. Let m = z - -51659. Let q = -683 + m. Is q less than or equal to 6?
False
Let h be (-266)/19 + -4 + 11. Let j = 5 - 0. Suppose j*q + 26 + 14 = 0. Is h at least q?
True
Let g = 6707/11 + -607. Let x = -443/110 + g. Let s be 895/358*(-4)/5. Are x and s unequal?
True
Suppose -124460 = -11*v - 10*v - 121541. Which is bigger: v or 113?
v
Let x be (56/112)/(0 - 2/4). Let y be 14/294*2/x. Suppose -b = b. Which is smaller: b or y?
y
Let z be (3688/714 - (-78)/(-663)) + -5. Let n be 7/2*20/35. Let d be 4 - n - 6/3. Are d and z equal?
False
Suppose 279 = 5*w + z, -3*w - z + 109 = -58. Suppose -22 + 12 + 946 = 18*j. Is j less than w?
True
Suppose r + 13 = 3*z, 0 = 2*z + 5*r + 3 - 40. Suppose z*o + 6 + 6 = 0. Let m be o/(24/9)*24/222. Which is greater: 1 or m?
1
Let v be (0 - -1)/((-2)/(-38)). Let n = 17 - v. Let a = 414 + -408. Is n less than a?
True
Let w = -0.26 + 0.4. Let y = w + -0.04. Let p = 1.86 + -0.36. Do y and p have the same value?
False
Suppose 7 = 4*v - 5*j - 9, v + 5*j = 29. Suppose -17*w - 76 = v. Is w not equal to 1?
True
Suppose 4*i - o = 3, -4994*i + 4999*i = -3*o - 26. Is -1/48807 at most as big as i?
False
Suppose -1696 = -4*d + 4*a, -3*d - 4*a + 1279 = -0*d. Suppose 4*v - 11 = d. Suppose -4*w + 4*m - v = 5*m, -5*m = 3*w + 86. Is -27 bigger than w?
False
Let d = -9 - -21. Suppose v - 79 = -f, 2*v + 6 = -0*v. Suppose -10*t + d*t - f = 0. Is 41 bigger than t?
False
Let y = -389.983 - 3.717. Let w = 394 + y. Do -40 and w have different values?
True
Let s be -6*5*((-64)/228)/(-4). Which is greater: s or 2?
2
Suppose 18*g - 69*g - 298197 = 0. Let x = -344961/59 - g. Is x at least 1?
False
Let z = -163.2 - -175.2. Which is smaller: z or -30?
-30
Suppose -3*k - 8 = 3*c - 2, 5*k = 4*c - 46. Let f be k/(-4)*(3 + -1) - 86. Let r = -577/7 - f. Which is bigger: 1 or r?
1
Suppose -18*j + 14*j = 12. Let v be (4 - (4 + -3)) + -2. Suppose 5*w + v = 11. Is j at most as big as w?
True
Let o(y) = -y**3 + 8*y**2 + 11*y - 14. Let j be o(9). Suppose -2*z - z = -2*v - 3, 34 = j*v + 2*z. Suppose -c - 30 = -v*c. Is c < 6?
False
Suppose 5*d + 6*d = 1342. Suppose -d = -2*w - 28. Is w not equal to 1?
True
Let c(u) = -u**3 - 4*u**2 - 7*u - 8. Let j be c(-9). Let m be j/3 + 8/12. Is m greater than 154?
False
Let s be ((28/7)/(-8))/(-1) - 606/4. Which is smaller: s or -156?
-156
Let x be (-14816)/10 + 14/(-35). Let d be (-2 - (-32)/1)*(-76)/x. Which is smaller: d or 2?
d
Let u be (4/7)/((-2)/4135) + (-30)/(-70). Is u at most as big as -3?
True
Let d be (-2)/4 + 327/606. Suppose -2*t - 24 = -4*p, -4*t - 4*p + 44 = 20. Which is bigger: t or d?
d
Let l = 126 - 149. Let o = 1419 + -1447. Which is smaller: o or l?
o
Let f = -14541 - -15276. Do 12 and f have different values?
True
Let o = -8453 + 8451. Which is greater: -234 or o?
o
Let g be (-486)/(-2349)*1/(-3). Is 388 at most g?
False
Suppose 647 = 33*a - 1234. Let n be ((1045/10)/11)/((-1)/(-6)). Is a at least as big as n?
True
Suppose -9*t + 29*t = 0. Is 1/307 greater than or equal to t?
True
Let v = 5836/7 + -921003/1106. Which is smaller: 1 or v?
v
Suppose -3*f - 119 + 104 = 0. Suppose 15 = 4*t - 5*t. Let n be 3*(0 + f/t). Which is smaller: 7/12 or n?
7/12
Let w = 8211.45 + -8211. Let y be (-1 + -2)*(-4)/6. Suppose 5*c + 20 = 5*z, 3*z - 10 = -5*c + y. Is c != w?
True
Let h be (-44533)/(-3181) - (-453 + 467). Which is bigger: h or -1?
h
Let j be ((-11)/15 - -1)/(1480/(-2220)). Is j at most as big as -0.9168?
False
Let f = -742931 + 742983. Suppose 154 = 3*c + j, -3*c = c - j - 196. Is f less than c?
False
Let p(j) = 2*j - 3*j + 5 - j + j. Let d be p(-5). Suppose -5*o + 0 = d. Which is smaller: -15/7 or o?
-15/7
Let v be -1 + -12 + 13 + 1/(-1). Which is smaller: v or -1/440?
v
Let w = 1.031 - 8.031. Is w < -10/21?
True
Let y be (-1)/2 - 37/(-50). Let d(i) = -8*i - 64. Let b be d(-8). Suppose b*q - 11*q = 0. Is q bigger than y?
False
Suppose -86 = 3*y + 1. Suppose -81*p + 78*p + 36 = 0. Suppose 99 = -3*t + 3*g, -g = -4*g + p. Is y at least as big as t?
True
Suppose -91*l - 2*a + 46 = -76*l, 0 = 4*a - 32. Which is greater: 294/157 or l?
l
Suppose 0 = -51*i + 47*i + 16, -2*z = -3*i - 8. Which is smaller: 34 or z?
z
Let o = 1.5 - -5. Let c = -72.1 + 79. Let w = c - o. Which is bigger: w or 2?
2
Suppose -44*l - 389 + 433 = 0. Are -1/89 and l nonequal?
True
Suppose -3*q - 1132 - 490 = 2*u, -4*q - 2162 = 2*u. Let w = 568 + q. Is w less than or equal to 29?
True
Let b(i) = -i**2 - 9*i + 30. Let n be b(-11). Suppose 21 - 9 = 3*q + 4*f, -n = -2*q - 3*f. Suppose o = -o - q. Which is greater: o or -3/14?
-3/14
Let h(f) = 141*f**2 + 2679*f. Let a be h(-19). Which is smaller: a or -28/2025?
-28/2025
Suppose -8*o = -1028 + 1036. Which is smaller: o or 3/1009?
o
Suppose 0 = 2*t + 3 + 1. Let b be -1 - 1/(-4)*t*-2. Let q be 550/270 + (-1 - 1). Are b and q equal?
False
Let i(b) = b - 4. Let o be i(0). Let f be 4/(-50)*o/(-24). Which is smaller: f or -1?
-1
Suppose 0 = -9*r - 3109 + 7690. Let a = r - 409. Which is bigger: a or 101?
101
Let p = 3174/19 - 58903/57. Let d = p + 877. Is d < 11?
True
Let z = -7 - -9. Suppose 3*k + 15 = 