s big as y?
True
Let b be (-38)/16 + 57/152. Let a = 32 + b. Is a < 30?
False
Let a be 1*-1 + 38 + -36. Let v be 441/(-532) + a/4 + 0. Are -1 and v non-equal?
True
Let u = -3 + 8. Suppose -z = 4, 0 = -u*f + 6*z - 2*z - 114. Let t = -23 - 3. Are f and t equal?
True
Let n be 0/(10 + -19 + 13). Are -0.8044 and n unequal?
True
Suppose -4*j - 419 = 3*l, -7*l - 4*j - 145 = -6*l. Which is greater: l or -125?
-125
Suppose -7 = -2*z - 4*s - 101, -3*z + 2*s = 173. Let d = z - -306. Does d = 251?
True
Let k = 59183 - 6924527/117. Is -2 <= k?
True
Let d(z) = -z**3 + 11*z**2 + z + 25. Let y be d(11). Suppose -2*g - 10*g - y = 0. Let q(h) = h**3 + 8*h**2 + 4*h. Let x be q(g). Is 33 equal to x?
True
Let q(b) = 2*b**3 - 10*b + 9. Let m be q(3). Let u be ((-3)/(-2))/(m/(-44)). Is -12 != u?
True
Let s be (-1 - -4) + 75/(-3). Let f be ((-18955)/(-50))/(-17) - 3/6. Is s < f?
False
Suppose 0 = 66*x - 65*x + 4*n + 9, -4*x + 3*n = 17. Suppose -i - 11 + 4 = 0. Are i and x nonequal?
True
Let k be (-47)/7 - 10/35. Let t be 12/(k - -13)*-1. Which is smaller: t or -39/16?
-39/16
Suppose 3200 = -33*c + 8*c. Is c != -129?
True
Suppose 4*l + 39 = 17*l. Suppose 4*q + l = 423. Which is smaller: q or 107?
q
Suppose -7*f = -4*f - 15. Suppose -3*m + 131 = f*c, 2*c = -0*m - 3*m + 56. Let h = 27 - c. Is h at least 1?
True
Suppose -3*r + 81 = v + 4*v, 0 = -r + 2. Suppose -140 = -v*j + 8*j. Suppose 0*s + 42 = 2*s. Which is greater: j or s?
s
Let m = 39 + -46. Let l = m - -36. Let n = l + 35. Which is greater: -0.1 or n?
n
Suppose 3*i - 5*n + 85 = 0, 0 = -2*i - 2*n - 16 - 14. Let z be (i - -21)*5*-1. Is z smaller than -13/3?
True
Let p(c) = -c**3 + 6*c**2 - 6*c - 2. Let i be p(2). Let m be i + 21/(-9) - 7/(-3). Which is smaller: 71 or m?
m
Suppose 5211*w - 280 = 5221*w. Suppose 5 = -5*t, -c = 2*t + 3*t + 32. Is c at least as big as w?
True
Suppose 32*l + 7*l + 252126 = 246*l. Is 1222 not equal to l?
True
Let u be (13 - (-290)/(-20))*(-52)/(-345). Which is smaller: 1 or u?
u
Let n be 1352*-3 - -1*(9/9 - 2). Is -4057 > n?
False
Let r(n) = n - 6. Let t be r(8). Let z be 165/22 - (-1)/t. Suppose 12*p = 558 - 474. Is p greater than z?
False
Let g(u) = -u**2 - 125*u + 55 + 257*u - 147*u. Let q be g(-18). Is 2/145 greater than or equal to q?
False
Let w(g) = 3148*g**3 + 3*g**2 + 2*g - 4. Let r be w(1). Which is smaller: r or 3154?
r
Suppose -1218 = 41*h - 111. Suppose -121 = 9*a + 131. Which is bigger: h or a?
h
Let n(t) = 2*t**2 + 8*t - 2. Let r be n(-4). Let x = 14 + r. Let h be ((-940)/50)/2 - -9. Which is bigger: x or h?
x
Let c be (-2)/5 + (-117)/(-5). Suppose 0 = -5*k + 4*b - 200, -5*k - 25*b + c*b = 230. Is k greater than or equal to -46?
True
Let d be ((-10)/4 - -2)/(16/5536). Let f = -78 - d. Suppose -5*z = 5*n + f, 4*n + 135 = -n + 5*z. Is n > -24?
True
Let n(l) = -l**2 + 18*l - 17. Let m be n(19). Let d be ((-9)/m)/((-55)/1640). Are 0 and d non-equal?
True
Suppose -36 = 69*r + 56 - 23. Which is bigger: 2/114391 or r?
2/114391
Let u = -8475 - -8324. Let k = -1.5 + 1.3. Which is smaller: k or u?
u
Suppose 0 = v - 5*x - 64, -2*x + 64 = v - 0. Suppose 0 = 13*p + 19*p - v. Which is greater: p or 24/23?
p
Let g = 546 + -40403/74. Let r be 1/18*-3 - 5/6. Is g less than or equal to r?
False
Let z = 833 - 833.2. Which is bigger: -558 or z?
z
Let b(d) = -16 + 4*d + 32 - 11 + d**2. Let s be b(-3). Let k be (s/(-14))/((-8)/28). Is -16 less than k?
True
Let n be (-3)/(-24) + -1 + 1. Let t be (-105)/15 - (-230)/35. Which is smaller: t or n?
t
Let j be 2029744/(-8540)*2/12*-1. Let w = 832/21 - j. Is -1 less than or equal to w?
True
Let y = 5417 - 5418. Which is smaller: y or -3/1979?
y
Let b(u) = -165*u - 184. Let f be b(-10). Suppose -f = -4*q + 6*q + 2*j, 5*q - 3*j + 3657 = 0. Is q equal to -732?
True
Suppose 3*m + 2*v = -319, 2*m = -5*v - 78 - 153. Let f = m - 55. Is f > -158?
False
Let p = -538 - -353. Let t = -184.951 - p. Which is smaller: t or -1?
-1
Let a = 19784 - 19454. Are 51 and a nonequal?
True
Suppose 0 = -149*j - 195 + 2132. Let g = 4 - 6. Is g <= j?
True
Let i be (4 + 308/49)*(-2030)/(-20). Is 1043 <= i?
True
Suppose -8 = 4*t + 4*r, -10*t + 3*r + 6 = -5*t. Suppose t = -4*a + 18*a - 14. Let j = -1.3 - -0.3. Which is smaller: j or a?
j
Let p(i) = -100*i - 2926. Let r be p(-23). Are r and -635 non-equal?
True
Suppose -3*b + r = -39, -3*b = -2*b + 2*r - 13. Let i be (b/(-5) - -3)/((-2)/60). Let o(w) = -13*w**2 + w. Let p be o(1). Is i smaller than p?
False
Let j be -1 - -7 - (-1 + 8). Let v be j*((-30)/(-12) + -3). Let l = -2532/13 - -195. Which is smaller: l or v?
l
Let f = 245 - 2207/9. Let s = 6/77 - -337/616. Is s not equal to f?
True
Suppose 22*m - 20*m - 130 = 0. Let x = m + -57. Suppose x*d + 8 - 80 = 0. Are d and 29/3 unequal?
True
Suppose 8*k = -965 + 957. Which is smaller: k or 2/26113?
k
Let d = 6175 + -6174.95. Which is bigger: -1/344 or d?
d
Let p = -113197 - -113200.03. Let g = 4 - 3. Which is bigger: g or p?
p
Let c = -5475327/74 + 73991. Let a be -1 - -3 - 12/4. Which is smaller: a or c?
a
Suppose 45 = f + 3*x - 26, 5*x + 5 = 0. Suppose -j = -5*k + 2*k - 42, -5*k + 3*j = f. Suppose 48 = -2366*u + 2362*u. Which is bigger: u or k?
u
Let m(l) = l**2 - 7. Let o(k) = -2*k**2 - k + 15. Let q(n) = 9*m(n) + 4*o(n). Let f be q(-3). Let w be f/(-72) + (-102)/8. Is 2 at most as big as w?
False
Let a(b) = -b**3 + 16*b**2 + 6*b - 51. Let j be a(18). Let r = 589 + j. Which is bigger: -72/29 or r?
r
Let x = -2869 + 2752. Which is smaller: x or -121?
-121
Let f(z) = -3*z - 10. Let h be f(-5). Suppose -14 = 3*c - h. Suppose 2*r + u - 4 = -8, -r = 5*u - 16. Which is smaller: c or r?
r
Suppose -195*g - 372*g - 567 = 0. Which is greater: -3/17770 or g?
-3/17770
Let t = 554/15 + -188/5. Is 18 at most as big as t?
False
Let c be (-6)/((-14)/(25718/(-33))). Is -335 greater than or equal to c?
False
Suppose 1164 = -90*b + 354. Which is greater: -158/19 or b?
-158/19
Let j = 0.5 - 0.2. Let w = -0.0797 + 13.0797. Which is smaller: w or j?
j
Let y(q) = -q**2 + 19*q - 393. Let t be y(22). Do t and -458 have different values?
True
Suppose 0*m - 280 = 14*m. Let k = -72 - m. Let y = -53 - k. Is y != 5/16?
True
Let g(i) = 43*i + 10. Let o be g(4). Let z be 392/o + (-2)/13. Suppose s + 4*l - 4 = 0, s + 0*s - z*l = -8. Are s and -9/2 non-equal?
True
Let d = -0.202 + -1.779. Let c = d + -0.019. Let n = 14/9 - 11/9. Which is smaller: c or n?
c
Let x(f) be the first derivative of -3*f**2/2 + 11*f + 7. Let s be x(4). Which is smaller: s or 2/1233?
s
Let g = -659 - -1143. Which is smaller: g or 3/4?
3/4
Suppose -2*r = -3*i + i + 4, 5 = 2*i - r. Suppose 135 = i*d + 30. Which is bigger: d or 34?
d
Let i = 6 + -1. Suppose 0 = i*p - 0*p. Suppose p = 5*t + 5*z, -3*t + z = -2*t. Is t greater than or equal to 10/9?
False
Suppose -17*i = -16*i + 2*u + 33, -3*i + 4*u - 149 = 0. Let j(n) = 6*n + 5. Let x be j(4). Let o = -71 + x. Which is smaller: o or i?
i
Let c be (-2)/(-12)*90/24. Let p be 4 - (-4)/(-6)*6. Suppose -4*d + 4 = -p. Is c <= d?
True
Let m be (-2 + (-1080)/(-48))*(-3 - -1). Which is bigger: m or 18?
18
Suppose -u = -3*g - 2, 5*u = 3*u - g - 17. Let m = u - 4. Is m less than or equal to -10?
True
Suppose -90*u - 9*u + 176022 = 0. Which is greater: u or 1?
u
Let p = 1829 + -1829.1. Let w = -3 - -3.4. Let r = -0.11 - w. Which is smaller: r or p?
r
Let j(t) = t**3 + 7*t**2 + 5*t - 5. Let x be j(-6). Which is greater: x or -2/45313?
x
Let x be -2 + 18/5 + -2. Suppose -2*s - 5*y - 23 = 40, 35 = -4*s - 3*y. Which is greater: x or s?
s
Suppose 3*s = m + 10, -28*m = s - 26*m - 15. Suppose s*h + 1 = -g, -6*g = -2*g - h + 4. Let u be 6/(-64)*1*2. Which is greater: u or g?
u
Let o be (1 + 0 + (-51)/24)*126/(-189). Let r = 0.14 + -0.5. Let n = r + -0.04. Which is smaller: n or o?
n
Let l(y) = -2*y**2 + 14*y - 18. Let w be l(5). Suppose 42 = -3*u + 4*z, -4*u - w*z - 5 - 29 = 0. Let m = -7 - 4. Which is bigger: m or u?
u
Suppose -5*f - 4*v - 21704 = -8453, -3*f + 3*v - 7956 = 0. Which is bigger: f or -13259/5?
f
Let u be (-1)/2 + (179976/(-1800560) - 24/(-40)). Do 0 and u have the same value?
False
Let l(i) = -i**3 - 10*i**2 - 32*i - 128. Let z be l(-8). Are -11/280 and z nonequal?
True
Let n be (0 + -1)*85 - -2. Which is smaller: -91 or n?
-91
Let h = -138968 - -138968. Let t = -1/1301245 - 5400166733/22121165