gger: -74 or a?
a
Let h = 8685 + -8149. Which is smaller: h or 517?
517
Let p = 38/15 + 1/15. Let v be (-96)/(-27)*-4 + 16 - 2/(-9). Which is smaller: p or v?
v
Let g = -20.7 + -87.3. Let h = -105 - g. Let f = 8.82 + 0.18. Is h >= f?
False
Let h be 2/6 - (-26)/(-42). Suppose 5*q = 5*g + 21 + 569, -q - 2*g + 133 = 0. Let d = -122 + q. Which is greater: d or h?
d
Suppose 4*r = 5*l - 18, -l - 4*r + 2*r = 2. Suppose -7*o - l = -37. Suppose -o*h - 52 - 23 = 0. Is -17 at least as big as h?
False
Let p be 13 - ((-29970)/(-1155))/2. Do p and 2 have different values?
True
Suppose -7*j - 37734 = -2*j + 2*z, z = 5*j + 37728. Is j >= -7545?
False
Let j(g) = 2*g - 28. Let v(l) = -2 + l**3 + 3*l**2 + l + 3 + 0 - 5*l. Let i be v(-3). Let c be j(i). Which is smaller: 3 or c?
c
Let a(l) be the first derivative of l**3/3 - 17*l**2/2 - l - 17. Let p be a(17). Is 1/23 > p?
True
Suppose w - 480 = -7*w. Suppose w + 160 = 5*u. Let m = u + -47. Is -1 at least as big as m?
True
Let u = 37.76 + -37.77. Are 5/12 and u unequal?
True
Let c be (30697130/(-465))/(68/6) + 2/(-17). Is c at most -5825?
True
Suppose 615*k = 564*k + 23307. Does -4 = k?
False
Let t = -7813 - -7825. Let p(i) = 2*i + 7 + 1 - 1. Let k be p(t). Is 32 <= k?
False
Suppose -k + 4*k + 21 = 0. Let b be (-1)/(51/(-498)) - (-17220)/(-1722). Is b > k?
True
Let o be ((-20514)/27 - (24 + -33)) + 1. Which is smaller: o or -751?
-751
Let h be 39494/(-211575)*(-10)/14. Let n = 56/729 + -2/729. Which is smaller: h or n?
n
Let w(h) = 89*h - 38. Let u(y) = y. Let z(j) = 4*u(j) + w(j). Let k be z(4). Is k > 332?
True
Let i = 3629/120 + -151/5. Let n be (-2)/9 + 220/99. Let g be -2 + 4/4 + n. Which is greater: g or i?
g
Let x(b) = 7*b + 5*b - 31 + 2*b + 4*b. Let h be x(2). Is 39/8 at least as big as h?
False
Suppose 20858 = 73*o + 75973. Which is smaller: -5286/7 or o?
-5286/7
Suppose 20 = 4*h, -15*d - 2*h = -17*d - 190. Let q be (-161)/d - 51/34. Which is smaller: 1 or q?
q
Let w be (1204/(-168) + 8)/((-6)/(-1132)). Is w equal to 156?
False
Let a = 78 - -6.9. Let l = -85 + a. Which is smaller: 56 or l?
l
Let y = -288 - -287. Let u = 21.69 - -0.31. Let l = u + -69. Is l not equal to y?
True
Suppose -5*h + c = -128900, -61*c + 63*c = 2*h - 51568. Let w be 1 - 2 - (-10 - h/(-2865)). Which is smaller: 1 or w?
w
Let k be 186/(-124) + (-6)/(-4). Suppose k = 232*t - 223*t - 1530. Is t > 170?
False
Let l = 542 + -537. Suppose 0 = -3*z - 3, 4*i + l*z + 162 + 51 = 0. Let v be -3*(55/3 - 1). Is i at most as big as v?
True
Let a = -4550904/201227 - -6/15479. Let w be 10 + 2439/(-72) + ((-15)/24)/5. Which is smaller: w or a?
w
Let u(x) = -x**3 - 35*x**2 - 50*x + 12. Let z be u(-34). Let b = 564 - z. Which is bigger: 18 or b?
18
Let g(x) = 10*x + 23. Let c be g(-8). Let r = c - -59. Suppose -r*z + 80 = -3*t - t, 2*z - 2*t - 80 = 0. Which is smaller: z or 41?
z
Let x(p) = -244*p + 1710. Let y be x(5). Which is bigger: y or 487?
y
Suppose 8*o + 14 - 7 - 7 = 0. Are o and -3/1102 non-equal?
True
Suppose 0 = -3*w - 4*b + 295, 18*b + 20 = 14*b. Is -20 not equal to w?
True
Let i be 2/(12/(-9)) - 60/(-8). Let n be (5 - i)/(1*1/12). Let w be (-1 - n/16) + 0. Which is greater: -0.3 or w?
w
Let s be 3 + (157822/49 - (-5 + -2)). Which is greater: s or 3230?
s
Let h = 1502 - -2750. Let d = -4256.002 + h. Let b = 0.002 + d. Which is smaller: b or -0.02?
b
Suppose -b - 4 + 11 = 3. Let n be (-3)/(-2) - 1/(-2). Let x be (-4)/(b/2)*(n + -1). Which is bigger: x or 6?
6
Let k(j) = j**3 + 6*j**2 + 2*j + 27. Suppose -2*n = 5*h + 31, 5*h + 45 = -3*n + 8*n. Let c be k(h). Is c >= -37?
True
Let z be 165/(-22)*4/39 - 129/559. Let f be (((-6)/(-4))/(-3))/(-73). Which is smaller: f or z?
z
Suppose 2*p = -4*t + 5*p + 153, 195 = 5*t - 3*p. Suppose -42 = -4*s + t. Let c = 3248 - 3228. Is s at most c?
False
Let f be ((-900)/(-240))/(3/2)*64/(-140). Is f < -305?
False
Let i be (12/294)/(1/7)*2/20. Let n = 0.8 + -4.8. Is n smaller than i?
True
Let s(a) = -10*a + 14. Let f be s(4). Let d be (-230)/f - (-52)/338. Suppose 4*l = -0*g + 5*g - 2, l + d = -3*g. Is g at most -3?
False
Let i be (-652)/(-6) + (-22)/33. Suppose a + i = -3*a + 3*g, a - 3*g + 27 = 0. Which is greater: a or -24?
-24
Let y = -18.136 - -15.896. Which is bigger: 61 or y?
61
Let i be 6/(-2) + (5 - (-78)/18) - 7. Which is smaller: 2/455 or i?
i
Let w be ((-9)/27)/(2/(-12)). Suppose 3*n + 133 = n - 5*d, 0 = -4*n + d - 299. Let v = n - -520/7. Is w bigger than v?
True
Suppose 0 = 3*b - 3, -a - 1089 = -3*a + 3*b. Let h be ((-3)/9)/((-4)/a). Let m = h + -443/10. Is 1 at least m?
False
Let s be ((-2244)/44)/(16/(-52)). Is 167 equal to s?
False
Let t = 171.9969 + 0.3031. Let z = 172 - t. Is -0.8 smaller than z?
True
Let d = 2717131/156 + -226474/13. Let g = d + -5/52. Which is smaller: g or -4?
-4
Suppose 118 = 5*a - 377. Let s(n) = -4*n - 7. Let g be s(-26). Which is bigger: g or a?
a
Let m = 3301 + -3301. Is m >= 22/93?
False
Suppose s - 5 + 3 = 0. Let z be (-8)/10*(-9 - -229). Let g = z - -177. Is s <= g?
False
Let g(d) = -d**2 - 12*d - 13. Let l be g(-7). Let q be l/1529*(-2)/(-6). Which is greater: q or -1?
q
Suppose 3*r - 7 = 2*r. Suppose 4*x + 180 = 5*f, 2*f - 73 = -5*x - 1. Suppose -11*t = u - 15*t + 6, f = 4*u - t. Does u = r?
False
Suppose -5*u - 3*n - 29 = -6505, -5*u = -4*n - 6462. Let i = u + 1146. Let j be (1/(-2))/((-20)/i). Are 60 and j equal?
False
Let l = -17156 - -17105. Which is bigger: -62 or l?
l
Let v = 8355.16 - 8355. Is v at least as big as -0.211?
True
Let n = -635.551 - -9.651. Let k = -487 - n. Let q = -138 + k. Which is smaller: 1/7 or q?
1/7
Suppose 11*n + 4*n - 30 = 0. Let z be 17 - 5 - n*(-9)/(-6). Suppose 0 = 5*d - 4*j - 34, 1 = -5*d + 2*j + 33. Which is bigger: d or z?
z
Suppose 201*t = 27*t - 349 + 13573. Suppose l = -4*k + 21, -2*k = -6*k - 4*l + 36. Suppose k*x = 2*x + 152. Is x at most as big as t?
True
Let h = 5938.1 + -5938. Which is bigger: 77 or h?
77
Let r = -3257 - -3279. Is 1 greater than r?
False
Suppose -5 = 2*m + 3*u - 17, -u + 18 = 3*m. Suppose 0 = 4*v - 3*k - 1311, 9 + m = 5*k. Is 332 at least v?
True
Suppose 0 = -22*l + 20*l. Let k be ((-8)/(1776 + l))/(1/(-4)). Which is bigger: -5 or k?
k
Let f be (2/(-24092))/((2/(-13))/((-604)/1963)). Which is smaller: f or 0?
f
Let b = -1009/77 + 93/7. Let i = -126 - -98. Let m be ((-6)/(-20))/((-21)/i). Which is smaller: m or b?
b
Suppose 0 = -10*u + 1534 + 276. Which is bigger: 180 or u?
u
Suppose f = 3*f - 8. Let h = -97 + 142. Let q be ((-4)/h)/(42/1155)*-2. Are f and q non-equal?
True
Let b be -2*((-13)/75 + 4/12). Which is smaller: 2/21 or b?
b
Let o be (-6 - -16) + -8 + 203/(-5). Let h = -1401/35 - o. Which is greater: -1 or h?
-1
Let z = 184/33 + -3485/627. Are z and -1 unequal?
True
Suppose 36*p - 416 = 4*p. Let s(g) = g**2 - 19*g + 52. Let q be s(p). Which is greater: q or -3?
-3
Let x = -64 - -33. Let m = x - 23. Let q = -55 - m. Which is greater: q or -4?
q
Suppose -3*h = -r - 4, -2*r = -4*h + 3*r + 9. Let k be (1/(-1))/(172/8). Which is greater: h or k?
h
Let q(k) = k**3 + 9*k**2 + 8*k. Let c = 146 + -154. Let s be q(c). Which is smaller: 1/57 or s?
s
Let o(u) = -u**2 - 2*u - 3. Let d be o(-6). Suppose 151 = -5*a + 110*g - 109*g, -5*a - 4*g - 121 = 0. Which is smaller: a or d?
a
Suppose -8*r + 2*a + 35 = -3*r, -5*r + a = -30. Suppose 0 = -5*u - r*n + 40, -4*n = -3*n - 5. Which is greater: 6 or u?
6
Let x = -38 - -37. Let d be ((-4)/(-16) - x/(-4))/(-2). Suppose d = -4*s - 5*p + 11, 3*p + 0*p = -s + 8. Which is smaller: s or -8?
-8
Let v(r) = 13*r - 6. Let g(j) = 2*j + 1. Let w(n) = 6*g(n) - v(n). Let u be w(8). Let k be -2*((-10)/u + 2). Which is smaller: 8 or k?
k
Suppose 7148 = 95*z - 262. Which is greater: -9 or z?
z
Let n = 40961/64 + -640. Suppose -6*i + 98 = i. Suppose 6*x + i*x = 20. Which is smaller: x or n?
n
Let g = -279 + 231. Let c = 49.7 + g. Which is greater: -1 or c?
c
Let u = 30.59 + -32.59. Is 1.895 greater than or equal to u?
True
Let j = 87 - 232. Let m = j + 97. Is -3 >= m?
True
Let w be (-27018)/(-162) - 10/(-45). Suppose 2*b + p - 2*p = 5, 30 = 3*b + 3*p. Suppose 0*r + 5 = b*r, w = -5*l + 2*r. Which is smaller: -34 or l?
-34
Let c be ((-3)/(-9))/((4/48)/1). Let x be (1 - 3)/((-2)/c). Suppose -3*w + 4*w - 4 = x*h, 3*w + 5*h = -56. Which is smaller: w or -13?
-13
Let f be (-118)/7