 q or 4?
q
Let g = 4649 + -5713. Is g at most -1063?
True
Suppose g + 8 = -3*g. Let t = -2 + g. Let d(a) = -2*a**2 - 7*a - 9. Let b be d(t). Which is greater: -14 or b?
b
Suppose 12*t - 1344 = 15*t. Let j be (-35)/117 + t/(-72) + -6. Is -1 < j?
True
Let f = 0.0462 - 306.0462. Let w = f - -305. Which is smaller: 3 or w?
w
Suppose 0 = 3*x - 5*r - 54006, x - 18002 = -11*r + 7*r. Is x bigger than 18002?
False
Let l = 4 - -5. Let x(n) be the second derivative of -n**5/20 + 5*n**4/6 - 7*n**3/6 - 9*n**2 - 134*n. Let i be x(l). Is -9/14 less than or equal to i?
True
Let f be ((6 - 6) + 394)*(-2 + -1 + 1). Which is bigger: f or -789?
f
Suppose 5*o = -3*z + 10069, -3*o + 1496 = -2*z + 8177. Is z greater than 0?
True
Suppose -d - 46 + 28 = 0. Let b be d/12 + 3 + 3/(-2). Which is bigger: b or -2/43?
b
Let h = -1125/14473 + -7/353. Which is greater: -3/7 or h?
h
Let d = 55 + -55. Suppose 2*h = -p - 31, 4*p - 3*h + d*h = -124. Are -29 and p unequal?
True
Let a = -55341035/1723 + 32119. Let z be 1/19 - 90/(-95). Which is bigger: a or z?
z
Let o be 22/(2*5/11). Let k(b) = 2*b**3 + 85*b**2 + 36*b - 228. Let g be k(-42). Is g greater than or equal to o?
False
Let z = -35.5 + 63.6. Let v = -67.1 + z. Is 3 less than or equal to v?
False
Let i(n) = -n**2 + 72 + 14*n**2 - n**3 + 15*n**2 + 27*n - 9*n. Let c be i(29). Is -249 >= c?
False
Suppose 172 = 94*h - 98*h. Let m = -40 - h. Suppose 3*v + v + m*p - 1 = 0, -4 = -5*v - p. Which is smaller: 2/17 or v?
2/17
Suppose 14*d - 13*d + 740 = -3*o, -2244 = 3*d + o. Let g = -693 - d. Do 55 and g have the same value?
False
Let k(m) = -m**3 + 8*m**2 - 13*m. Let d be k(6). Let j be (1/26*1)/(d/192). Is -2 < j?
True
Let u = 1.47 + -10.67. Let a = 9 + u. Which is bigger: a or -2/25?
-2/25
Let c = 971/876 + -14/73. Let v(k) = 2*k**2 + 4*k - 4. Let i be v(-3). Which is smaller: i or c?
c
Let b = 640 + -588. Is 19 greater than or equal to b?
False
Let c = -10 + 11. Let l be -68 + 10 - (0 + c). Let d = -4 + l. Which is smaller: -64 or d?
-64
Let f = -96213 + 578143915/6009. Which is greater: f or 1?
1
Let q = 0.02 + -8.42. Let m = 83 + -75. Let t = m + q. Do t and 0 have different values?
True
Let j be (-66)/4*(-11036)/(-930). Let y = j + 196. Do y and 2/205 have the same value?
False
Suppose 3*x - 1022 = 3*u + 7*x, 5*u - x = -1665. Let j = 326 + u. Are j and 1 equal?
False
Let f = -683 - -708. Let d be (-100)/(-5 - -1) - 1. Which is bigger: d or f?
f
Let z = 2651 + -2960. Are z and -1 unequal?
True
Let y(v) = -4*v**3 - 64*v**2 + 2*v + 31. Let r be y(-16). Let n be (-178640)/1470 - r/(-7). Which is smaller: -122 or n?
-122
Let z(r) be the first derivative of -r**5/60 + 7*r**4/8 + 8*r**3/3 - 3. Let s(v) be the third derivative of z(v). Let d be s(10). Which is smaller: d or -1/17?
-1/17
Suppose 3*s + 38 = 5*w - 26, 3*s = -3*w + 48. Suppose -w*y + 24 = -26*y. Suppose 4*a = 0, 48 = -2*j - 3*a - 0*a. Which is bigger: y or j?
y
Suppose 106 = 2*v - 24. Let x = v + -60. Let l be 220/(-50)*x/(-6) + -3. Are 2 and l nonequal?
True
Let r be 2 + -2 + -20 + 40. Let y(p) = -2*p**3 + 39*p**2 + 22*p - 39. Let b be y(r). Does -9/115 = b?
False
Suppose -4*v + 2 + 2 = 0. Suppose 5 = 3*t - v. Suppose -t*c + 17*c = 30. Is c at most as big as 2?
True
Suppose -2828 = 2*g - 4*h + 5362, 2*g = h - 8208. Which is smaller: g or -4104?
g
Let m(c) = -5*c**2 + 91*c - 2888. Let k be m(24). Which is smaller: -1 or k?
k
Let k = -13.7 - 14.7. Let a = -27.4 - k. Is -1.16 < a?
True
Let z be (-116)/(-36) - 192/64. Let m(o) = -o**2 + 7*o - 4. Let a be m(6). Let h be -11 - 1 - (a + -3). Which is bigger: z or h?
z
Suppose 10 - 3 = -16*x - 9. Is -3/845 at most x?
False
Let b = -2/7617 - -121886/53319. Is b greater than or equal to 50?
False
Let r = -2391.823 - -2393. Let c = 0.323 + r. Is c bigger than 5?
False
Suppose -3*b = -u - 158, -2*u + 265 = 5*b - 4*u. Suppose -b*a + 50*a + 2 = 0. Suppose -4*c + 2 = -7*c - s, -27 = -2*c + 5*s. Is a at most as big as c?
False
Let k = 837 - 1000. Let t = -163.1 - k. Let v = 463/88 + -62/11. Which is smaller: v or t?
v
Let h(k) = 14 + 5 - 191*k + k**3 + 93*k - 9*k**2 + 95*k. Let a be h(4). Is a > -73?
False
Let q = 4 + -214. Let r = q + 209.8. Are r and 13 equal?
False
Let y = -0.3 + 0.2. Let g = -222 + 224.11. Let h = -8.89 - g. Which is smaller: y or h?
h
Let v be 10/8*54/(-270)*(6 - 0). Are -205 and v equal?
False
Let p be ((-15)/10)/((-4)/8). Let f be (-1037)/34*(p + -1). Let w = 365/6 + f. Is 0 >= w?
True
Suppose 34*s = 39*s + 15. Let h be ((-19)/(209/(-66)))/(s/(-22)). Are h and 44 equal?
True
Let g(q) = -2*q**3 + 23*q**2 + 24*q - 161. Let h be g(12). Let x be (-9 + 1)/((-42)/(-87)). Is x >= h?
True
Suppose 47854 = 194*u + 2652. Is u < -47/3?
False
Let f(r) = -r**3 + 4*r**2 + 6*r - 3. Let v be f(5). Let c = -203 + 1468. Let z = c - 13905/11. Does v = z?
False
Let a(m) = 87*m - 16. Let w be a(-4). Let h be 2 - (2 - -3) - w. Suppose 0 = -6*t - 65 - h. Are t and -71 nonequal?
False
Suppose -72*j - 171*j + 4131 = 0. Does 83 = j?
False
Let d be 19536/(-320) + (-7)/(-140). Let a be (62 - (-6)/(-6))*(2 - 3). Is d less than a?
False
Let q be 4/(-10) + (-308)/(-70). Suppose -r + 3*i = q*r - 161, 4*r - 116 = -4*i. Suppose -o + 4*f = -42, -o = -3*o + 4*f + 72. Is r equal to o?
False
Let a be (-15)/(-7) - 73647/(-4116). Is 19 > a?
False
Let d = 48.95 - 48.85. Which is bigger: -4.415 or d?
d
Let o = -0.09453 - -0.09453. Which is smaller: 0.05897 or o?
o
Let g = 14157 - 9994. Which is smaller: 2 or g?
2
Let g = 2113/1926 - -3/214. Let r(t) = 20 - 1 - 5 - t. Let q be r(14). Which is greater: q or g?
g
Let o be (4/6*304)/(-19*(-5)/(-285)). Which is smaller: o or -1213/2?
o
Let v be 1*(0 + 18 + -3 + 2). Suppose v*y - 25 = 12*y. Which is smaller: y or 2/7?
2/7
Let q be (-82)/14 - -4 - -1. Suppose -3*r - s - 1 = 3, 5*r - 2*s = -14. Let z be (-31 - -31)/(r - (1 - 0)). Is q equal to z?
False
Suppose -10*r - 22*r + 23*r = 33*r. Is -2/12979 > r?
False
Let w be (-4)/1 - (-7 + -330 - -4). Let i = 21383/65 - w. Suppose m - 1 = -x, 4*m = -3*x + 3*m - 1. Which is bigger: x or i?
i
Suppose 23*f - 73*f + 12900 = 0. Is 258 >= f?
True
Suppose 276 = 6*v + 40*v. Let l be (-177)/(-15) + v/5 + -2. Is l bigger than 12?
False
Let n be 8/48*-9*(2 - (-6)/(-5)). Is -144 at least n?
False
Let d(p) = -p**3 - 11*p**2 - 10*p - 13. Let i be d(-10). Suppose -32*f + 42 = -35*f. Which is smaller: i or f?
f
Let u = 447 - 446. Suppose 2*n = -a + u, 0 = 4*a + 5*n + 2 - 6. Which is smaller: 5/87 or a?
5/87
Let x = -114.94 + 114.84. Which is bigger: x or 230?
230
Suppose -53 = -3*s + 1227 + 1552. Which is smaller: 939 or s?
939
Let x = -2/9697 + -28301/3830315. Let a = 16 + -17. Is x equal to a?
False
Let j = 37 + -34. Suppose 0 = j*v - 2 - 13, 0 = -2*i + 4*v - 24. Let q be 4/(-10) - (-80)/(-50). Is i <= q?
True
Let u = 14 + 45. Let a = u + 31. Let l = 89 - a. Which is greater: l or -16/7?
l
Let r = 34/9 - 253/36. Let q = -53383 - -53380. Which is smaller: q or r?
r
Let k be 74060/392 - 12/8. Is 186 < k?
True
Suppose -5*f = -2*f + 6. Suppose 0 = 67*h - 72*h + 105. Let w be (4 + h/(-6))*20/(-7). Is f less than or equal to w?
True
Let n(l) = -3*l - 2*l + 4*l + 36 - 6*l. Suppose -2*d = 2, 2 = 2*h - h + 4*d. Let j be n(h). Which is bigger: -8 or j?
j
Let a be 6500/1650*(-3)/4 + 5. Is a less than 3?
True
Let d(n) = 6*n**2 - 144*n + 264. Let w be d(22). Is w at most -4/1947?
False
Suppose -78*q + 259 = 25. Which is smaller: q or -5?
-5
Let i = -3644.033 + 3646. Let w = -897.033 + 897. Let d = i - w. Which is greater: d or -4/9?
d
Let n = -11404 + 11781. Which is bigger: n or 379?
379
Let p = 1994 + 1365. Are p and 3358 equal?
False
Suppose 2*u + 2*s = 62 - 22, -150 = -5*u + 5*s. Suppose -4*m - 4*f + 22 = -6*f, -9 = 3*f. Which is bigger: u or m?
u
Let q = 425 - 250. Let l = 176 - q. Which is smaller: l or 3/82?
3/82
Let j = 235 - 231. Let b be (-9 + 67/j)*2*-2. Is b greater than or equal to -31?
True
Let x = 21565 - 21611. Is -22 less than or equal to x?
False
Let n = 19 - 16. Suppose -n*q + 163 = -8. Let y(z) = -20*z - 4. Let d be y(-3). Do d and q have different values?
True
Let o = -6472 - -8605. Is 2131 at least as big as o?
False
Let z(b) = 16*b - 77. Let n be z(5). Suppose 0 = w + n*w + 232. Is -56 less than w?
False
Let w = -21597 - -19037. Which is smaller: -2557 or w?
w
Let t 