+ 1.8. Let h = 12 + o. Let p = h + 2.2. Which is bigger: -2 or p?
p
Suppose -1 = 5*p + 2*r, -5*p - r = -12 + 15. Which is smaller: 18/37 or p?
p
Let r be 129834/(-46) - (-3 - 2 - -3). Let o = r - -2821. Which is bigger: o or 1/4?
o
Suppose -145 = -7*i + 72. Is i less than 30?
False
Let y be (-4 - -8)*14/(-3). Let i = -19 - y. Let h = -3.8701 - 0.1299. Which is bigger: h or i?
i
Let r = -4.6 - -5. Let k be 128/96 + 70/(-48). Is r smaller than k?
False
Let b = 1517 - 966331/637. Let z = -208124467741/2548 + 81681501. Let t = z - b. Are t and -1 nonequal?
True
Suppose x - 2*n + 33 = 0, 5*n - 7 = -2. Let a(m) = m**3 - 6*m**2 - 5*m + 8. Let d be a(7). Let k = d + x. Which is smaller: 0 or k?
k
Let j be 5/(210/(-2978)) + 2. Let n = -69 - j. Let r = 27 - 26. Which is smaller: r or n?
n
Let t be (((-16)/64)/(7/(-4)))/(-1). Which is smaller: -1.1 or t?
-1.1
Let i(x) = x**3 - x**2 + 5*x - 4. Let y be i(2). Suppose -3*f = -0*f - 84. Suppose -k - 38 = -5*k - 2*h, h = -3*k + f. Which is smaller: y or k?
k
Let o be (17 + 0)*3*3/9. Which is greater: o or 11?
o
Let u be (-3)/((-1485)/252) + (-85)/(-25) + -3. Suppose -1 = 3*z + 5*x - 5, -5*z - 3*x = 4. Let c = z - -2. Which is bigger: c or u?
u
Let x = 5 + -16. Let q(o) = -33*o**2 + 4*o + 32*o**2 - 17 + 0*o + 3*o. Let v be q(6). Are x and v nonequal?
False
Let f = -14.6 + 1.6. Let i = 5325 + -5326. Which is smaller: f or i?
f
Let w = 30 + -24. Let b = w + -12. Is -1/2 smaller than b?
False
Let y be -56*(-11)/(-13112)*-4. Is y greater than or equal to 0?
True
Let l = -29 - -32. Suppose 5*o - l - 2 = 0. Suppose -o = -3*s - 16. Does s = -1?
False
Let a = 18328/7 + -2626. Is -7 not equal to a?
True
Let r(z) = -4*z - 18. Let q be r(-12). Suppose 5*p + 5*w + q = 10, -3*w - 12 = -4*p. Let b be 2/(-48)*-2*1. Which is smaller: b or p?
p
Let w = 4816 + -9369/2. Which is smaller: 0 or w?
0
Suppose -4*j + 180 = -0*j. Let u be (j/(-12))/(2/(-16)). Let x be (-2)/3*u/4. Is -6 at least as big as x?
False
Suppose -j - 5*n = -9, -10 = 2*j + n + 2*n. Is -52/5 at least as big as j?
True
Let h = -40 - -46. Suppose -2*p - 5 - 7 = 0. Let z = p + h. Which is smaller: -2/43 or z?
-2/43
Suppose -3*j = -5*j. Let l(d) = d**2 + 89*d + 1 - 90*d + j. Let c be l(3). Is c less than 6?
False
Let q be ((-66)/(-7))/(48/966). Let a = q - 191. Which is greater: -8 or a?
a
Let t = 1/4 + 1/4. Let n be 4 + 0 - (4 - 2). Let v(j) = -j**2 + 3*j + 2. Let x be v(n). Which is smaller: t or x?
t
Suppose 3*v = 5*n + 10, 4*n - 13 = -5*v - 58. Is -44/9 greater than n?
True
Suppose -m - 3*y - 17 = 0, m - 7 = 2*y - 4. Let v be -1 - 130/(-175)*-5. Is v smaller than m?
False
Let o(c) = 4*c + 30. Let p be o(24). Let s be p/(-7) - (-1 + -4). Is -12 < s?
False
Let u be 0 + 3 + 2/2*25. Suppose u = 3*d + 4*c, 3*c - 24 = -4*d + d. Which is bigger: 7 or d?
7
Let z(v) = -v**3 + v**2 + v + 15. Let p be z(0). Suppose p = 2*l + 21. Is l less than or equal to -22/13?
True
Let u = -4.9 - 2.1. Let j = u + 3. Which is greater: 1/4 or j?
1/4
Suppose 4*x = 5*o - 0*o + 125, 0 = 4*o - x + 100. Is o <= -24?
True
Let l be (-1 - 3) + (-1 - -1). Let h = l + 4. Suppose -2*f - 3*v - 13 = h, -6*f - v - 7 = -4*f. Is f smaller than -4?
False
Let a = -7.17 + 7.14. Is -77 equal to a?
False
Let v = 2 + 6. Let k = 1 - 1. Let c = k - -0.1. Do c and v have different values?
True
Let d(w) = w**2 + 12*w - 8. Let b be d(-14). Suppose 2*t + 2*t + b = 0. Which is greater: t or 0?
0
Let f = 0 + 6. Suppose 4*q - 2*q - f = 0. Suppose 3*k + 4*h + 5 = 26, 0 = 5*k - 5*h. Is q not equal to k?
False
Let d be -2 - 1/((-23)/42). Let k be 3/(-1) - (3 + -4)*3. Is k smaller than d?
False
Let b = 1 - 4. Let i = -1829 - -1827. Which is smaller: i or b?
b
Let d be 4/(-14) - (-12)/42. Suppose 4*u = -l - l + 8, 2*u - 4*l - 14 = d. Suppose -u*p = 3*c + 24, -c + 1 - 10 = 2*p. Which is smaller: -8 or c?
-8
Suppose -77*i + 83*i = -198. Which is smaller: i or 9?
i
Let b be 86/(-7) - 6/(-21). Let h be 1/2 - (-335)/(-30). Is b >= h?
False
Suppose -f + 4*w + 176 = 152, -29 = -f + 5*w. Is f at least 25?
False
Suppose 4*o = -0*o + 16. Let q = 661 + -662. Which is smaller: o or q?
q
Let f = 1.1 + -1.25. Let u = f - -1.15. Let q = -13 + 8. Which is bigger: q or u?
u
Let z = 2/30699 - 685627/245592. Which is smaller: z or -3?
-3
Let c = -1.5767 + 1.5167. Let u = 2 + -2.5. Which is bigger: u or c?
c
Suppose t - 12 = 4. Let q = 17 - t. Let m be q/(-1) - (-1 - -1). Is 1/11 > m?
True
Let l be 8/((-74592)/1266) - (-14)/147. Which is smaller: -2/3 or l?
-2/3
Let y = -4/3 + 52/21. Let h = -138 - -140. Suppose 0 = 14*d + h*d. Are y and d equal?
False
Suppose -3*g + 5*g - 152 = 0. Let l = g + -65. Which is greater: 14 or l?
14
Suppose 6*f = -0*f - 1038. Is f less than -173?
False
Let x be 0/(-13) + 4/8. Which is bigger: -7 or x?
x
Let k be (4/(-10))/(-34*(-34)/255). Suppose 6*v - v = 0. Which is smaller: v or k?
k
Let p = 0.322 - 0.362. Is p bigger than -24?
True
Suppose 14*p - 217 + 245 = 0. Let g be -2 - 13/22*-2. Are g and p unequal?
True
Let x be (-14)/2 - (120/8)/(-5). Is x equal to 0.7?
False
Let i be (-1)/(-4) + 11/4. Suppose 4*u + w + 3 = 0, -3*w - 5 - 4 = -2*u. Suppose 2*z - 5*z - i = u. Is z bigger than -3/8?
False
Let t = -20 - 7. Suppose 2*x = -u - 24, -94*u - 4*x = -96*u - 56. Which is greater: t or u?
u
Let u = -872 - -879. Let j = -6139/23 + 267. Which is smaller: u or j?
j
Let f(m) = m**2 - 10*m - 6. Let u be f(11). Let z(i) = -i**3 + 6*i**2 - 4*i - 1. Let v be z(u). Suppose 0 = v*j - 9*j. Does j = -2/5?
False
Let c = 61/24 + -12919/5064. Which is smaller: 0 or c?
c
Suppose a = -3*a - 168. Let p = -65 - a. Are p and -22 unequal?
True
Let b(i) = i**2 + 4*i + 3. Let z be b(-3). Let o = -108 - -84. Let h be o/(-11) - z - 2. Is h less than -0.1?
False
Suppose 0 = -5*f + 1 + 14. Suppose 0*b = 5*g + f*b - 5, -2*b = -g + 1. Which is smaller: g or 1/39?
1/39
Let i be (6/(-30)*-5)/(-1). Is 78 <= i?
False
Suppose -4*l = 5*s - 578, 5*l - 149 = 4*l + s. Is 147 smaller than l?
False
Let b = -6.98 - -12.98. Which is greater: -0.062 or b?
b
Suppose 57 - 48 = 3*d. Suppose -3*n - 2*n + 110 = -4*v, -2*v - 56 = -d*n. Suppose -p = -5*p - 96. Is p at most as big as v?
False
Suppose 5*v = 53 - 18. Let s be (v - 8) + 10/2 - 3. Which is bigger: s or 0?
s
Let s = 94 + -92. Suppose 0*w = -4*w - 16, -20 = h + s*w. Is 0 at most as big as h?
False
Let v = -47.1 - -45.1. Does v = 11?
False
Let a(p) = -p + 1. Let t be a(2). Let k be -4 + (3 - 1) - t. Is k <= 4?
True
Let k = -152.909 - -153. Let m = 8.091 - k. Is 0 equal to m?
False
Let l = 34 + -24. Let t = -10.99 + l. Let s = t - 0.01. Which is smaller: -2 or s?
-2
Let w = 0.604 + -3.934. Let u = -3.3 - w. Is -1/4 at least as big as u?
False
Let w(m) = 16*m**3 + m. Let s be w(-1). Let p = 23 + s. Suppose p = -2*g - 2*v, 4*g - 5*v - 2 = 22. Which is bigger: 2/23 or g?
g
Let h = 1451 - 1482. Is -27 at least as big as h?
True
Let h be (-14)/6 + (-6)/(-18). Let j be (2/(-7))/((-3)/21). Let b = -1 - j. Which is smaller: h or b?
b
Let y = -54 + 57. Suppose -2*h - y*j + 12 = -0*j, 12 = 5*h + 3*j. Are h and -1/118 non-equal?
True
Let z be 4/(-16)*(6 + 22). Which is smaller: z or -11?
-11
Suppose -9*m - 4 = -10*m. Suppose -4*o + 3*n = -188, 0 = -3*o - m*n + 70 + 71. Which is smaller: 46 or o?
46
Let h = 69284/5 - 13959. Let c = h - -105. Suppose -20 = -3*w - 2*w. Which is smaller: c or w?
c
Suppose 12 = 4*m - 12. Let r(c) = c + 2. Let p be r(6). Let l = p - m. Is l equal to 2?
True
Let v be (-2118)/21 + (-184)/161. Is -102 smaller than v?
False
Let y be 4/(-6)*336/32. Let k = -4 - y. Which is smaller: 2 or k?
2
Let a(t) = 42*t - 309. Let z be a(9). Which is smaller: 80 or z?
z
Let s = -115565/21 + 5501. Which is smaller: -1 or s?
s
Let k = 318 - 317. Is 14/87 less than or equal to k?
True
Suppose -26*p = -72*p - 1610. Which is smaller: p or -30?
p
Let y be 1/(-5) + (-59)/80. Let w = 53/48 + y. Let v(n) = -n**3 + 7*n**2 - 5*n - 6. Let d be v(6). Which is bigger: d or w?
w
Let c = -47.909 + 48. Let w = -0.168 + c. Which is smaller: w or 0.1?
w
Suppose 0 = -3*a + 3*j - 258, -2*j - 2*j - 16 = 0. Let m = -87 - a. Is -16 > m?
False
Let x be -4 + (-90)/(-14) + -3. Let z = x - -1/14. Is -2 greater than or equal to z?
False
Let z = 517 - 469. Let y = -0.4 + 0.3. Which is smaller: y or z?
y
Let j = -1436 - -2270. Is j 