 and -826/19 have different values?
True
Suppose -15*i + 20*i - 430 = 0. Suppose 0 = 81*u - i*u + 15. Let w be (u*2)/((-6)/100). Is -100 >= w?
True
Suppose -5*s + 36 = 2*t - 7, -5*s + 19 = -4*t. Suppose 6 = c + s. Let d be (-5 - c)/1 + -1. Which is bigger: -27/5 or d?
d
Let r(x) = 10*x + 284. Let u be r(-27). Let q be (4 - 48/u)/((-56)/(-14)). Is q equal to -9.3?
False
Let u(d) = d**2 - 4*d. Let w be u(4). Let n = -887245 + 51456355/58. Let z = 133/2 + n. Which is smaller: z or w?
w
Suppose -4*b - 4*i = -7*i - 14, 3*b = -3*i. Let z(y) = -13*y**2 - 267*y + 129. Let t be z(-21). Are b and t equal?
False
Let q = 130 - 128. Let s be q + -1 + 0 - (-486)/3. Is s greater than or equal to 163?
True
Let z = 328 - 326. Suppose 7*p + z*q = 5*p + 120, 3*q - 52 = -p. Is 3 < p?
True
Let w be ((-30)/12)/(2/(-96)). Let y = w - 115. Do y and -2 have the same value?
False
Let h = 149/11 + -425/33. Is -1894 at least as big as h?
False
Let b be -24 - ((1 - 1) + -2). Let t(k) = 17*k + 589. Let q be t(-36). Is b less than q?
False
Suppose 75 = -6*i - 21. Let o be i/12 + (-68)/(-6). Let r be 91/6 - o/60 - 1. Are 12 and r unequal?
True
Let w = 1.663 + -1.88. Let l = w - -0.237. Let y = 0.01 + 3.99. Which is greater: l or y?
y
Suppose 0*p - 4*p = -52. Suppose -13*o = -16*o + 12. Let u be o/(-14) + (-19)/((-1197)/648). Which is smaller: u or p?
u
Suppose -c + 208 = 202, 358 = -4*g + 5*c. Which is smaller: -81 or g?
g
Let m(g) = 995*g - 424. Let h be m(1). Is -7 bigger than h?
False
Let z be (1 + 0)*(8 + -6). Suppose 0 = -4*o - z*o. Suppose o = g - 2*g + 1. Does g = -1/4?
False
Let d = 1341.9 - 1342. Let r = -384 + 155. Which is smaller: r or d?
r
Let x = 1370/41 - 186409/5494. Is x bigger than -2?
True
Suppose 3*i = -239 - 214. Suppose 9030 + 8939 = -26*z - 93*z. Is z greater than i?
False
Let f(m) = -2*m**2 + 22*m + 41. Let t be f(12). Suppose -4 + t = -g + 3*z, -z = -g - 5. Is g bigger than 121?
False
Let q be 32/(-24)*(-3)/(-144)*8. Let w = 1251/25 + -50. Which is greater: w or q?
w
Suppose 3*c + 32 = 8. Let l be c/(-3)*(-9)/(-6). Let s be (-5)/l*(15 + -11). Which is smaller: s or -6?
-6
Let c be (0 - 0) + 11/(-55)*-5. Is -4/1811 less than c?
True
Suppose -3*c - 7 = -9*a + 4*a, -3*a + 5*c + 17 = 0. Let p = -318359/168 - -1895. Is a not equal to p?
True
Let d = -2 + -12. Let w = -89 - -8. Let p = w + 67. Are p and d equal?
True
Let w be (-5 - -4)*(15/25 + (-154)/715). Let h(c) = c - 2. Let t be h(4). Let z = -3 + t. Which is bigger: z or w?
w
Let y = 2.47 - 2.37. Let c be 4/(((-20)/(-88))/5). Is y greater than or equal to c?
False
Suppose -5*m - 350 = -5*o, 2*o - m - 25 = 117. Let i be (-10)/4 + (-1 - (-12 - -8)) - 1. Is i at most o?
True
Suppose -59*q + 12*q + 1598 = 0. Suppose -q*f - 3625 = 10111. Is f > -404?
False
Let j(l) = l**3 + 7*l**2 + 5*l + 7. Let u be j(-6). Suppose 0 = -u*h + 4*h + 45. Which is greater: h or 6?
6
Let f be (-2)/20*-2 + 306/(-255). Let o be f*4 - -15*6/18. Let p = -8/5 - -11/7. Which is smaller: o or p?
p
Let r be 954/(-12)*1596/(-63). Which is greater: 2015 or r?
2015
Let y(c) = -c**2 + 14*c - 44. Let p be y(10). Let f be 5/p + 30345/18900. Which is greater: 1 or f?
1
Let j be (-2002)/(-9702) + 1/((-7)/3). Is j less than 10.04?
True
Let u(d) = -d**3 + 3*d + 3. Let f be u(-2). Suppose -3*o + 17 = -s, 3*s = -o + 2*o + f. Which is smaller: o or 41/7?
41/7
Let t = -162 + 774. Let v = 573.9 - t. Let x = 38 + v. Are 2 and x nonequal?
True
Suppose -15*k - 404 = 856. Is k < -248/3?
True
Suppose -r - 5 = 0, -368 - 231 = -4*j - r. Is j >= 151?
True
Let a = -0.505 + -0.035. Let f = 0.4 + a. Let x = -0.02841 - -0.32841. Which is greater: f or x?
x
Let x(f) = -f**3 + 17*f**2 - 3*f + 24. Let v be x(15). Suppose s - 4*s + v = 0. Let i = -120 + s. Which is greater: i or 25?
25
Let i(h) = -h**2 - 4*h + 45. Let w be i(7). Let o be w/(-336) - (-290)/42. Suppose 11*f = o*f - 4. Is f greater than or equal to -1/64?
False
Let z be (215/80 - 1)*(-12)/(-1). Suppose 5*r - 2*r - 31 = -p, 4*p = -3*r + 88. Which is greater: z or p?
z
Suppose -5*b + 36 - 21 = 0. Let t be (18/36)/(b/6). Which is bigger: t or -1/24?
t
Let j be (2/3)/(2 + (-16)/9). Suppose j*i + 749 = 10*i. Let x be (318/8)/(-1*3/(-8)). Which is bigger: x or i?
i
Let n(g) = -20*g - 33 + 19*g - 124 - 24*g. Let r be n(-6). Let i be (-144)/22 - 0/(-4). Is r equal to i?
False
Let g be (8 + (-2)/(-4) + -7)/(540/416). Is g greater than 2?
False
Let k be (238/14 - -67)/(1 - (-19)/(-21)). Is 880 < k?
True
Let o = 7294 - 7295. Are o and -36/161 non-equal?
True
Let y = 0.04 + -14.04. Let c = 15.4 + y. Let n = -1.6 + c. Is n bigger than -12?
True
Let d = -0.16822 + -6.83178. Which is bigger: 431 or d?
431
Let h = -21.4 + -180.6. Let o = h - -206. Which is greater: o or 1.4?
o
Suppose -148*y + 2288 = 60*y. Is 100 greater than or equal to y?
True
Suppose 42 - 92 = 23*h - 73. Which is bigger: 1/48602 or h?
h
Let n = 5665 - 5664.8. Which is bigger: n or 22?
22
Let a = 104.43 + 0.57. Let u = -105.4 + a. Which is smaller: 20 or u?
u
Suppose -27 - 133 = 2*z + 4*p, z + 90 = 3*p. Let c = -1347/16 - z. Suppose -15 = 3*q + 2*a, 153*q - 158*q = -2*a - 23. Is c <= q?
True
Let t(g) = g - 3. Let s be t(4). Suppose 7*l - 132 = 5*l. Suppose 2104*r + l = 2110*r. Which is greater: r or s?
r
Let d be (-2 + -20)/(-4*1/(-22)). Let u = d - -237. Let g = 131 - u. Do 11 and g have the same value?
False
Let f be 3/(-5) + (-192)/30 + 7. Is f at most as big as -10/457?
False
Suppose 3*k + 1032 = 2*m - 779, -4*k - m = 2389. Which is smaller: -591 or k?
k
Let y = 6635/6 - 1106. Does y = 66?
False
Suppose -5*h = -h. Suppose h = 3*g - 54. Let s be 41088/2304 - 3/(-18). Is g greater than s?
False
Let a = 2 - 3. Let g be 298/(-22) - 1066/(-82). Which is greater: a or g?
g
Let a = -44 + 41. Let y(w) = 11*w + 9. Let g be y(a). Let q be g/9*((-9)/(-2))/(-3). Is q less than 4?
False
Let c be 7087 + -209*(-2)/22. Which is smaller: 7107 or c?
c
Let u be 2/(-7) - (24/(-42))/2. Which is smaller: u or -1.04?
-1.04
Let n = 81 - 67. Suppose -2*m + n - 4 = 0. Let y be m/(60/32)*(4 + -7). Is y smaller than -1?
True
Let d = 54 - -61. Let f = -116 + d. Is f at most -16/13?
False
Let t = 22 - 25. Let z be t/(15/(-5))*2. Let r = -819 - -821. Is r bigger than z?
False
Let o = -82 - -84. Suppose 0*p + 4*a - 18 = -o*p, 4*a = -5*p + 21. Suppose 12 = 3*q, -l + q = -2*l + 7. Is l >= p?
True
Let u = 35642 + -35642.002. Let r = -94 - -158. Let g be r/(-126) - 2/(-9). Which is bigger: u or g?
u
Let v be (7/((-7)/(-6)))/((-102)/(-68)). Suppose v*f + 2*u = 6, 0*f = 5*f - u + 10. Which is bigger: f or -2/805?
-2/805
Let t be (-84)/280*6208/(-6). Let n = t + -35621/115. Is n bigger than 2?
False
Let o(c) = c**2 - 6*c + 1. Let s be o(7). Suppose -w + s = 4*v - 3*w, 4*v - 8 = 3*w. Let g be v*-10 + 2 - 1. Is -18 greater than or equal to g?
True
Suppose -1 = 5*f + 9. Suppose -s = 4*c + 62, 2*s - 4*c - 24 = -172. Let v be 16/(-10) - (-28)/s. Is v at least f?
True
Let o = -0.0199 - 468.9801. Let b = -468 - o. Is 184 at least b?
True
Let t = -0.0532 - -46.6332. Let v = t - 42. Let l = v + -0.58. Which is smaller: l or -0.1?
-0.1
Suppose 29*i + 189 - 74 = -320. Let y(l) = 3*l**3 + 3*l + 3. Let p be y(-2). Let d = p + 11. Which is bigger: d or i?
i
Let y(t) = -8*t - 221. Let x be y(-30). Let s(n) = n + n + 1 + 5. Let u be s(7). Which is smaller: u or x?
x
Let l = -3578 + 4259. Which is bigger: 685 or l?
685
Let l be (-7)/(-7) - (4 - (-4)/2). Let p(x) = -x**3 - 12*x**2 - 10*x - 46. Let k be p(l). Is -172 less than or equal to k?
True
Let o(p) = -p**3 - 57*p**2 + 247*p + 184. Let w be o(-61). Is w greater than -109?
True
Let o(q) = -q**3 + 13*q**2 + 55*q + 7. Let p be o(17). Let z be ((-130)/4 + -1)/(107/p). Is z bigger than 66?
True
Suppose 3*g + 3*h + 2490 = 0, -54*h - 4995 = 6*g - 51*h. Which is bigger: g or -851?
g
Let g = -2 - -4. Let c = 388 - 388. Suppose -2*x + g*p + 2 = c, -2 = -2*x - 3*x + 2*p. Which is smaller: -9/11 or x?
-9/11
Let j = -4071/2 - -138415/68. Is j greater than or equal to 32?
False
Suppose 32*o - 5036 - 11958 = -3458. Which is smaller: 416 or o?
416
Let u = 21.046 + -0.046. Let t = -1648 - -1648.04. Which is bigger: t or u?
u
Let j be 35*((-32)/(-100))/4*-5. Let a = j + 59. Suppose -30*x - a = -33*x. Is 13 >= x?
False
Suppose -4*l = 4*b - 100, 0 = 12*l - 17