 Let q = -9 - -15. Which is smaller: q or h?
h
Let f = 11.6 - 104.6. Let h = 107 + f. Do h and -0.1 have the same value?
False
Let x = -37 + 97. Let o = -422/7 + x. Which is smaller: -1 or o?
-1
Let a = -32.04 + 32. Let p = a + -0.26. Which is smaller: 3 or p?
p
Let q = 18191/11627 + -122/77. Which is smaller: 1 or q?
q
Let z = -6077572/25 - -243139. Let k = 36 - z. Let b = 137 + -136. Is b at most k?
False
Let m be (-1)/(12*2 - 0). Let j be (-30)/125*-5 + ((-184)/20 - -8). Is m > j?
False
Suppose 9*t + 8 = -514. Is -59 smaller than t?
True
Let y(r) = -3*r + 4. Let o(h) = -3*h + 3. Let t(w) = -3*o(w) + 2*y(w). Let f be t(0). Is f >= -2/5?
False
Suppose 0 = 13*y + 335 + 406. Let n(m) = -m**2 - 7*m + 2. Let k be n(5). Is y less than k?
False
Let y(k) = -k**2 + 2*k + 9. Let t be y(6). Let d be t + 7/((-7)/3). Which is smaller: -17 or d?
d
Let v = 38 + -22. Suppose -a - v = -4*g, -g + 5*g = -4*a + 16. Suppose y - 2*l - 5 = a, -5*y + 0*y + 1 = -2*l. Is y greater than or equal to -3/13?
False
Let m be (-9)/12 + (-190391)/204. Let k = m - -934. Is 0 not equal to k?
True
Let x(c) = c**2 + 16*c - 5. Let d be x(-16). Suppose -y + 10 = 4*y. Let p be (-3*2)/(y/2). Which is smaller: d or p?
p
Suppose 12*m = -3977 - 3367. Is -613 equal to m?
False
Let l = -4 - 6. Let j = -6 - l. Suppose -2*o + j*t = 2, 4*o - 4*t - 4 = -0. Are 7/2 and o non-equal?
True
Suppose 17 = -3*b + 5. Let k be b/22 + 182/154. Do k and -2 have different values?
True
Suppose 0 = -v + 5 - 4. Let s be -4 + 722/126 + 124/(-279). Which is smaller: s or v?
v
Let m = 3 + -3. Let b(t) = -t**2 + 6*t - 7. Let u be b(8). Is m != u?
True
Let f be 1/9 - (3 + (-1518)/(-54)). Suppose -5*i = -0*x + 2*x + 40, 2*x + 44 = -4*i. Is f >= x?
False
Let g = -3.2 - -0.2. Let w = 2 + -2.2. Which is bigger: w or g?
w
Let k be ((-1606)/66 - -24)*(-6)/(-28). Which is smaller: k or -4/9?
-4/9
Let g(x) = -x + 5. Let k be g(0). Suppose 2*b + 8 + 73 = k*p, 41 = 3*p - 5*b. Suppose 3*f + 19 = 4*j, f - 7*j + 3*j + p = 0. Is f bigger than 3/20?
False
Suppose 5*t - 354 = -99. Let n be 6/12*-2 + 106/2. Are t and n nonequal?
True
Let q(s) = -s + 9. Let y be q(7). Let i be -1 - y - (-135)/63. Which is greater: 5 or i?
5
Let n = -385 + 383. Let o = 21 - 34. Which is smaller: n or o?
o
Suppose v = 38 - 13. Let j(t) = t + v - 15*t - 26. Let x be j(1). Is -13 not equal to x?
True
Let o be (50/15)/(2 - (-20)/(-6)). Which is bigger: 2 or o?
2
Let g = -0.047 - 5.953. Let m = 14 + -10. Let x = g + m. Is x >= 0?
False
Let h = -14 - -16. Suppose 38 = -10*f - h. Let b(x) = x + 1. Let n be b(-7). Which is greater: f or n?
f
Let z = 2 + -1. Suppose -2*m = -4 + 4. Let x be (-4 + 1)/(z - m). Are x and 0 equal?
False
Let b be 22/18 + (-4)/(-162)*-9. Is -4/15 >= b?
False
Suppose -14346 = -111*l + 4413. Is l > 851/5?
False
Let p = -1.3 + -0.1. Let l = p - -1.4. Let o = l + -4. Which is bigger: 0.1 or o?
0.1
Suppose -3*f + 7 - 1 = 0, 5*h + 3*f - 31 = 0. Let r be (-3)/18 + h/10. Which is greater: 3.1 or r?
3.1
Let v be (2/6)/((-4)/72*3). Let m be 0 + 6/(-12) - (-29)/v. Is m at most -13?
True
Let v be 1/8*(-5418)/189. Which is greater: v or -5?
v
Let k(g) = g**3 - 4*g**2 + 2*g - 110. Let m be k(7). Are m and 52 unequal?
True
Suppose -36*y = -3*t - 30*y - 21, -t - 3*y = -13. Are t and -7/109 non-equal?
True
Let j be 1/5 + (-1448)/40. Let y = j + 34. Are y and -6 equal?
False
Suppose -y - 54 = 4*h, 4*h + 233 - 71 = -3*y. Does y = -53?
False
Let j = -11 - -51. Let g = j + -37. Is g smaller than -1?
False
Suppose -4*f + 3*f = -6. Let y = f - 0. Let u be 3/9 + 10/y. Is 2 != u?
False
Let x = -84.018 + 84. Let f = x + 0.058. Let m be -2*(1 - 6/7). Is m greater than f?
False
Let c = 0.53 - 0.33. Let v = c + -0.1. Which is smaller: 2.7 or v?
v
Let b = 0.26 + -1.97. Let w = 0.29 - b. Is 1/4 less than w?
True
Let s = 62830 + -7916471/126. Let v be ((-2)/6)/(42/81). Let k = v + s. Which is smaller: -0.1 or k?
-0.1
Suppose -13*g = g. Suppose -6*h + 3*h = 0. Suppose d + h*d = g. Which is greater: 2/35 or d?
2/35
Let p(n) = 3*n**2 - 11*n + 24. Let j be p(2). Which is smaller: j or 18?
j
Suppose 5*j - 236 = 4*j. Let q = -1646/7 + j. Which is greater: q or 2?
2
Let x = 1.17 + -1.3. Let w = x - -0.03. Is -9 at least as big as w?
False
Suppose 4*s - o = 356, -4*o = -15*s + 13*s + 164. Is 89 greater than or equal to s?
False
Let a(l) = -l**3 - 3*l**2 - 2*l - 4. Let g be a(-3). Suppose -3 + g = -o. Let w be (o - 2)/((-351)/26). Which is smaller: -0.1 or w?
-0.1
Let r(q) = q**2 - q - 17. Let y be r(0). Let p be (-160)/(-48)*(-9)/2. Which is smaller: p or y?
y
Let o be 6 + ((-8793)/387 - -11). Which is smaller: o or -5?
o
Let x(o) = -o**2 + 11*o - 3. Suppose -b = 5*r - 50, -r + 5*b = 2*r - 30. Let k be x(r). Which is smaller: 8 or k?
k
Suppose -3*y - 12 = -3*g, 0*g - 3*g - 9 = 4*y. Let m be (60/45)/(28/6). Do g and m have the same value?
False
Let g = -304 - -187. Let h = g - -117.2. Let p be (2 + 2)/(2 - -1). Which is smaller: h or p?
h
Let v = -0.01 - 0.99. Let k = 21 + -25.5. Let s = 0.5 + k. Which is bigger: s or v?
v
Let o = -0.94 - -0.65. Let v = 19 - 18.91. Let f = o + v. Is 2/7 less than f?
False
Let m(g) = -g**3 + 5*g**2 - 6*g + 5. Let x be (2 - 5)*10/(-2). Let d = x + -11. Let t be m(d). Is t >= -12/7?
False
Let c = -231/58 + 7415/522. Which is bigger: c or 11?
11
Suppose 5*m = 0, -5*b - 2*m = -m + 2220. Is -445 bigger than b?
False
Let v = -1/2648 - -47689/66200. Let n be 4/24 - 631/1050. Let s = v + n. Which is smaller: s or 2/3?
s
Let k = -14.72 + 15. Let s = 0.12 + k. Let l = -0.1 - s. Which is smaller: 3 or l?
l
Let n be ((-12)/(-165))/((-2)/(-5)). Let u(z) be the first derivative of -z**3/3 - 5*z**2/2 + 14*z - 4. Let j be u(-7). Is j at most as big as n?
True
Let z = -16 - -16. Suppose z*s = 4*s - 64. Let h = -55 - -71. Is h greater than s?
False
Suppose 2650 = -9*g + 463. Is g equal to -244?
False
Let q(d) = -191*d - 7. Let x be q(5). Let h = 6712/7 + x. Let a be -3 + (2/(-14) - (-256)/224)/(-1). Which is smaller: h or a?
a
Let z = 45 + -58. Let t = -10 - 5. Let r = t - z. Is -9/7 < r?
False
Suppose y + 7*k - 3 = 5*k, -5*k + 40 = -4*y. Suppose -18 = 3*s - 0*s. Let h = y - s. Which is bigger: h or -2/9?
h
Let c be 8 + (21/4)/(-1). Does c = 2?
False
Let x = -360 - -391. Which is smaller: 1/8 or x?
1/8
Suppose 3*w + 8 = 41*d - 37*d, 5*d - 10 = 0. Which is bigger: w or -2/235?
w
Suppose 7*b + 386 = 57. Let t = b - -44. Are -22/5 and t equal?
False
Suppose -7*g - 22 = -8. Let d be (12 - 12)/(g + 1). Which is greater: 20 or d?
20
Let g be (124/6)/((-21)/((-8820)/(-40))). Is g > -217?
False
Let f = -3076/7 - -436. Let w(p) = -3*p. Let o be w(1). Do o and f have the same value?
False
Let f(o) = 4*o + 43. Let y be f(-10). Let w be (y/(-6))/((-5)/(-10)). Is w bigger than -1/33?
False
Let k = 101.2 - 117.2. Which is bigger: 2.6 or k?
2.6
Let o = -48 + 89. Suppose -25 - o = 3*b. Let u = b - -146/7. Is u greater than 2/3?
False
Suppose 2*q + 4 = -j, j + 2*j = -6. Let k(c) = c**2 - 4*c - 3. Suppose 0*f - 2*f - 3*p + 20 = 0, -4 = 2*f - 3*p. Let v be k(f). Which is bigger: v or q?
q
Let v = -323 - -325. Does 0.58 = v?
False
Suppose 3*j - 3 + 0 = 0. Let c be 4/j*-1 + 1. Which is greater: -8/3 or c?
-8/3
Suppose s = d + 19, 6*s = -d + 2*s - 29. Which is smaller: d or -16?
d
Suppose -2*w = 110 + 6. Suppose -7*b + 10*b + 171 = 0. Which is bigger: w or b?
b
Let n(z) = -42*z**2 + 4*z - 3. Let m be n(2). Let h = m + 4237/26. Let r be (1 + -16)*9/(-45) + -2. Which is smaller: h or r?
h
Let a be 132/(-35) - 4/5. Is a bigger than -5?
True
Suppose -10 = a + 2. Let j be 16/56 - (-9)/(-7) - 9. Let m be j*12/8 + 2. Are m and a non-equal?
True
Let r = 33 - 31. Let z be (r/4)/((-22)/(-4)). Which is bigger: 0 or z?
z
Let o = 11/8 + -17/24. Let k = 40.1 - 38. Are o and k nonequal?
True
Let f(h) = -h**2 - 2*h + 115. Let n be f(-11). Which is bigger: n or 11?
n
Let t = 0.386 + 0.014. Let v = 0.3 - t. Are v and -2.2 unequal?
True
Let i = -0.32 + -12.68. Let q = 13.03 + i. Let s = q - 0.13. Is s > 0.06?
False
Let g(v) = -31*v + 345. Let d be g(11). Is d at most as big as 75/17?
True
Suppose 3*s = 10 - 1. Suppose 2*w + s*n = 48, -4*n = -0*n. Which is greater: 26 or w?
26
Suppose 0*c = -2*c - 4. Let p(m) = -m**2 + 9*m - 15. Let q be p(8). Let d = q - -4. Does c = d?
False
Suppose 12 = -