1. Which is greater: -4 or r?
r
Let g = 0.79 + -0.79. Is -0.338 <= g?
True
Let l be (-2)/(-7)*(0 - -7). Suppose -4*o + 6 = -o, 3*p + l*o = -17. Let x(y) = -2*y**3 + y**2 + 2*y. Let v be x(2). Is v greater than or equal to p?
False
Let l(r) = -r**3 - 14*r**2 + r. Let h be l(-14). Let x be h/16 + (-6 - -5). Is x < -3?
False
Let c = 0.23 - 0.2. Let j be (-17 - -15)*(-5)/(-60)*2. Which is smaller: j or c?
j
Let o = 8.7 - 6.2. Let j = 2.78 - o. Which is bigger: j or 1?
1
Let g be 5 - (2*(-1 - -2) + 4). Let p be 4/61*(-2)/4. Which is bigger: p or g?
p
Let u = 10187/8 + -1273. Does u = 16?
False
Let h = -2/6371 - 1535405/19113. Let r(o) = -6*o - 17. Let s be r(-16). Let v = s + h. Is v <= 2/7?
True
Let k be 3/(6/8) - 0. Suppose 8*t = -t - 936. Let h be t/(-16) + 2/k. Which is smaller: 6 or h?
6
Suppose 4*h + 3*k + 0*k - 9 = 0, 3*k = -2*h - 3. Suppose -h*x + 119 = 11*x. Is -2 less than or equal to x?
True
Suppose -f = y - 80, 4*y = 4*f - 2*f + 350. Is 86 >= y?
True
Let c(z) = z**3 - 8*z**2 + 3*z - 3. Let y be c(8). Let r be (3/(-6))/(y/14). Which is greater: r or -3/8?
r
Let o = 290 + -289. Suppose -3*t - 18 = 3*p, 3*p + p = 3*t + 4. Let a be (-114)/(-135) + p/5. Is a not equal to o?
True
Let b = -82296 + 82299. Let i be 1/(-2 + (0 - -1)). Let o(j) = 3*j**2 - j. Let w be o(i). Which is bigger: b or w?
w
Let a(i) = -i - 4. Let x be a(-5). Suppose 3*j + 3*f = -2*f + 1213, 4*j + f - 1623 = 0. Let p = j - 10148/25. Which is smaller: x or p?
p
Let v = -345.07 - -346. Is v bigger than 1/2?
True
Let u = 604 + -603. Which is smaller: u or -2/423?
-2/423
Suppose 5*f - f + 3*j - 3 = 0, f - j - 6 = 0. Suppose -1 = -2*c - k, -2*c - f*k + k + 4 = 0. Which is smaller: c or 3/19?
c
Let o(p) = p**3 - p**2 + p - 12. Let l = -18 - -18. Let y be o(l). Let h = -0.2 - -1.2. Is y <= h?
True
Suppose 6*m - 3*m = 18. Suppose -2*o = 2*s + 16, -28 = 5*s + m*o - 4*o. Suppose -2*d = b + 7, -2*d - b = -6*b + 25. Is s greater than d?
True
Let o(y) = 4*y**2 - 2*y - 2. Let k be o(-1). Suppose 0*w = -4*w, -184 = -4*c + k*w. Let h be (2/(-8))/(c/8). Which is bigger: h or 1?
1
Suppose j = -8*s + 3*s + 24, 5*s - 40 = -5*j. Let b(y) = y**2 + 3*y + 1. Let w = 7 - 11. Let a be b(w). Which is greater: a or s?
a
Let b(h) = -3*h + 4. Let v be b(2). Suppose r - m + 6 = 0, -2*m - 9 = 5*r - 0*m. Let p be (r - -4)/(1/(-3)). Is p >= v?
False
Let p be 6/9*(-15)/(-20)*2. Let h be -2*(0 - p)*(-1)/211. Is 1 smaller than h?
False
Let r be 35/14*(-8)/(-50). Let b = -17.8 - -20. Which is smaller: b or r?
r
Let n be ((36/15)/(-3))/((-8)/(-20)). Which is greater: n or -3/5?
-3/5
Suppose 12 = w + w. Let h be (18/4)/(1/(-16)). Let x be ((-12)/15)/(-4) + h/(-15). Which is smaller: w or x?
x
Let q(w) = w**3 + 2*w**2 - w - 2. Let l = 99 + -101. Let i be q(l). Let k(z) = -z + 1. Let n be k(7). Is i >= n?
True
Let v = 1 + 7. Suppose -11*w + v*w + 9 = 0. Suppose -w*y + y = -6. Is 22/5 at least y?
True
Suppose 0 = -3*g + 6, 5*a = -2*g + 3*g - 1052. Let x be (9/a)/(18/(-8)). Which is smaller: 0 or x?
0
Suppose 0 = 4*p - h + 4*h - 4, 2*h - 12 = 2*p. Which is greater: -15/7 or p?
p
Let n be (-215)/(-75) - (-4)/30. Let r be (n + 16/(-6))*-70. Which is greater: r or -22?
-22
Suppose 4*h + h - 4*n - 18 = 0, -n = -h + 4. Suppose -3*v = -h*v - 1, v - 154 = q. Let l = 609/4 + q. Which is smaller: 1/4 or l?
l
Suppose -n + 1369 = -4*q, 11*q + 1700 = 6*q + 5*n. Is -344 greater than q?
False
Let t = 58 - 32. Let m = 26.2 - t. Are m and 3/11 nonequal?
True
Let v = 162 - 161. Is v >= -20/13?
True
Suppose 62*s - 1708 = s. Which is smaller: 20 or s?
20
Suppose 16*h + 10*h - 572 = 0. Which is smaller: h or 26?
h
Let x(u) = u**3 + 3*u**2 - 4*u - 2. Let j be x(-5). Let d = 295/9 + j. Which is smaller: d or 1?
d
Let i = 41 - 41.2. Let u = i - -0.5. Is -8 greater than u?
False
Let n be (1/(-2))/((-3)/(-24)). Let f(t) = -7*t - 22. Let z be f(n). Is 6 != z?
False
Let a = -15/38 - -1/2. Suppose 0*s + s = -4*y + 3, 4 = -5*s - y. Which is greater: a or s?
a
Let o(p) = -4*p**2 + 6*p - 21. Let l be o(3). Which is greater: -40 or l?
l
Let b be 2*-3*(-3)/18*25. Which is bigger: b or 32?
32
Let w = 6 + -4. Let a = w + -1. Suppose -g - 2*g + 9 = 2*c, 15 = -2*c + 5*g. Is a at least c?
True
Let t = 9 + -58. Does -1/4 = t?
False
Let y be (4*2/(-12))/((-15)/9). Which is greater: y or -25?
y
Let n = 1.2 - 0.9. Let q = n - 0.4. Is -4 smaller than q?
True
Let a = 13 - -14. Suppose -9*q - 2323 + 2557 = 0. Are a and q non-equal?
True
Let j be (-105)/4 - (-584)/(-73). Are 5 and j equal?
False
Let k(x) = -x**3 - 25*x**2 + 6*x + 77. Let y be k(-25). Does 1 = y?
False
Let j be (21/20)/(33/55). Which is smaller: j or 1.2?
1.2
Let y be (3 + -2)*(-6)/(-5 - -2). Let r be (34 - y)/(5 + -3). Are 15 and r unequal?
True
Suppose d - 3 - 21 = 0. Let l be (-2)/3 + 64/d. Suppose 15 = 5*v + 3*b + l*b, 6 = v + 2*b. Are v and -1/4 equal?
False
Suppose -2*h + 5*x = 6, -4*x + 8 = h - x. Suppose h*l = -d + 5*l + 16, 3*d - 28 = 5*l. Are 1 and d equal?
True
Let b = -965/7 + 125. Which is bigger: -14 or b?
b
Let k = 571/3 + -190. Which is bigger: -59 or k?
k
Let v be 8 + 7*120/(-108). Which is bigger: v or -59?
v
Let c = -32/25 + 16/325. Is c at least as big as -2?
True
Let w be (-3 + (2 - 86))*-1. Suppose -20*q = -23*q - w. Are q and -29 non-equal?
False
Let d = -3115576/20205 - 7/4041. Let p = d + 155. Do -0.8 and p have the same value?
False
Let o = 235/12 + -85/4. Is -3 at most o?
True
Suppose 2557 = -12*c - 2591. Is -429 greater than c?
False
Let f be (-2)/10 + (-34)/5. Let g(v) = 12*v + 6. Let s be g(f). Let w be 12/s - (-11)/(-13). Which is greater: w or -2/3?
-2/3
Suppose 4*j + 302 = 26. Let w = -67 - j. Is 11/4 at least as big as w?
True
Let y = 20 + -16. Suppose -b - y*t = t - 50, 0 = b - 2*t - 43. Suppose -4*r + 4*n + 15 = -b, 5*n = 2*r - 45. Is r greater than 9?
True
Let x be 111/(-51) - 1 - (23 + -30). Which is smaller: 3 or x?
3
Let r = -901 - -1783/2. Suppose -4*k = -5*k - 5, 2*j - 7 = 5*k. Which is greater: j or r?
j
Let m = -583 - -24485/42. Which is smaller: -1 or m?
-1
Let h(q) = -q**2 - 20*q - 8. Let b be h(-10). Which is smaller: 94 or b?
b
Let r be 9/(-6)*2 - -8. Suppose r*u - 2*u + 39 = 0. Let g be u/(-52) - 14/(-16). Which is smaller: g or 1?
1
Suppose -7*s = -2*s - w - 6, 0 = -s + 3*w + 4. Let h be 348/21*(-3)/4. Let x = h - -689/56. Which is bigger: x or s?
s
Let i = -906 - -19022/21. Let d = 2 + -2. Which is smaller: d or i?
i
Let k(w) = -6*w - 237. Let m be k(-37). Let o = -6 + 3. Let y(p) = p**3 - 4*p - 1. Let s be y(o). Is s > m?
False
Let f = 4304/7 + -616. Suppose 0 = 3*a + y - 109 + 20, 0 = -2*a + 4*y + 64. Let h be 24/(-42) + a/(-21) + 1. Which is greater: f or h?
h
Let i(n) = 8*n - 57. Let s be i(7). Is s at least as big as -4/31?
False
Suppose -5*y - 67 + 2 = 3*n, -5*n + 5*y - 95 = 0. Let c = n - -19. Let b = -4/161 - 94/9177. Which is smaller: b or c?
c
Let l be -3*(-3 + 2 - 2). Let q = l + -3. Suppose f = 1 - q. Which is smaller: -7 or f?
-7
Let j = 10789 - 10681.22. Let x = j - 108. Which is smaller: x or -0.1?
x
Let j = -5122 + 640252/125. Suppose -2*q = -q - 1. Which is smaller: j or q?
j
Suppose 0*v = -4*v - 12, -5*i - 3*v - 29 = 0. Let q(y) = -y**2 - 4*y - 1. Let t be q(i). Which is smaller: 12 or t?
t
Suppose 6*z - 9*z + 30 = 0. Let a = z + 1. Are 11 and a unequal?
False
Let r(q) = q**3 + 5*q**2 - 4*q + 42. Let i be r(-7). Which is smaller: -25 or i?
i
Let i = 5.6 - 5. Is 7 at most i?
False
Let c = 16.3 + -24.3. Which is bigger: 0.008 or c?
0.008
Suppose 0 = -4*r - 4 - 12. Suppose -2*n + 70 = 3*d, 2*d = 3 + 5. Let a = n + -32. Is r at most as big as a?
True
Let c(m) = 15*m**2 + m + 1. Let x be c(-1). Suppose -11 - x = -2*s. Let h be (4/3)/2*(-27 - -45). Is s <= h?
False
Let w = 0.63 + 0.27. Let o = 0.7 - w. Which is bigger: o or 0.01?
0.01
Let l be 78/(-175) - 2/(-7). Suppose 23*d = 26*d - 27. Suppose -6*o - 3*o - d = 0. Is l at least o?
True
Let a be ((-24)/(-5))/(2/(-4201)). Let j = a - -647251/65. Let r = 125 + j. Which is smaller: -1 or r?
-1
Let x = 0.2 + 0.1. Let p = 13/23 - 22/161. Are x and p equal?
False
Let s be (-7)/(-28) + (-431)/(-4). Let r = s + -6481/60. Let u = 43/120 - r. Which is smaller: 1 or u?
u
Let c(x) = -x**3 + 8*x**2 - x + 3. Let j be c(7). Which is smaller: 44 or j?
44
Let i be 0*(-1)/2 + 109/(-109). Is -9/5