 same value?
True
Let z = 13 + -12. Let b(v) = 2*v + 1. Let c be b(1). Suppose o - c = 2*t - 2, 2*o - 5 = t. Is t at most as big as z?
True
Suppose -12 = 4*v + 2*n, -3*v + 2*n + 8 - 3 = 0. Let s be (-33)/(-6) + v + -4. Is 244 > s?
True
Let z(u) = u**3 - 11*u**2 - 10*u + 2. Let p be z(12). Let o = p - 29. Let y be 147/(-35) + 6 + -5. Which is greater: o or y?
o
Let v be 17/(1020/45255) + 5/(-4). Is 755 greater than or equal to v?
True
Let h = -1460 - -586. Is -1/20 at most as big as h?
False
Let g be (-162)/(-14) + (8 - (-371)/(-49)). Suppose -2*q - 4 = 0, 2*q - 80 = -4*x + g. Suppose -14 = -t + x. Is 37 equal to t?
False
Let i = -734.7 + 734.2. Let c = -5 - -11. Is i > c?
False
Let q(s) = s**3 - 2*s**3 - 1 - 190*s + s**2 + 194*s. Suppose 3*l - 4 = l. Let c be q(l). Are c and 1 unequal?
True
Let l(b) = -3*b - 23. Let h(k) = -4*k - 2. Let x be h(1). Let w be l(x). Let a be (-6)/2 - (-215)/(-360)*w. Is a smaller than -1?
False
Suppose -2*z - 5*j - 2 = 0, j = 2*z - 4*j + 2. Let u be (-10*2/(-34740))/(2/(-6)). Is z >= u?
False
Let c = -48/133 - 4/19. Let n be (-170)/(-18) + (-32)/72. Let w be (n/(-27))/((-4)/6)*-2. Is c less than or equal to w?
False
Let m = -80 - -426. Suppose 5*x + 4*q - m = 87, -5*x + 429 = 2*q. Let n = x - 84. Which is bigger: 4 or n?
4
Let n(g) = g**2 + 10*g + 17. Suppose 2*c - 44 = 3*a, -4*c + 9 - 33 = a. Let f be (-24)/a + 57/(-6). Let w be n(f). Which is smaller: w or -2/197?
-2/197
Let u = -278.1 + 278.2. Is u less than or equal to -936/5?
False
Let c = -342 + 318. Let x be 2/c*-4*(-658)/(-42). Which is smaller: x or 5?
5
Let i(o) be the first derivative of 6*o**3 + o**2/2 + 8. Let w be i(1). Suppose 52 = w*t - 21*t. Is t at most as big as -27?
False
Let u = -306892/55 - -5582. Is u != 3?
True
Suppose 1817*z - 118300 = 1767*z. Is z at most 2366?
True
Let y = 27879 + -27565. Is y at most -0.31?
False
Suppose -6*g = 35788 + 5432. Let c be 1/6 - g/900. Is 1/3 equal to c?
False
Let g be (-25102)/(-125335) - (4/(-20))/(-1). Let a = 132492/17905 + g. Which is smaller: a or 6?
6
Let f(r) = r**3 - 95*r**2 - 293*r - 112. Let v be f(98). Let m = -5 - 10. Which is bigger: m or v?
v
Suppose 2*j = -3*h + 1307, -4*h - 5*j = -h - 1301. Let d be (3 - (-15)/(-6))*152/h. Is d equal to 1/6?
False
Suppose -5*h + h - 16 = 0. Let z be h - (-2 - 1) - -1. Let w = -1669 + 115159/69. Is w greater than or equal to z?
False
Let l be 3*(-2 - (-1 + -3)). Let q(t) = -2*t + 4. Let n be q(l). Which is smaller: n or 5?
n
Let n = 26 + -24. Suppose 0 = -5*b - 3*o + 1 + 22, 4*o = -n*b + 12. Let z be b*((-15)/5 - 1). Which is smaller: z or -15?
z
Let w be 144/32*(-28)/21*6/4. Is -654/79 at least as big as w?
True
Let f(s) = -234*s - 374. Let t be f(-6). Is t > 1034?
False
Let n = 357529/19 + -12961763/665. Let q = -674 - n. Let y = -3.3 + 3. Is y bigger than q?
False
Let h = 2554 + -12772/5. Which is smaller: h or 1.69?
h
Suppose -2*m + 5*b - 12 = -5, 5*b - 25 = 0. Let u be 1 + (21/m)/(12/108). Is u at most 23?
True
Let y(d) = 0 - 6*d + 0*d + 10 + 3*d. Let k be y(3). Let u be (8/24)/(302/(-12)). Which is smaller: k or u?
u
Suppose -24*f = 34 - 10. Let b be (-140)/(-9 - f - -6). Which is greater: 65 or b?
b
Let a(r) = 2*r - 3. Let b be a(3). Let v(g) = g**2 - g + 42. Let f be v(7). Suppose 0 = f*h - 88*h + 20. Does h = b?
False
Let x be (-6)/51820*19/(798/56). Is x at least as big as -1?
True
Let a = -127051.463 + 127238. Let u = -0.463 - a. Which is smaller: -1 or u?
u
Let a = 2545 + -2481.49. Let w = a + 1.49. Do -2 and w have different values?
True
Let r = 36 - 32. Suppose -r*f + 27 = 3. Suppose -f*c = -7*c. Does 0.56 = c?
False
Let x be (7 - 718/(-6)) + (-2)/(-6). Suppose -2*a = 2*q + 124, 0 = -2*a + 4*a + 5*q + x. Which is smaller: -60 or a?
a
Let l = -85 + 90. Suppose -37 = l*z - o, -5*z - 2*o + 0 - 46 = 0. Let s = -20 - z. Which is greater: s or 3?
3
Let j be (-84)/14 - (-2 - (-6169)/5). Which is smaller: -1237 or j?
j
Let g = -13159 - -12969. Is -20 greater than or equal to g?
True
Let f = -9542 + 15087. Are f and 5544 equal?
False
Let t be (-532)/(-980)*5/10. Which is smaller: 1 or t?
t
Let k = -0.6288 + 15.6288. Is 155 at most as big as k?
False
Let f = 5155 + -6505. Which is bigger: f or -1352?
f
Let h = 233289/5 + -47601. Which is bigger: -942 or h?
-942
Let i = -1511/3 - -510. Let t be (1 - 16/20) + (-363)/(-60). Let s = t - i. Which is greater: s or 0.1?
0.1
Let j be 6 + (1 - 4)*1. Suppose m + 22 = 5*u, 4*m + j*u + 29 = -105. Let s be ((-1)/(20/m))/(-10). Does s = -1?
False
Suppose 4*f - 29 = -a, a - f + 519 = 508. Is a at least 197?
False
Let m(s) = -510*s + 509. Let l be m(1). Is -2/10805 at most as big as l?
False
Let q be (-2)/(-1) + 24/(-13). Let h be (-10)/(-2 - (-1)/1). Suppose -15*j - 5*n - 10 = -h*j, 5*j - 4*n - 8 = 0. Which is smaller: j or q?
j
Let g be ((-2)/10)/(193/(-24125)). Are 0.03 and g non-equal?
True
Let m be -5 + 4*(-42)/(-12). Let w be (m/11)/(-4 - (-17)/4). Which is smaller: 4 or w?
w
Let k be (-30)/(-4)*(-43)/(146286/5760). Is k at most as big as -12?
True
Let i = 0.554 + 5.516. Let c = 2.1 - -3.9. Let t = i - c. Are -0.02 and t non-equal?
True
Let p(k) = k**2 + 13*k + 30. Suppose m = -2*m - 30. Let w be p(m). Do -2 and w have the same value?
False
Suppose -t = -w + 62, w + 4*t = 81 + 6. Let p(k) = -64*k**2 - 2*k - 1. Let b be p(-1). Let q = b + w. Which is greater: q or 5?
5
Let d = -4998 - -4998. Are d and -88.3 nonequal?
True
Let q be ((-462)/36)/(-11)*(-4)/(-567). Let k(r) = -11*r + 34. Let z be k(3). Which is bigger: z or q?
z
Let v = 102269/41473 - 165/67. Let y = v + 1224/4333. Do 0.09 and y have the same value?
False
Let s = -643.2 + -2340.8. Which is bigger: 1 or s?
1
Suppose -4*i - 2*g = 98, -20*i - 115 = -15*i + 5*g. Suppose -4*m = 6*x - 5*x - 15, 5*m - 82 = -4*x. Let r = x + i. Are -6 and r unequal?
True
Let m(p) = -4*p**3 + 276*p**2 - 6*p + 241. Let w be m(69). Which is smaller: w or 3?
w
Let a be ((-216)/30)/((-28)/4370). Let d = a - 1114. Is d not equal to 11?
True
Suppose -9071*b + 86 = -8985*b. Let m(c) = -4*c + 11. Let t(q) = 2*q - 5. Let k(u) = 6*m(u) + 13*t(u). Let x be k(4). Is x less than or equal to b?
False
Let n = -1407 + 1404. Which is smaller: -0.384 or n?
n
Let k = -608.71 + 616. Let n = k - -2.01. Which is bigger: -0.1 or n?
n
Let d(c) = -c**3 - c**2 - 6*c + 16. Let t be d(4). Is t bigger than -88?
False
Suppose 1523*h + 7 = 1516*h. Let x(j) = 9*j**2 - j - 2. Let w be x(-1). Which is smaller: h or w?
h
Suppose -6*y - 3*p - 41 = -7*y, -4*y - 3*p = -134. Let d be (-6)/(y/7 - 3). Which is bigger: -39/10 or d?
d
Suppose 2*p + 4 = -4, -4*t - 16 = 3*p. Let o be -19*5/40 + 2. Let u = 23/168 + o. Is u less than t?
False
Let h = -189 + 193. Suppose -h*d = 34 - 38. Let x be 2/8*(-16)/10. Which is smaller: d or x?
x
Suppose 45*n - 8 = -5 - 3. Which is bigger: -4368 or n?
n
Let i = -2714 - -8974. Let m be i/120 + 1/(-6). Which is smaller: 53 or m?
m
Suppose 7*p - 45 + 10 = 0. Suppose p*j + 21177 = 4*a, -11 + 5 = 3*a. Let v = j + 29611/7. Which is smaller: v or -8?
-8
Let g(s) = -1056*s - 7. Let r be g(-3). Let o = 464665/147 - r. Suppose 3*y - 1 = -4. Which is bigger: y or o?
o
Let u be -13 + (54 - -4)*18/84. Which is smaller: u or -22?
-22
Let i be 8392/390 + 2/(-6). Let m = i + -213/10. Let g(o) = -o**3 + 13*o**2 - 14*o + 23. Let z be g(12). Is m != z?
True
Let p(a) be the second derivative of 5*a**3/6 + 27*a**2 - 2*a - 31. Let f be p(-12). Which is smaller: f or -8?
-8
Let s = 7620/7 + -7632/7. Let v = 0.4 - 0.2. Let z = v + -0.3. Which is bigger: z or s?
z
Suppose 0 = 7*k + 14309 - 63806. Which is smaller: 7072 or k?
k
Let m = 125 - 132. Let f = 7.2 + m. Let x = -29 - -16. Which is smaller: x or f?
x
Let d be (-12)/(-18) + 14/6 - 1. Let x be 6424/4*d/4. Let o = x - 23289/29. Is o less than or equal to -1?
False
Let u = -3365 - -4163. Is 795 > u?
False
Let k be (-189)/(-42)*(-4)/6. Let r be 3/k*4/14. Is 0.86 at most r?
False
Let h(s) = s**2 + 15*s + 12. Let v be h(-14). Let k be (-12)/4 - ((-120)/(-4) + v). Let x be 20*(-1)/4*6 + -1. Is k not equal to x?
False
Suppose 5*d - 26 = 3*t, -d + t = -69 + 61. Which is smaller: 2/25317 or d?
2/25317
Suppose 0 = -k - 4*k - b - 5254, 3*k + 4*b = -3166. Which is smaller: -1053 or k?
-1053
Let q = 1522 + -387. Suppose -5*b + 2*g = -q + 187, -758 = -4*b + 2*g. I