4*h = -z. Suppose -p - 5*c = p + 2, 0 = -p - x*c - 1. Is p greater than 0.1?
False
Suppose -19*a + 13 = -7*a + 157. Let l(t) = -2*t - 1. Let n be l(-1). Let w be ((-30)/24)/((n + -2)/a). Which is bigger: w or -16?
w
Let n(z) = 5*z**3 - 12*z**2 + 47*z - 7. Let p be n(4). Let g = -550 + p. Is -242 bigger than g?
False
Let q = 967 - 493. Let k = 515 - q. Is k greater than or equal to 161/4?
True
Suppose -7*t - 3*t = -10. Let n be 48/(-6)*t/(-8). Let i be n/(-1) + (-1955)/(-1938). Is i less than or equal to 1?
True
Let m(t) = 8*t**2 + 453*t + 282. Let q be m(-53). Is -1257 greater than q?
False
Suppose -11*o + 574 = -15*o + 3*y, -2*o - 5*y - 248 = 0. Which is bigger: o or -696/5?
o
Let f = -11384 - -11384. Which is greater: f or 9/142?
9/142
Let t be (130/455)/((-2)/(-28)). Which is bigger: 85/23 or t?
t
Let o = -5144 - -5160.99. Are o and 0.1 unequal?
True
Let z be (-85566)/126 - 5*10/(-525). Which is smaller: z or -2?
z
Let i = 8843038/621 + -14240. Which is bigger: i or -1?
i
Suppose -18*i = -162 - 0. Let k be -12 + i - ((3 - 5) + 0). Which is smaller: k or 2/15?
k
Let a = -3450.1 + 3450. Does -0.0279 = a?
False
Let l = -1814 - -1803. Let w = -0.17 - -0.14. Which is bigger: w or l?
w
Let h(z) = 4*z + 7. Let c be h(-2). Let q(p) = -4*p**3 - p**2 + 1. Let i be q(c). Suppose 0 = -i*g - 3*w - 35, 3*w = -2*g - 12 - 13. Is -9 at least g?
False
Let a be (14/(-120))/(2/3). Let n be 2/(-5) + (-8)/55 - 5049/(-3267). Is n at most a?
False
Let r = 14.3 + -14.28. Let l = -9 + 8.8. Let w = 0.4 + l. Is w not equal to r?
True
Let d = 0.074 - 84.074. Let y = -84.1 - d. Let z = -1001/452 - 4/113. Which is smaller: z or y?
z
Let z = -140/74705843 + 8533798521876/354479225035. Let y = 313/13 - z. Is -1 bigger than y?
False
Let n = -2665 - -2605. Which is bigger: n or 9?
9
Let w be (15/10)/((3/4)/1). Suppose 2*k - w*q + 4 = 0, -3*k - 5*q - 3 = -13. Suppose 2 = 4*v - 2*h, v + h + k + 4 = 0. Is v at least -3/22?
False
Let m = 0.2634 + -0.4734. Is 171 smaller than m?
False
Let p be -3 - (50/(-13) - (-70)/(-455)). Let h be ((-4)/(-10))/(p/(-5)). Is -39/22 smaller than h?
False
Suppose 0 = -8*a + 10960 + 1560. Which is smaller: a or 1564?
1564
Suppose -9*v + 5*v + 4 = 0. Suppose 5*m = 18*m + 16900. Let d be ((-40)/m)/(v/(-5)). Which is greater: d or 0?
0
Let j(g) = 2*g**2 - g - 4. Let w be j(2). Let b be ((-38)/25251)/(w/(-6)). Is 0 smaller than b?
True
Let s = 38090252819/291 - 130894495. Let r = 89/97 - s. Let z = r - 16427/105. Does -1 = z?
False
Suppose 3*z = 2*z + 73. Suppose -19 = -2*m + 3*u, 22*m - 27*m - 2*u + 19 = 0. Suppose m*t - z - 57 = 0. Which is smaller: 25 or t?
25
Let r = -79 + 74. Let l be 2/r - (-118720)/(-325). Let s = l + 365. Which is smaller: -1 or s?
-1
Let w(v) = 8*v + 47. Let l be w(-6). Let g be 71474/143 - (-4)/22*1. Let y be (2*1)/(g/(-30)). Which is smaller: l or y?
l
Let h(s) = -s**3 + 26*s**2 + 42*s + 39. Let p be h(-10). Are 3219 and p nonequal?
False
Let c = -36 + 38. Suppose 0*k - 2*d = -2*k, -d = -c. Let h be (4 - (-2 - -18)) + k. Which is smaller: h or -9?
h
Suppose 17*d + 126 = 466. Suppose -2*m + d = -2*r, r - 2 = -0*r - 2*m. Let f = 0.4 + -0.4. Which is smaller: f or r?
r
Let y be 2*(-2)/20 - 4*(-18)/120. Are 6148 and y nonequal?
True
Suppose -6*c + 3*b = -2*c + 10, -4*c - b = 2. Suppose 10*f - 3*f + 140 = 0. Let x be 8/f - (1435/(-425) + 3). Is x less than or equal to c?
False
Let g = -0.9453 - 2.0547. Which is smaller: -5058 or g?
-5058
Suppose 0 = 2*u - k - 764, -5*u - 23*k + 19*k = -1884. Which is greater: 6 or u?
u
Let k be (-45)/3*2600/(-1250). Which is smaller: k or 2/29?
2/29
Let w = 14855 - 15195. Which is greater: -329 or w?
-329
Suppose -32*o + 1120 = 3744. Which is smaller: o or -94?
-94
Let a = 23 + -22. Let o(j) = 2*j**3 + 8*j**2 - 20*j + 61. Let z be o(-7). Are a and z unequal?
True
Let k(r) = -r**3 - 7*r**2 - 14*r. Let a be k(-6). Suppose -2*q - q = -a. Suppose -9 = -s - q. Is -7 <= s?
True
Let b = -0.0993 - -660.0993. Let a = b - 649. Which is smaller: 5 or a?
5
Suppose 3*b - 6*o = -4*o + 46, 5*b = o + 65. Let s be ((-5)/1)/(464/(-96) - -4). Suppose -6*y + b = s. Which is greater: -0.054 or y?
y
Suppose -28*m - 110*m = 8960 + 194038. Which is smaller: -1467 or m?
m
Let s = -775 - -775.2244. Let u = s - -0.0756. Which is smaller: u or 19/3?
u
Let b = 0 - 1. Let v(c) be the second derivative of -c**5/10 + c**4/3 + c**3/2 + 31*c - 2. Let d be v(-1). Which is smaller: b or d?
b
Let v = 272 - 272.1496. Let s = -70.8496 - v. Let n = s - -71. Is n >= 5?
False
Let o be 12*1 - (-1 - 1). Let r be 126/24 + -4 + 559/4. Suppose -r*h + 136*h = -70. Do o and h have the same value?
True
Let s be (-2)/(3/(3*-13)). Suppose 3*v = h - 52, 2*v + 19 - 5 = 0. Which is smaller: s or h?
s
Let l = 547 + -544. Let w be -6*(60/(-56))/l. Suppose -2*n = b - 7, -3*n + 19 = 5*b - 9. Is w > n?
True
Let r be -1*1*(7 + -6). Suppose 4*s + 20 = 4. Let i be (4/s - 0)*4/6. Is r at least as big as i?
False
Let l = -36/5 + 274/45. Let o = l - 2/63. Let x be ((-8)/(-12))/(4/(-6)). Is o >= x?
False
Let d = -186 - -202. Let y be 10/27*(-6)/8. Let p = 151/9 + y. Which is bigger: d or p?
p
Let a = -11840 - -11761. Which is greater: a or -12.4?
-12.4
Suppose 5*v - 3020 = -3325. Is v greater than -60?
False
Let s = -97 + -164. Let m be (1/(-21))/(29/s). Which is bigger: 0.2 or m?
m
Suppose -5*m - 3*r - 14623 = 6331, 2*m - 5*r = -8363. Is m greater than 0?
False
Suppose -5*f + 10 = 0, -37 - 2 = -q + f. Suppose -214*x - 6600 = -364*x. Is x smaller than q?
False
Let p be (-15)/20 + (-3)/(-24). Suppose 5*h = 0, h + 35 = 5*v - 0*v. Suppose 0 = 4*f - v*f. Which is greater: f or p?
f
Let g = -6259.694 + 6252. Let u = 88 - 88.094. Let r = u - g. Is -1 less than r?
True
Let h = 153/10 - -9141/130. Which is smaller: 86 or h?
h
Let h = 3/72253 - -202110/352811399. Is h not equal to 1?
True
Let c be (-1 + -65)*(-3)/6. Let i be 4/20 + c/(-15). Let t be 9/(-27) - (-5)/(-3). Is i <= t?
True
Suppose 585 = -3*t - 5*g, 5*t + 50*g = 48*g - 975. Which is smaller: -190 or t?
t
Let b = -2899 - -1051. Let z = 14171/387 + -21147193/11223. Let i = b - z. Which is smaller: -1 or i?
-1
Let n = -5097.4 + 5096. Which is bigger: 0.3 or n?
0.3
Let u be -2 + ((-7)/6 - 1). Let k = 32075.1 - 32075. Is k > u?
True
Let g be (-18 - (-999)/54)/((34/(-9))/(-2)). Are 2/3 and g non-equal?
True
Let n(t) = 2*t**3 + 4*t**2 - t + 13. Let p be n(4). Let r be (4/(-6))/(134/p). Which is smaller: r or 3/200?
r
Let o = -3744 + 26668511/7123. Which is smaller: 0 or o?
o
Let k = -363.78 - 0.22. Let n = k + 366.7. Is n >= 0?
True
Let o = -107 + 63. Let w be 3 - o/(-16) - (-1861)/(-4). Which is bigger: w or 0.1?
0.1
Let g(j) = -4*j + 5. Let c be g(-17). Let v(l) = -l**2 + 9*l - 9. Let k be v(7). Suppose -t = -k*t + 296. Is t less than c?
False
Let w = -0.43 + -18.27. Let c = -18.66 - w. Is 12/5 at most c?
False
Let r be ((-55024)/228)/(4/3). Which is smaller: r or -237?
-237
Let i = 3633 + -3632. Which is smaller: -4698 or i?
-4698
Let v = -7 - -67. Let a = -53 + v. Let z be (-297)/6 + (35/10)/a. Is -50 at least z?
False
Suppose 70 - 25 = 5*g + 5*b, 4*g = -b + 36. Suppose q = -4*s + g, 4*s = -4*q + 6 + 6. Suppose -f - 15 = 3*z, -25 = -f + s*z + 3*z. Which is smaller: f or 2/7?
f
Let m = -1471/15 + 98. Let y be -4*2/16*3/(-3)*2. Which is bigger: y or m?
y
Suppose 4*w + 0*w + 72 = 0. Let t = 18 + 10. Let h = 11 - t. Are w and h equal?
False
Let z = 507 - 458. Suppose -z + 203 = -2*f. Which is smaller: -76 or f?
f
Suppose 0*r - 110 = 2*r. Let s be (-4)/6*(24/(-156) - (-6798)/78). Is s less than or equal to r?
True
Let y(g) = -7*g + 109. Let z be y(16). Let h be (-1 + z)*51/(-34). Is h >= 0?
True
Let m = -3587189/116 + 30924. Which is smaller: -1 or m?
-1
Suppose 6 - 16 = 5*l. Let u be (-508)/(-20) + l/5. Let p(t) = -2*t**3 - 166*t**2 - 3*t - 223. Let c be p(-83). Is c <= u?
False
Let z be (1 + 0)/(-3) + ((-278683)/(-4515) - 62). Which is smaller: -2 or z?
-2
Let a be 7/6 + -1 + 279/(-54). Let b be 1/a + 88/24. Let h = b + -9011/2595. Is h at most 1?
True
Suppose -252 - 534 = -6*x. Suppose -237 - x = 2*b. Are -184 and b equal?
True
Let y(r) = 13*r**2 + 2*r - 4. Let m be y(4). Let h = -317 + m. Let i(t) = 110*t**2 + 3639*t + 192. Let c be i(-33). Is c less than or equal to h?
True
Let b = -355/3 + 323/3. Let k = -