e
Suppose -15 = -3*g - 3. Suppose n + 3*n - 2 = -3*a, g = 5*n + 3*a. Suppose 5*x = 2*c - 3*c + 11, -n*c + x = 22. Is 1 < c?
False
Suppose 2*h + 5 = 31. Suppose -4*v - 43 = h. Let x = 2094.8 - 2095. Is x equal to v?
False
Suppose -35 = 5*m - 110. Suppose 5*a - 4392 = -532. Let f = a - 754. Is f >= m?
True
Let d be (10/(-5835))/((-10)/105*-7). Which is smaller: -1 or d?
-1
Let g = 244964279/9832 + -24915. Which is smaller: 0 or g?
g
Suppose -5*r - 36 = 4*f, 5*r + 34 + 3 = -3*f. Let t be 4 + 3 + r - 0 - -3. Let x be t + (1 - 6) + (-7 - 33). Are -43 and x equal?
True
Let w be -1*(7 - 1)*-1. Suppose w*o = 5*o. Let y be o/(-2)*((0 - 0) + -1). Is y <= -1/3?
False
Suppose 0 = -2*h - 4*o - 26, 385*o - 382*o + 2 = 2*h. Which is greater: 70/9 or h?
70/9
Suppose -4*f = -2*f - 3*b - 37, 0 = -4*f - 2*b + 34. Suppose -5*l - 6*o = -f*o, 2*o = 3*l. Which is smaller: -2/47 or l?
-2/47
Let u be (0 - 100)*((-3 - 0) + 253/(-46)). Which is smaller: u or 852?
u
Let l = 13452.941 - 13479. Let p = 0.059 + l. Let y = p - -36. Is y less than or equal to 0.1?
False
Suppose -2*j + 3 = -7*j + 3*n, n - 1 = 0. Let o(d) = d**3 - 3*d + 24. Let u be o(j). Let q be 1 - 1/(2/(-44)). Is u less than q?
False
Let b be 90 - (-4 + 3)/(-1). Suppose 3*j = -s - 2*j - b, -j = -2*s - 145. Which is greater: s or -72?
-72
Let g(u) = -23*u + 55. Suppose -4*a + 5*p = -3, -2*a - p - 4*p = -9. Let q be g(a). Do 6 and q have the same value?
False
Let b be 0 - ((-30)/105 - 32/(-14)). Let d(w) = 47*w**3 + 2*w**2 + 2*w + 5. Let z be d(b). Are -368 and z nonequal?
True
Let n(x) = 4*x**2 + 3*x - 2. Let s be n(-3). Suppose 22*b = 46*b + 218*b - 5808. Which is smaller: b or s?
b
Let u = 11780 + -11779. Which is smaller: u or 51/80?
51/80
Let g(u) = -u**3 + 5*u**2 + 5*u + 5. Let d be g(6). Let i be ((-84)/1)/(0 - (-25)/(-60)). Let j = i + -73574/365. Is j bigger than d?
True
Let w = -20160 - -20369. Is 210 not equal to w?
True
Let d = 1/1043780 + -5669812977/17744260. Is d greater than or equal to -320?
True
Suppose -15*q - 200 = -20*q - 3*f, -205 = -5*q - 2*f. Suppose -3*x = u - 3 + 20, -q = 3*u + x. Let p = -34 - -21. Does u = p?
False
Let q = 47546/3 + -15849. Which is bigger: 20330 or q?
20330
Let i = -6863 + 10340. Is i != 2?
True
Let q be (-7)/60 - 82/(-1230). Which is smaller: q or -3/16?
-3/16
Let x(u) = 16*u + 39. Let y be x(-15). Suppose -4*w - 818 = 3*s - s, 4*w + 4*s = -828. Which is smaller: w or y?
w
Suppose 4*d = -3*q + 336, -4*d = 4*q - 31 - 301. Let s = d + -87. Which is smaller: s or 2/209?
s
Let k = -1.8 - 5.2. Let h(w) = -w**3 - w**2 - 3*w - 6. Let q be h(-2). Let f be 39*(-2)/(-21) - q. Which is greater: f or k?
f
Let q = -146 + 147. Which is smaller: q or -58/181?
-58/181
Let v(p) = -p**2 - 21*p + 47. Let n be v(-26). Let q = 61 + n. Do -27 and q have different values?
True
Let w = -299 - -301. Let g be (-4)/208*(w + 0 + 0). Which is smaller: -1 or g?
-1
Suppose -3*i = -5*p + 1672, p = 2*i + 343 + 774. Let x = i + 562. Which is smaller: -47/2 or x?
-47/2
Let j(r) = -r**2 - 3*r. Let x(c) = -74 + c + 74. Let f be x(-3). Let z be j(f). Which is smaller: z or 2/113?
z
Let c = 79/6 + -25/2. Let m = -17.067 + 2.067. Is c at least m?
True
Suppose 3*d + 8*d = -12 + 23. Is 960/19 greater than or equal to d?
True
Let l = 144795325/3197 + -45291. Which is greater: l or -1?
l
Let p = 138 + 79. Let f = p + -216. Is f equal to -4/37?
False
Let y = -7 + 16. Let g be ((-68)/8)/((-2)/191). Let n = g + -804. Is y smaller than n?
False
Let s = -2609 + 5662. Let d = s + -3115.63. Let u = d + 63. Is -1 bigger than u?
False
Let c = 198 + -198.2. Let i be (11/(-2))/(7/1540*10). Is i at most c?
True
Let k = 162.96682 - -3.01218. Let i = 166 - k. Which is smaller: -1/2 or i?
-1/2
Suppose o - 4*m + 4775 = 4*o, m = 4*o - 6373. Let b be o/(-477) + (2 + -2 - -3). Is b > -1?
True
Let w = 166 + -27. Let u = w - 140. Which is smaller: u or 2/29?
u
Suppose -2*n + 2*v + 28 = 0, -2*n = 78*v - 83*v - 40. Is n equal to 14?
False
Let m = -202 + 400. Which is greater: m or 197?
m
Let j = 0.12 + -12.12. Let k = 15480 + -6238444/403. Let w = 842/3627 + k. Is j greater than w?
False
Suppose 3*d - j = 4*j - 10801, 20 = -5*j. Let z be 26980/(-228)*(-426)/14. Let f = d + z. Which is bigger: f or -7?
f
Let l be 6 + (-28 - -36 - (-238)/(-18)). Which is smaller: -2 or l?
-2
Let d = 52 - 94. Let o = d - -38. Let c be (-3)/((o/(-18))/(5 + -3)). Is c less than or equal to -29?
False
Let j = -11501 + 11523. Is j < 436/19?
True
Suppose 8*n - 837 = 3*g + 5*n, 271 = -g - n. Let o be (-20)/(-4) + 1145/g - 1. Is 1 at least o?
True
Let f(x) = -3*x - 2. Let v be f(5). Let d = v - -17. Let r be ((-2)/2)/(1 - -16). Is d >= r?
True
Suppose 23275 + 4617 = 19*h. Which is bigger: h or 1467?
h
Let b(k) = k - 7 + 12 + 2*k + k**2 - 2*k**2. Let y be b(4). Which is smaller: 2/641 or y?
2/641
Let d(h) be the third derivative of 9*h**2 + 0*h + 0 + 1/3*h**3 + 1/8*h**4. Let l be d(-2). Is l bigger than -5?
True
Let c = -28 + 43. Let l = -43.8 + -0.2. Let z = l + c. Are -1 and z equal?
False
Suppose 6*d = 2*a + 8*d + 714, -3*a - 1071 = -4*d. Let w = a + 358. Let f = -72/17 + 6010/1411. Which is smaller: w or f?
f
Let s = 87222 - 608199007/6973. Do s and -1 have different values?
True
Let c be (5 + 64 + -6)*2/6. Suppose -d - c = -4*b, 3*b - d = 4*d + 37. Suppose b + 1 = 2*a + 3*u, -u = a - 2. Is 1 greater than a?
False
Let h = -262 - -271. Suppose 0 = 82*l - 79*l - h. Are l and 20 unequal?
True
Let m(z) = 49*z + 1111. Let v be m(-79). Is -2754 less than or equal to v?
False
Let v(s) = -2*s - 2 + 0*s + s. Let g be v(-2). Let r be (2/128*316 - 5)*((-6336)/242)/24. Which is smaller: g or r?
g
Let s = -404 - -405. Let d be ((-4606)/490)/((0 - s)/1). Is d bigger than 8?
True
Let h(r) = -5*r - 2. Let z be h(2). Let a = -495 - -506. Let v = a - z. Which is smaller: 22 or v?
22
Let z(x) = -x**3 + 41*x**2 - 39*x - 70. Let h be z(40). Suppose -2*n - 2*l + 77 = -5*n, -97 = 3*n + 2*l. Which is greater: n or h?
n
Let g = -766 - -765. Let m = 99.4 + -4.4. Which is greater: m or g?
m
Let o = 1/71627 + -143293/2793453. Let c = -2 - -2. Let f = 1 + c. Which is greater: f or o?
f
Suppose j + 4*j - 5 = 0. Let c = 14925 - 134305/9. Which is smaller: j or c?
j
Suppose 3*w + w - 21 = -v, 5*w + 2*v - 30 = 0. Suppose -505 = -w*p - p. Suppose -5*i - 3*m = -2*m - 498, i - 171 = 10*m. Is p at most i?
True
Let i(r) = -2*r**3 - r**2 + 13*r + 30. Let g be i(-7). Suppose -5*x + 3*j + 307 + 265 = 0, 5*x + j = g. Which is bigger: x or 2/7?
x
Let m be 7*((-42)/(-6))/7. Suppose 88*q = 81*q - m. Does q = -16/9?
False
Let u be 50600/6923 - (-8)/(-344). Which is bigger: u or -49?
u
Suppose 144 = -5*h - 176. Let u be ((-24)/(-90))/(5 - (-99)/(-20))*-12. Is h greater than u?
False
Let q = 18621 - 18607. Let o be (-34)/28*24/(-2). Which is smaller: q or o?
q
Let c = -3139 - -3144. Which is greater: c or 65/11?
65/11
Let a be ((-18)/(-3))/(-1 + (-25)/(-10)). Suppose -d - 93 = -o, o - 461 = -4*o + a*d. Which is smaller: 0.1 or o?
0.1
Suppose -2*o - c + 1316 = 0, 2*o + c - 2636 = -2*o. Let m be o/(-696)*(-2)/3. Let h = m - -1/29. Which is smaller: h or 1?
h
Suppose 3 = 3*o - 0. Let x be (-3 - (-3 - -3)) + o. Let n = -0.045 + -0.555. Is n equal to x?
False
Let f(c) = 22*c - 964. Let s be f(44). Which is bigger: 249/71 or s?
s
Suppose n + 3 = 4*o - 3*o, o - 3 = 2*n. Suppose -5*w = -i - 50, -5*i + 6 = o*w + 4. Let q be ((-30)/w)/(5/15). Is q bigger than -10?
False
Suppose -4*d = -8 - 56. Let a be 30/4*8/(d/(-4)). Let b be (15/((-150)/136))/(2/a). Are b and 101 non-equal?
True
Let c(u) = -u**2 + 1202*u - 7175. Let s be c(6). Is 19/728 at most s?
True
Let v = 1 + 4. Suppose 0 = -4*k - v*x - 44, 0 = 3*k - 0*k + 3*x + 30. Let h(q) = -17*q + 214. Let d be h(13). Which is bigger: k or d?
k
Suppose -65 = 4*z - 3*f, -53 + 13 = 3*z - 4*f. Let s be (-5)/(((-2)/(-4))/1). Let l be 41/s + z/(-5). Is -1/4 less than l?
True
Let a = 3567.4532 + -3567. Is a >= -0.3?
True
Suppose -184*l - 90712 = -0*l. Which is smaller: l or -4442/9?
-4442/9
Let z = 628 - 654. Which is smaller: -67 or z?
-67
Let f be 376/(-10904) + 4554/(-10904). Which is greater: 1 or f?
1
Let z = -62563/17190 + -299/382. Which is greater: -3 or z?
-3
Let d(l) = 12*l - 1. Let k(m) = m**2 + 12*m - 30. Let g be k(-14). Let a be d(g). Let r be 1/4*(a 