: h or x?
h
Let x = -0.45 + 6.85. Is 0 equal to x?
False
Let q(w) = w**3 + 7*w**2 + 6*w - 3. Let d be q(-6). Let h be (-4)/d*18/12. Suppose -2*b - 4*n - h = -3*b, -3*n + 65 = 4*b. Which is smaller: 15 or b?
b
Suppose 3*x + 6 = -2*g, -10 + 4 = 2*g. Suppose 7*w = 2*w + 55. Is x equal to w?
False
Let v = 23/147 - 2/147. Let w = -123/13 + 3483/364. Let u = w + v. Which is greater: -1 or u?
u
Let n be -1 + 882/930 + (-1)/(-10). Suppose 2*q + 2 = -2*g, -2*q = -g - 4*q - 1. Does g = n?
False
Let f be (1/20)/((-6)/8). Let s = 626 + -627. Which is greater: s or f?
f
Let b be (8 + -6)/((-1)/4). Let f be (-2)/(-20)*20/(-5). Which is smaller: f or b?
b
Let v = 3643/390 + -1/130. Suppose p - 40 = -3*p. Which is greater: v or p?
p
Let w(u) = -16*u + 132. Let c be w(7). Is 98/5 at most c?
True
Suppose 3 = 5*u + 2*j - 15, -4*u + 16 = 2*j. Suppose 4*y - 8 = 5*f - 30, -2*f - 2 = 2*y. Let q be (-2 + u - y) + -2. Which is bigger: 2 or q?
2
Let n be (174/(-32))/((-18)/132). Let w = n + -229/8. Is 11 equal to w?
False
Let y = -8/2153 + -143579/180852. Let z = y - -13/12. Which is bigger: z or -6?
z
Let s = -1 + 2. Let i = -55 - -59. Let f be 2 + (-80)/28 + 4/i. Which is smaller: f or s?
f
Let d = -31.2 + 25. Let i = d + -7. Let s = i - -13. Which is bigger: 3 or s?
3
Suppose 3*r - 289 = 92. Let b = 136 - r. Is b smaller than 10?
True
Let i = 1.4 - 0.4. Let a = 51 + -142/3. Is i at least a?
False
Let x = 337 - 335. Are x and 27/43 nonequal?
True
Let g(h) = -h**3 + h**2 + 4*h - 3. Suppose 5*v - 3*y + 2 = 0, 2*v - 6 = -y + 2. Let w be g(v). Which is greater: w or 0?
w
Let g be 4/22*(-616)/(-1176). Let y = 1 + -2. Which is smaller: g or y?
y
Let b = 0.439 - -0.081. Let o = 6 - 7. Which is smaller: o or b?
o
Let n be (-4)/(-6)*(-171)/(-114). Is -1/152 <= n?
True
Suppose 0*w - 3 = -w - 2*a, 0 = 3*w - 4*a + 21. Let n be (-6)/w - 5 - 0. Let v be (n - -1)/(10/2). Which is bigger: v or 1?
1
Let b be -2 - 2 - -7 - 372/111. Which is bigger: b or 1?
1
Let i = 0.271 - -33.729. Which is bigger: 1 or i?
i
Suppose -6*s + 5*s + 1 = 0. Let k = 7 - s. Do k and 6 have different values?
False
Let z(l) = -5*l - 2*l - 2*l + 4 - 3. Let i be z(3). Let h = i - -77/3. Which is greater: 0 or h?
0
Let p(c) = 4*c - 44. Let h(j) = 2*j - 22. Let m(n) = -13*h(n) + 6*p(n). Let t be m(12). Which is smaller: t or -4?
-4
Let c be ((-1)/(-2))/(2/4). Let m be c/(-3) + (-1)/(-9). Suppose -4*b + 3 = -3*n, 3*b - 4*n - 4 = 8*b. Which is greater: b or m?
b
Suppose 0 = 97*d - 27*d - 3290. Which is bigger: 46 or d?
d
Let i = -45533/20823855 - 1/23215. Let m = 592/2691 - i. Which is smaller: -1 or m?
-1
Let n = -2 + 1. Let u be 1 + (-4)/10 - 118184/199240. Is u at most n?
False
Suppose 154 - 165 = 11*o. Is o > -2/59?
False
Suppose 4*v = 3*l - 13 - 41, -51 = -3*l + 3*v. Let y = l + 1. Is 13 at least y?
False
Let h(c) = -c**2 - 13*c - 14. Let j be h(-13). Let l be ((-5)/10 - (0 - 4))*-4. Is j < l?
False
Let h(u) be the second derivative of u**3/6 + 11*u**2/2 + u. Let m be h(-6). Suppose -4*b - m*j = -23 + 6, -4*b - 2*j = -14. Is b greater than 1?
True
Let q be 47/9 - 5 - (-754)/252. Let m = -5/14 + q. Which is bigger: m or 3?
3
Let w(q) = -6*q**3 - 5*q**2 - 5*q. Let b be -8*((-6)/4 + 2). Let s be w(b). Let d be (-105)/s - 4/(-16). Which is bigger: 0 or d?
0
Let a = -312 - -282. Which is greater: a or -29?
-29
Let a = -43 + 45. Let i(x) = 6*x + 2. Let r be i(a). Is 13 at least as big as r?
False
Let g(j) = 2*j**2 + 3. Let w be g(3). Let n = 15 - w. Let l be n/(-12) - (-34)/(-60). Are l and 1 non-equal?
True
Let k be (-14)/(-91) - (-891)/39. Which is smaller: 22 or k?
22
Let m = -0.2 - -0.3. Let b = 25 - 2. Let w = 22.88 - b. Which is smaller: m or w?
w
Let m = 70 + -32. Let g = -38.41 + m. Is 2/5 smaller than g?
False
Let b = -1806 + 28881/16. Which is greater: b or -1?
b
Let m be 99/(-110)*5/(-3). Let r(p) = p**2 + 13*p + 1. Let y be r(-13). Which is bigger: m or y?
m
Let s = 47 + -47.043. Let g = s + -12.957. Which is smaller: g or -0.2?
g
Let x = -0.35 + 2.35. Let q = -0.062 + 0.562. Is x smaller than q?
False
Let u = -19 - -31. Let x = u + -12.1. Is 18 at most x?
False
Let l be ((-3)/(-6))/(1/(-62)). Suppose 0 = 4*h + 5*t, -4*h + 4*t + 28 = 2*t. Let v be (10 - h - 6)*1*31. Do v and l have the same value?
True
Let f = 0.75 + -0.85. Do f and 657 have different values?
True
Let o be (2 - (-3 + 1))/2. Let n be (-2)/11 - (-4)/22. Let b be (0 - (-16)/5) + n. Is b bigger than o?
True
Let u = 10.52 + -58.42. Let y = -39 - u. Let x = 9 - y. Are -2 and x non-equal?
True
Let w be (-150)/(-45)*-81*1/(-5). Let z = -71 - -125. Is w < z?
False
Let q(i) = -i**2 - 15*i - 54. Let n be q(-7). Which is smaller: n or 6/5?
6/5
Suppose 2*a + 13 = -p, 2*p + 5*a = -2*p - 52. Let b = -11 - p. Let o = 12304/14371 + 2/2053. Which is bigger: b or o?
b
Let i = -3229/449202 + 5/1014. Is 1 less than or equal to i?
False
Suppose 973*t - 19 = 954*t. Do t and 142 have different values?
True
Suppose 2*t + 34 = 2*o - 6*o, 39 = -3*t - 2*o. Let g = -8 - t. Suppose g*d - 14 = d. Which is bigger: d or -1?
d
Let u be 0/(1*(-1 + -1)). Let n be (1/30)/(6/(-144)*3). Let b = n + 43/30. Is u != b?
True
Let w be (1*34)/((-40)/(-380)). Which is greater: w or 324?
324
Let p(r) = r**3 + 6*r**2 - 1. Let y be p(-6). Let t = y - 0. Let z = -2153 + 105499/49. Which is bigger: z or t?
z
Let o = 2508/7 + -16763/42. Is -40 at least o?
True
Let h = -48 + 170. Let n = 79 - h. Which is smaller: -42 or n?
n
Suppose 3*o + 6*v - 127 = v, 0 = -3*o - 3*v + 135. Let w = 48 - o. Let d be (-2)/10 - 2/5. Is w less than d?
True
Let h(u) = 20*u - 1. Let a be h(-1). Let f be (a/9 - 1)/(2/24). Is -39 greater than f?
True
Let j = 14312/39 - 367. Which is bigger: 1 or j?
1
Let p be (-396)/(-3024) - (-1)/(-8). Which is greater: p or 1?
1
Suppose 3 = -2*z + 19. Let t be 39/52 - 94/z. Let w = t + 14. Is w at most as big as 3?
True
Let i = 9 - 17. Let y(s) = s**3 + 18*s**2 - 19*s - 6. Let z be y(-19). Is i >= z?
False
Let i be 136/(-6) - 0 - 3/9. Are -12 and i equal?
False
Let t(z) = z**3 + 3*z**2 + 3. Let g be t(-3). Suppose -5*i + g = -27. Which is bigger: 16/3 or i?
i
Let m = 314 + -313. Do m and -0.13 have the same value?
False
Let i = -7 + 8. Let p be ((-21)/18)/(4/(-6)). Which is greater: p or i?
p
Let x = -283 + 277.5. Which is smaller: x or -5?
x
Let m(h) = h**2 - 13*h - 6. Let a be m(13). Which is bigger: a or -86/19?
-86/19
Let k be 2 + 0 - (4 + -7). Suppose -2*r + 13 = -5*g, r = k*g + 2 + 2. Does 6 = r?
False
Let q be (1 + (-2)/(-2))/(-5 - -33). Which is greater: 0.7 or q?
0.7
Suppose -5*v - 33 = -4*s, -5*s + 0*s + 10 = 0. Let m(b) = b**3 + 2*b**2 - 37*b + 49. Let d be m(4). Which is smaller: d or v?
v
Let o be 45/35 - (-2)/(-7). Let y be o/((-2 + 1)/1). Let r = -53.15 - -53.05. Is r < y?
False
Suppose 8 = -4*f - 4*r, 4*f - r = -2 - 1. Let x be (f + 0)*3/1. Is -4 greater than or equal to x?
False
Let b(l) = 2*l**2 + 5*l + 19. Let r be b(-4). Which is bigger: 32 or r?
32
Let x(g) = g**2 - 55*g - 257. Let t be x(60). Are t and 42 unequal?
True
Let x be (45/(-2))/9*22. Let f = -74 - -19. Is x equal to f?
True
Let o(l) = 2*l**2 - 3*l. Let s be o(4). Let h be -124*(-5)/(-10) - -2. Let b be (-6)/s*h/(-8). Which is greater: b or -1?
-1
Let p(n) = -n**3 + 8*n**2 + 12*n - 9. Let u be p(9). Let d be (u/2)/3 - -4. Suppose -h + 0*h = -8. Is d bigger than h?
False
Let o be (-74 - -74)*(2 - 1). Are o and 239 non-equal?
True
Suppose 0 = -4*v + 3*v + 17. Suppose -v*k + 5 = -12*k. Is 3/8 smaller than k?
True
Let p be (-3)/(-5) - 26/455*-7. Which is greater: -78/7 or p?
p
Suppose 5*x - 20 = 5*k + 5, -2*k = 0. Let p = 3 - 1. Suppose -x*u + 7 - p = 0. Which is greater: -1/25 or u?
u
Let q = -882 + 871. Which is bigger: -35/3 or q?
q
Suppose -28 = -3*m + 4*m - 5*f, -136 = 4*m + 4*f. Is -33 < m?
False
Let c = 11 - -32. Let v = c - 57. Do v and -11 have the same value?
False
Let z be (-7)/(-56)*(1 - 1 - -114). Let j = z + -27/2. Which is bigger: -2/11 or j?
j
Suppose 4*o + 1 + 1 = 2*t, 2*t + 4*o - 18 = 0. Let l = -28 - -32. Suppose -4 = -w - 3*x, -x = -2*w + l*x + 8. Which is bigger: t or w?
t
Let q = -6 - -10. Suppose q*u = -0*u + 12. Let n = -1 - u. Which is bigger: n or -7/2?
-7/2
Let r = -721 + 687. Is -4 less than or equal to r?
False
Let c = -491 + 2459/5. Which is bigger: -6 or c?
c
Let u 