uppose -766 = -5*a + 8*a + 4*s, 0 = -s - 1. Do -251 and a have the same value?
False
Suppose t + 4*t - 35 = 0. Let f(j) = -7*j**3 + j**2 + 9*j - 14. Let m(a) = -3*a**3 + 4*a - 7. Let p(l) = 2*f(l) - 5*m(l). Let h be p(0). Does t = h?
True
Let l = 1.8149 + -1.8719. Is 0.98 < l?
False
Suppose 6*w + 3*w - 18 = 0. Let x(l) = -18*l + 28. Let d(r) = 8*r - 14. Let c(t) = -5*d(t) - 2*x(t). Let o be c(4). Which is greater: w or o?
w
Let f = -135.2279 - 1.7721. Which is smaller: -28 or f?
f
Suppose 0 = 39*z - 83826 - 14571. Which is bigger: 2522 or z?
z
Let n be (24 + -24)*2/(-8). Let d be (-3 - (-5)/(-45)) + 2. Which is greater: d or n?
n
Let s(i) = i**3 - 21*i**2 - 22*i + 1121. Let m be s(19). Which is bigger: 57 or m?
57
Let v be (6/3 - (-3 + 1)) + -3. Let g = 1418 + -9910/7. Which is bigger: g or v?
g
Let f be 1425/57 - 399/16. Which is smaller: f or -306/5?
-306/5
Suppose -5*i - 2*d - 4 = 0, -6*d + 9 = 3*i - d. Which is smaller: -66/83 or i?
i
Suppose -4*a = -b + 780, -2*b = a - 709 + 904. Which is bigger: -209 or a?
a
Let a = 9842.308 - 9797. Let q = -0.308 + a. Is 1 at most q?
True
Suppose 86 - 554 = -36*z. Let n(w) = -w + 3. Let c = 19 + -27. Let p be n(c). Which is bigger: z or p?
z
Let v be ((-2)/4)/(21/2100). Let w be -2*v/(-70)*(-2)/(-4). Is w < -1?
False
Let q = -2927 + 2924.3. Which is smaller: q or 4?
q
Suppose 54 = -9*n - 27. Let a be (-1)/(-2 + (-15)/n*3). Is -14 at least a?
False
Let y(f) = 9*f - 27. Let q(p) = -5*p + 13. Let o(v) = 5*q(v) + 3*y(v). Let z be o(7). Let i be ((-17)/68)/(z/(-4)). Is i equal to 3/4?
False
Let b be (18 - (-4 + 8)) + (-10 - -6). Which is greater: 221 or b?
221
Suppose -3*c + 0*c + 45 = 0. Suppose -7*v = -2*v - c. Let f(s) = -s**2 + 4*s - 7. Let b be f(v). Which is smaller: -1 or b?
b
Let g = -2551 - -2552. Let z be 0 + 0/(4/1). Suppose z*q + 16 = -q. Which is greater: g or q?
g
Let s(t) = -t**3 + 43*t**2 - 425*t - 188. Let x be s(27). Which is smaller: x or 111/172?
111/172
Let b(w) = w**2 - 14*w - 40. Let n(g) = -3*g**2 + 4*g - 4. Let j be n(1). Let m be b(j). Let h be (-30)/4*(-4)/3. Which is bigger: m or h?
m
Let t(j) = 9*j**2 + 1081*j + 1191. Let o be t(-119). Let n(c) = c**3 - 6*c**2 + 5*c - 8. Let r be n(6). Is r != o?
True
Let f be (-1)/4 + 255/636. Which is smaller: f or 1?
f
Let j(p) = -340*p + 1922. Let q be j(10). Is q equal to -1478?
True
Let d = 0.334 + 0.236. Let f = 30.43 + d. Which is bigger: -2 or f?
f
Suppose 0 = a + 7*a - 448. Suppose a = -5*j + 13*j. Suppose 4*h + h + 4 = 3*c, -28 = -3*c - h. Which is bigger: j or c?
c
Let u = 269/868 - 13/217. Is u at most as big as -1632?
False
Suppose -232*r = -80*r - 357200. Which is smaller: r or 2351?
r
Suppose -17 = -3*w + y - 366, -w = -2*y + 113. Let l = w - -264. Do 147 and l have the same value?
True
Let j be 8/14 - ((-18774)/(-3321))/7. Let g = j + 4/287. Which is smaller: 0 or g?
g
Suppose 9*m - 3 = 3*k + 8*m, 0 = 4*m. Which is smaller: k or 2/3355?
k
Let l be -2 + (-2 - 6/(-3))/2. Let j be ((-8)/l)/(10/5). Suppose 0*h - h = -v - j, 0 = 5*h - 4*v - 10. Is h not equal to 4?
True
Let k = -9.819 + 9.519. Let b = -23.1 + 0.1. Which is smaller: k or b?
b
Let o = 295 - 345. Let f = o + 50. Which is greater: f or -4/11?
f
Let k be (-130 - -122) + (-4800)/(-2). Are -1 and k equal?
False
Let f(m) = m**3 + 5*m**2 + 7*m + 1. Let n be f(-2). Let c be (9 - 8)/(n/(-133)). Suppose 9*w + c = 2*w. Is -19 < w?
False
Suppose -6*v + 9*v - 5*b + 6304 = 0, 2*b - 2101 = v. Which is bigger: v or -4203/2?
-4203/2
Suppose 67*j + 55*j + 588 = 108*j. Which is greater: -1016/25 or j?
-1016/25
Let h = 2766.8 - 2767. Suppose 4*w + 53 = -3*t, -5*t + 60 = -10*t - w. Let d = t + 21. Is d less than or equal to h?
False
Let w(o) = o**2 + 82*o + 1233. Let h be w(-16). Is h >= 182?
False
Suppose -206 - 61 - 335 = 43*q. Which is smaller: q or 9.8?
q
Let h = -2/17325 + -34376/2373525. Let j = 5 + -5. Is j at most h?
False
Let b(z) = -7*z**3 - 100*z**2 - 25*z + 41. Let r be b(-14). Let a = 5/29 - 227/812. Is a at most r?
False
Let m(o) = 201*o - 6864. Let h be m(39). Which is smaller: h or 2929/3?
h
Let q(m) = -m**2 + 55*m - 54. Let b be q(54). Let f = -461 - -3693/8. Which is greater: b or f?
f
Let g = 19623215/23 + -852054. Let z = 1129 - g. Suppose a - 2*m + 1 + 0 = 0, -a = -m. Is z greater than or equal to a?
False
Let t be 2/(-1) + 3/(21/35). Let j be ((-12)/t*(-12)/(-8))/2. Which is bigger: 0 or j?
0
Let k = -17782 + 11469394/645. Which is smaller: 1 or k?
k
Suppose 10*j - 13*j - 4*t = -13, 5*j - 5*t - 10 = 0. Suppose 0 = -v + 3*c - 164, -j*c - 152 = 4*v - 3*v. Which is smaller: v or -157?
v
Let d be 44/52*25 - (-4)/(-26). Let a(z) = -z**3 + 21*z**2 + z - 21. Let j be a(d). Is 23 less than j?
False
Suppose -5*n + 4*g + 55 = 0, 0 = n + 2*n - g - 26. Let j be n/(7/4) - (-504)/(-138). Which is smaller: -1 or j?
-1
Let g be (-7)/((-21)/2)*3223473/274. Is 7844 less than or equal to g?
False
Let z = -7173 - -8352. Is z bigger than 1176?
True
Let c be -17 + 16 + 72/31. Which is smaller: 1 or c?
1
Let q(j) = j**2 - 10*j + 6. Let i be q(8). Let z = i + 11. Let a be ((32/26)/(-4))/((-2)/4). Which is greater: a or z?
z
Let c = 75840 - 379202/5. Let w = -0.17 + -0.04. Which is smaller: c or w?
c
Let x = 5/3799 - -7573/18995. Let a = -2 + 2. Let w be (0/2)/(a - -2). Is w < x?
True
Suppose 5868 = 142*y + 31854. Is y less than -176?
True
Let c = 595 - 350. Let w = c - 244. Which is smaller: w or 3/160?
3/160
Let t = 2/425273015 - 1250217632471/4885111123305. Let q = -2/1641 + t. Which is greater: 0 or q?
0
Suppose 0 = n + 2 - 0. Let h = -3328 + 3335. Is n at least h?
False
Let h = 61433/66 + -7495/6. Which is smaller: h or -319?
-319
Let h be ((-204)/16 - -3)/1 + (-2)/8. Which is greater: h or -201?
h
Let w = -140 - -143. Suppose 5*l = m + 1, -w*m = -3*l - 7*m - 4. Is 9/49 equal to l?
False
Let j(w) = 2*w**3 + 13*w**2 - w - 40. Let m be j(-5). Let r(c) = c**3 + 8*c**2 + 5*c - 6. Let s be r(-5). Which is greater: s or m?
s
Let x = 1744423/25 + -69766. Does 12 = x?
False
Suppose -5*m - 559 = 2*d, -m + 241 + 42 = -d. Which is bigger: d or -284?
d
Let x be -18 + ((12 + -1)/110)/(2/20). Which is bigger: x or 2?
2
Let p be (-126)/5*(-7 + 12). Let j = p + 122. Which is bigger: -7 or j?
j
Let j be ((-8853)/(-6))/13 - 7/(-14). Which is smaller: 119 or j?
j
Suppose -10*s + 95*s - 2355 = 8270. Which is bigger: s or 124?
s
Suppose 0 = -0*v - 3*v + 6, 310 = 2*t - 5*v. Which is smaller: 1269/8 or t?
1269/8
Let z be 96/8 + -9 - 9 - 102. Which is smaller: z or -977/9?
-977/9
Let t = -27766/235 - 162/47. Suppose 5*j + 13*u = 18*u - 605, -u = 4*j + 484. Which is smaller: t or j?
t
Suppose 36*c + 2*c + 11*c = 48853. Is 997 at most as big as c?
True
Let q be 2/(176/53438) + 6/(-4). Which is bigger: q or 607?
607
Let b(f) = -2*f**2 - 27*f - 27. Let l be b(-11). Suppose -4*x - 23 = 2*p - 1, -5*x - 2*p = l. Is -7 smaller than x?
True
Suppose -1869 - 1701 = -6*x. Let s be 168/x*30/(-4). Which is smaller: s or -1?
s
Let r(q) = -6*q - 18 + 144 - 2*q + 15 - q. Let m be r(17). Let g(f) = -f**3 - 6*f**2 - 6*f - 3. Let i be g(-4). Do i and m have the same value?
False
Let n = -2494 - -2691. Is -11 smaller than n?
True
Let n(v) = v**2 + 13*v + 31. Let h = 70 + -78. Let m be n(h). Suppose 34*o - 31*o = -24. Is m <= o?
True
Suppose 107*u + 2*o - 286 = 109*u, -2*u = -o + 291. Which is smaller: -149 or u?
-149
Suppose 16*d - 5*g = 15*d + 80, 150 = 3*d - 5*g. Is d smaller than 533/15?
True
Suppose -51 = 3*a + 15. Let b = 409 + -412. Let k be (-378)/(-81)*(3/(-2) + b). Which is greater: k or a?
k
Let p = 0.866 - -574.134. Let g = 379 - p. Are g and 0 equal?
False
Suppose -5*v - 4*d + 87 - 2 = 0, 2*v = 5*d + 1. Suppose -h + 0*h = -6. Is h at most as big as v?
True
Let u be (-1968)/96*(-26)/1. Let d = 535 - u. Let m be 1 + (0/2)/2. Is d equal to m?
False
Suppose -14 - 90 = -2*n. Let m = n + -42. Suppose -5*x = 3*r - 7, 5*x - 2*r = m + 2. Is -3 at least as big as x?
False
Let s = 192 - 183.3. Let i = -11.68 + s. Let h = 3 + i. Is 0.01 greater than h?
False
Suppose 3*f - 129 = -3*k, -6*k + 2*k = -f + 23. Suppose 8*c - 47 = -f. Let n be 1 + (1 - 400/202). Is n less than c?
True
Suppose 7*f = 4*f - 3, -4*x = 2*f + 1114. Which is greater: x or -280?
x
Let a be (58/2 + -32)/(-6*2/(-4)). Is a equal to -146?
False
Suppose -712 = -26