 Let g = v + 304. Which is smaller: 11 or g?
g
Let f(p) = -6*p**2 + 13 - 5*p**2 + 0*p**2 + 45 - 15. Let a be f(-7). Is -497 less than a?
True
Let a = 117 - 729. Let k = a - -610. Is k smaller than -53?
False
Let i be (8/(-5) + 1)*-5. Suppose -d = -4*d - i. Let q be (4 + 2)*(-4)/(-20)*d. Which is smaller: 0 or q?
q
Let r = -1.0893 - -1.0893. Which is smaller: -0.1254 or r?
-0.1254
Let f(g) = 10 + g**3 - 7*g**2 - 8 - 44*g - 3*g**2 + 3*g**2. Let m be f(11). Is 26/25 greater than or equal to m?
False
Let y = 13.06 + -0.06. Let l = y - 24. Let c = l + 9. Is 3 bigger than c?
True
Let w = 701 - 697.37. Let t = w - 21.63. Is t >= 3?
False
Let d(l) be the second derivative of 0*l**3 - 5/6*l**4 - 16*l + 0 - 1/10*l**5 - 1/2*l**2. Let h be d(-5). Which is bigger: h or -4/23?
-4/23
Let i = 31.84 + -22.84. Which is smaller: i or -21?
-21
Let o = 570 - 571. Let v be o/(-4) + (-3)/12. Is v at least 16?
False
Let k = -181 + 361. Let c be (1/k)/(8/20). Which is bigger: c or 0?
c
Suppose -3*w - y = -11, 0 = -y + 13 - 11. Suppose -4*l + 87 = w*i, 4*i - 16 = 4. Let x be -4 - -20 - (-3 + 0). Which is bigger: x or l?
x
Suppose -7*f + 3*f = -244. Let r = f + -15. Let a(t) = 41*t + 5. Let n be a(1). Are r and n nonequal?
False
Let d = -0.753 + 0.86. Let c = d + -1.107. Let l = 22.11 + -22. Which is bigger: c or l?
l
Let h = 57 - 21. Suppose -3 = h*r - 3. Is r < -1/24?
False
Let y = 6746 - 6745.8. Which is greater: 0.3043 or y?
0.3043
Let s(b) = -162*b**3 - b**2 - 2*b - 1. Let r be s(-1). Suppose 5*j - 5 = -2*i, -2*i + j - 42 + 41 = 0. Suppose i*w - r = 6*w. Are -27 and w nonequal?
False
Let v = -218393/3 + 71992. Let x = -815 - v. Suppose 156*d - 100 = 166*d. Is d != x?
True
Let r = -11775.085 - -11747. Let x = r - -0.085. Is 2 greater than or equal to x?
True
Let i be ((14 + -10)/4)/(-1). Which is bigger: i or 1/649?
1/649
Let q(m) = m**2 - 10*m - 192. Let y be q(-10). Let b be y/(-10)*(5454/2732 - 2). Which is smaller: -1 or b?
-1
Let u be 2*(200/48 - 4). Are 157 and u nonequal?
True
Suppose -1179 = -1292*w + 1301*w. Which is smaller: 5 or w?
w
Let p = -375 - -354. Suppose -336 = 13*n - 17*n. Suppose -b + 3*b = -3*v - 63, 0 = -4*v - b - n. Is v >= p?
True
Let z(r) = 32*r - 45. Let w be z(-15). Let b = w - -293. Which is greater: b or -231?
-231
Suppose -748*o - 21672 + 657 = 22369. Let h be -3 + 2 - (-116)/(-2). Is o >= h?
True
Let h = -21 + 40. Suppose -17*p - 6 = -h*p. Let z be 98/(-170) + (1 - p/5). Is z greater than -1?
True
Let r = -3 + 6. Suppose r*b - f = 0, 0 = -2*b - 3*f + 5 + 6. Let c = 22041448/225 - 97962. Is b not equal to c?
True
Suppose 3 + 2 = 156*o + 5. Which is greater: -97/72 or o?
o
Let g be (-8 + 6 + 1)/((-2)/14). Suppose 3*b = -g*b + 1830. Are 184 and b unequal?
True
Let p = 2.9105 - 0.1105. Which is bigger: p or -3.4?
p
Let c be (-1)/16 - 5/(480/(-102)). Is c greater than or equal to -5/483?
True
Let s = -6/383 + 89263/1532. Is s greater than 4?
True
Suppose -33 = -19*h + 5. Suppose 5*j + 0 = 4*t + 8, -4 = 4*j + h*t. Are 1/207 and j non-equal?
True
Suppose 3*d + 2 - 8 = 0, 5*d - 1364 = -2*b. Let l = -568 + b. Is l at least 110?
False
Let b = -18 - -33. Let k(v) = -3*v + 39. Let j be k(b). Is -6 > j?
False
Let i be ((-12)/(-30))/((-86)/(-2)). Suppose 14*m = 13*m - 20. Let x be m/(-30) - 1/(-3). Are x and i equal?
False
Let y be 42/(18/6) + 13300/(-931). Let x = -0.482 - -322.482. Which is smaller: y or x?
y
Let o(d) = -56*d + 82*d - 32*d. Let h be o(2). Are h and -18 nonequal?
True
Let z = -85 + 160. Let d = -102 + 112. Let i = d + -10.1. Do i and z have the same value?
False
Let l(x) = 2*x**2 + 37*x + 75. Let r(u) = -u**2 - 19*u - 37. Let b(g) = 3*l(g) + 5*r(g). Let f be b(-13). Which is bigger: 0.04 or f?
f
Let w be 2 + 1 + 6 + -7. Suppose -k - 43 = -4*t - 127, 0 = 2*t - w*k + 42. Which is bigger: -20 or t?
-20
Suppose -4*v - 20336 = -5*s, -137*v - 3*s - 5084 = -136*v. Which is smaller: -5088 or v?
-5088
Let v = 1108 - 1107. Let l be (16/470)/4 - 0. Let j = -743/4465 + l. Does v = j?
False
Let s be 642/(-27) - 2/9. Let a = s + 24. Suppose r - 1 = -g, -r - 2 = 4*g - 0. Which is smaller: g or a?
g
Let f be (9 + (-162)/10)*-2*(-1)/(-6). Is f < -2/9?
False
Suppose 277*l - 272*l = -20. Which is smaller: l or -0.0114?
l
Let f = 37.4 - -3.6. Let g = -64 + f. Is g not equal to -3?
True
Let a(d) = 2904*d - 3283. Let r be a(3). Are r and 5429 unequal?
False
Let r be 1*(-6 + 10 - 6). Let d be -1*(-3)/r*4/33. Which is smaller: d or -0.23?
-0.23
Suppose 5*m - 20*w + 16*w = -284, -3*m = 2*w + 166. Is m smaller than -45?
True
Suppose -5*p + 145 = 165, -5 = 3*s + 2*p. Which is greater: -1/10165 or s?
s
Suppose -15*l = -273 + 288. Is 1/1170 less than l?
False
Let y(g) = -g**3 + 13*g**2 + 9*g + 60. Let t be y(14). Let c(q) = -q**2 + 7*q + 92. Let r be c(t). Which is greater: -80 or r?
r
Suppose -4*a = 54 - 82. Suppose -2 = -k, -33 = -2*r - k + 3. Let z = -9 + r. Which is smaller: z or a?
a
Let d = 28.87 - 29. Let g = 597 + -873. Let i = g + 276.2. Which is smaller: d or i?
d
Let s be -1 + 7049/49 + (2 - 1). Is 144 at least as big as s?
True
Let a(g) = 21*g + 84. Let j be a(-5). Let p be -17 - j - (-1962)/(-245) - -4. Which is bigger: p or 1?
1
Let n be 3/(3/((-2)/6 - (-196)/147)). Which is bigger: 41/308 or n?
n
Let v = -17000 - -16987. Is v != -43/3?
True
Let d be 3/2*(-120)/(-23130). Let t = -275/2313 + d. Which is smaller: t or 1/4?
t
Let n = 5828 - 2455. Which is bigger: 3374 or n?
3374
Let z = 5825 + -5831. Which is bigger: 0.143 or z?
0.143
Let i = 6041 + -5709. Is i != 0.04?
True
Suppose 3*o - m = 2*m - 21, 0 = 3*m - 12. Let s = -96.05 + 96. Is s >= o?
True
Let x be (160667/(-1373))/13 + 9. Which is smaller: -2 or x?
-2
Let a = -0.02581 + 32.02581. Is a not equal to 21/5?
True
Suppose -3*f = j - 1709 + 5729, -3*j - 5*f = 12068. Is j greater than -4025?
False
Let n be (-34)/(-4029) - (35/(-5) + 7). Is n less than -1?
False
Let x = 12.669 - 744.669. Is 7 < x?
False
Let m = -4340 - -4225. Which is smaller: m or -2/35?
m
Let t(x) = -6*x**2 + 112*x + 178. Let r be t(22). Is 1/3 less than r?
False
Let p(i) = 50*i**3 - 6*i**2 - 19*i - 6. Let f be p(-5). Which is smaller: -6312 or f?
-6312
Let i be ((-3)/6)/(82/84 - 1). Let z(v) = v**3 - 20*v**2 - 19*v - 53. Let w be z(i). Do -49/4 and w have the same value?
False
Suppose -4*x + 16 = -20. Suppose -x*n + 4 - 4 = 0. Which is greater: 8/15 or n?
8/15
Let a = 61/10 + -631/110. Suppose -3*n + 23 = 2*x, 0 = x + 2*n + n - 19. Is x at most a?
False
Let l = 8.69 + 6.31. Is l at most as big as 1/7?
False
Let z be -2*2/(-4) + 0. Let o = z - 2. Let w = 846056/9 - 94006. Is o less than or equal to w?
True
Let p = 1.934 + -0.934. Is -1249/2 > p?
False
Let h = 5060/441 + -104/9. Let o(w) = 2*w - 13. Let k be o(6). Is h != k?
True
Suppose 29 = u - 7. Let d = 21 - u. Let h = -13 - d. Is h equal to 4?
False
Let p = -43 - -35. Let q(t) = 9*t + 4. Let v be q(p). Let w = 750/11 + v. Is w greater than or equal to 1/2?
False
Suppose 78 - 258 = -13*m + 717. Which is bigger: m or -18?
m
Let a(b) = 2*b**2 - 7*b - 10. Let m be a(5). Suppose 0 = 2*c + 6, 2*r - c - 10 = -m. Suppose 0 = -t + 2*t - r. Do 3/40 and t have different values?
True
Let q = 2.58 + -0.58. Let p(d) = -d**2 - 13*d + 32. Let z be p(-16). Let n be (-2*3/8)/(34/z). Which is bigger: q or n?
q
Let b = 160 - 160.61. Which is bigger: b or 0.4?
0.4
Let i be (((-44)/(-16))/11 + 4623/92)*6. Which is smaller: 40 or i?
40
Let i be (-19)/(-6) - (-2 - 91/(-42)). Suppose -6*z = -h - 7*z, -i*h + 30 = -3*z. Is h at least as big as 22?
False
Suppose -24*a + 21*a - 177 = 0. Let j = a + 101. Let r = j - 35. Which is smaller: 25/4 or r?
25/4
Let g be 340 + ((-63)/(-9) - 7). Suppose -u - 336 = -g. Is u >= -8?
True
Suppose -3*k + 2 + 4 = 0. Suppose -5*t - 14 = k*p, -5*t = -p - 0*t + 23. Let u be 12/(-32)*(-13)/p. Do u and 3 have the same value?
False
Let s(t) = 245*t**2 - t + 3. Let r be s(-2). Suppose -5*u = -6*m + m + r, 0 = 4*u + 2*m + 806. Which is smaller: -201 or u?
-201
Let o be -2 - 1/(48/(-93)). Suppose -33*a + 37 = -152*a - 82. Which is smaller: a or o?
a
Let j be -96*(-2)/105 + (3 - 5). Let h(a) = -a**3 - 3*a**2 - a - 4. Let w be h(-3). Let u = 0 + w. Is j less than u?
False
Let l = -167197/1179 - -1277/9. Let w be (-10)/8 + 8/(24 - -8). Which is greater: l or w?
l
Let h = -