. Does 616 = z?
False
Suppose -8030*i + 8042*i + 3444 = 0. Which is bigger: -293 or i?
i
Let z(h) = h**2 - 9*h + 3. Let i be z(6). Suppose 4*s = r + 146 - 191, -5*s = 2*r + 53. Which is smaller: i or s?
i
Let s = -110090 - -110082. Suppose -t = 3*t - 56. Suppose -t - 31 = 5*c. Which is bigger: c or s?
s
Let v be (-4)/(-14) + (-10)/((-2800)/(-4692)). Let q = -119/10 - v. Let x(a) = a**2 + a. Let o be x(2). Is q at least as big as o?
False
Let p = -247 + 32. Which is smaller: p or -208?
p
Let s = -68.28 - -68.3. Do -10/119 and s have the same value?
False
Let g = 55 + -46. Let u be g + -6 - (63/22)/1. Is u != 0.4?
True
Let f = 20 - 201. Suppose 28*m = 29*m + 180. Is f less than or equal to m?
True
Let z = 4435/3 + -23731/21. Are 348 and z non-equal?
True
Let d = -364.491 - -0.491. Let y = d - -549. Is 2 at least y?
False
Let z(t) = -t**2 + 8*t + 2. Let l be z(8). Suppose -3*y + 82 = -5*q, l*q = -5*y - q + 148. Let x(u) = 27*u**2 - 67*u + 69. Let i be x(1). Is y < i?
False
Let f = -577 - -576.9474. Let w = -0.2126 - f. Is -2 equal to w?
False
Suppose -1512 = 83*t - 92*t. Let x be 1*(3 - -4*332/8). Which is bigger: t or x?
x
Let t(q) = -21*q + 108. Let m be t(10). Suppose -102 = -3*w + 4*w. Is m at least w?
True
Suppose 2*y + 0*y = 0. Let k = 6/9359 + -28137/93590. Is y not equal to k?
True
Let g(v) = v**3 + 6*v**2 + 2*v + 2. Let t be g(-3). Suppose 490 = 3*d - 5*z + 96, 4*z = 4. Suppose d = 5*y + n + 12, 3*y - 69 = 3*n. Is y at most as big as t?
False
Let k = -4824 - -4823. Which is greater: k or 2/3103?
2/3103
Let r = 113 + -1053500/9323. Which is bigger: r or 0?
0
Let t be 2/93*1212/112. Let l = -5/31 + t. Suppose 26 = -5*o - 3*x, -5*o + 3*x + 129 = 113. Is o bigger than l?
False
Let b = 5861.01 - 5861. Suppose 5*h + 30 = 3*w - 8*w, -4*h + 6 = -2*w. Which is smaller: w or b?
w
Let q(g) = -g**2 + 15*g - 54. Let a be q(11). Let v be (-1047)/(-780) + -2 + (-6)/a. Which is smaller: -1 or v?
-1
Let d = -131 + 129. Let j = 559 + -589. Which is smaller: d or j?
j
Let t = -3483 + 3480. Which is smaller: -83 or t?
-83
Let a(w) = w**2 + 11*w - 20. Let k be a(-11). Let b(y) = -y**2 - 20*y - 16. Let z be b(k). Let m = -0.3 + 0.2. Is m at least as big as z?
True
Let a be ((-2)/68)/(2/188). Suppose 1308*q + 830 = -3094. Which is smaller: a or q?
q
Let s = 57386911/20570 + 956/2057. Let b = s + -2788. Is b > 1?
True
Let l be 1065 - (-6 + 5 - (-1 - 5)). Suppose 5*v - 2*x = l, 3*v = v - 4*x + 448. Are v and 215 unequal?
True
Let z be -6 + 8475/(-35) + 4 + (-3)/(-21). Which is smaller: -240 or z?
z
Let m be (-6)/((-404)/(5 + -9)). Let l = 17/1414 - m. Let o = 7 + -7. Is o bigger than l?
False
Let h = 20410 + -20413. Which is greater: -266 or h?
h
Let w be 642/(-3)*(-3)/(-12). Let m be (-277)/5 + (-259)/(-185). Are w and m equal?
False
Suppose -159*b + 6 = -165*b. Let i = -0.0656 + -19.9344. Which is smaller: i or b?
i
Let a(r) = 123*r - 440. Let d be a(2). Which is greater: -200 or d?
d
Let j be 3/(-33) + 0 + 1. Let y(t) = 8*t**2 - 89*t + 13. Let q be y(11). Let h be (q - 3)*0/2. Is j >= h?
True
Let j = 7713/13 + -593. Let u = -0.0201 - -0.7201. Is j greater than u?
False
Suppose -2*z = 5*k - 0*k + 2, -k + 18 = 5*z. Let g be 122 - (-4)/(-2) - (-2 - k). Suppose -g = -10*t + 6*t. Is t less than or equal to 32?
True
Let n(j) = 3*j - 37. Let t(w) = w - 12. Let m(i) = 2*n(i) - 7*t(i). Let l be m(9). Let o be (-2)/(-9) - 280/450. Which is bigger: o or l?
l
Suppose -1510 = 2*g - 16*d + 18*d, -3*g - 5*d - 2273 = 0. Let u = 766 + g. Which is smaller: u or 14?
14
Let q be 18387/(-5) + (2784/145)/(-12). Is q > -3679?
False
Suppose -29*j - 56358 = 33*j. Is j != -909?
False
Suppose -65*q - 19*q = 0. Which is smaller: -2/5603 or q?
-2/5603
Let w = 1479857/9 + -164659. Which is smaller: -229 or w?
w
Suppose 4*v + 6 = 5*y + 1, -6*v + 1 = y. Let c(q) = 3*q**2 - 1. Let o be c(1). Let a be o*(-6)/404 - 0. Which is bigger: y or a?
y
Suppose 0 = 16*k - 13*k + 9. Let f be 5/(-15)*k*227. Which is greater: f or 226?
f
Suppose -104 = -2*b + 346. Suppose -10281*d - 672 = -10284*d. Which is smaller: b or d?
d
Suppose -h - m + 6*m = 15, -6 = -3*m. Let r be (218 + 7)/h*(-2)/3. Is -7 greater than r?
False
Let t(m) = 5*m - 25. Let f be t(12). Let h be (-2)/14 + (-3775)/f. Let g = -59 - h. Do 49 and g have different values?
False
Let h be 3 + -4 + (-5 - (-7 + -2)). Suppose h*o - 4*t = -16, 64*o - 16 = 62*o - 4*t. Does o = -5/96?
False
Suppose 14*k + 6 + 8 = 0. Let m be (k - (-5)/2)*(-120)/558. Is 0 equal to m?
False
Let k = 23415.332 - -42.668. Which is smaller: 1 or k?
1
Let y be 14 - ((-124227)/(-180))/43. Which is bigger: -3 or y?
y
Let x(c) = c**2 - 7*c + 10. Let h be x(7). Suppose 0 = -i - 4*i - h. Suppose -93*j + 736 = -1181 - 1524. Is j != i?
True
Let f be 6549/118*(-8)/6. Let a be (-1 - -1)*f/(-222). Which is greater: a or 4/89?
4/89
Let c(i) = 73*i + 131. Let l be c(9). Which is greater: 792 or l?
792
Let u be (1 - 2)/(298/(-6)). Suppose 3*c = -5*f - 2, -2*f - 3 = -3*c + 2. Is c greater than or equal to u?
True
Let s(u) = -48*u - 36. Let i(z) = -19*z - 257. Let t be i(-14). Let h be s(t). Is h smaller than -468?
False
Let a = 0.01 - 4.01. Let v = 24382.91 - 24383. Are a and v nonequal?
True
Let z = 267 + -270. Let a be z/(-36)*16*(-3)/(-1038). Which is greater: 0 or a?
a
Let s(l) = -7*l**2 - 14*l - 365. Let k be s(-8). Is k less than -700?
True
Let g be (2/(-4))/((-6)/((-240)/(-5))). Suppose -4*h = -4*r - 4, 0*r - 4*h - g = -2*r. Let z be (18/(-12))/((-7)/r). Which is bigger: 0 or z?
0
Suppose -16*g + 21*g = 280. Let f be (6/(-4))/((-21)/g). Let a be 2/(-20)*(-112)/4. Is a >= f?
False
Let v = -2/5 + 13/20. Suppose -25*d = -2761 - 3939. Let s = 1073/4 - d. Is v bigger than s?
False
Let i be (-1*(3542 - 1))/((-26)/78). Which is smaller: i or 10624?
i
Let y(l) be the first derivative of 2*l**3/3 - l**2 - 51*l + 302. Let p be y(7). Let o be (33/(-4))/((-2)/8). Are o and p equal?
True
Let w be 0 + 1 + 17/10. Let x be -8 + 51 + -17 - 24. Which is smaller: w or x?
x
Suppose 6*i + 141 = -165. Suppose -5*w = -b + 243, -3*w - 2*b - 115 = 23. Which is smaller: w or i?
i
Let z(p) = -p**2 + 47*p - 527. Let w be z(23). Which is smaller: w or 42?
w
Let k(b) = -9*b**2 - 22*b + 148. Let n(t) = 11*t**2 + 24*t - 148. Let f(y) = -5*k(y) - 4*n(y). Let l be f(7). Is l at most 1/200?
True
Let t(p) = -p - 3. Let c be t(-3). Suppose c*r + 5*r + 130 = 0. Let s(k) = -21*k**3 - 799*k**2 - 38*k - 27. Let w be s(-38). Is w less than r?
True
Let o = 66 + -114. Let j = 67 + o. Let g = -14 + j. Is g bigger than -1/4?
True
Let f = 35/4 - 291/20. Which is smaller: -4/5 or f?
f
Suppose 5*z + 5*v - 18 + 8 = 0, -5*z + 5*v - 20 = 0. Which is smaller: z or -1/1243?
z
Let p = -1 + -7. Let c(v) = -v**3 - 7*v**2 + 7*v - 8. Let r be c(p). Let k be (4/11 - 0) + r. Is 0 bigger than k?
False
Suppose -9*i + 23 = 12*i + 2. Is -7/692 at least i?
False
Suppose 0*v + 4*v + 3 = 3*l, -2*l - 2*v - 12 = 0. Let r be (l/4*2)/(132/1232). Suppose -312*s + 314*s + 20 = 0. Which is bigger: s or r?
s
Suppose -1242 = 60*g - 6*g. Let x(n) = n**3 - 4*n**2 - 6*n + 2. Let v be x(4). Which is bigger: v or g?
v
Let x be 1 - 8/3*-3. Suppose -3*a + 4 = -a. Let o be (-4 - (-7)/a)/((-1)/17). Is x smaller than o?
False
Let x be 3*1227*(-8)/36. Let h = 6559/8 + x. Let f = 2 - 0. Is f greater than h?
True
Let v = -6138.27 - -6148. Which is bigger: -1/4 or v?
v
Let v(d) be the first derivative of 11*d**2 + 36*d - 53. Let k be v(0). Is k at least as big as 2?
True
Let j(o) = -o + 3. Let n be j(-6). Suppose -2*p = -n + 7. Let r be -2*(p - (-1 + 3))/(-11). Is 5 <= r?
False
Let u(j) = -j**3 + 14*j**2 - 11*j - 19. Let f be u(13). Suppose 10*g - 114 = f*g. Let x = g + -60. Which is bigger: x or -45/2?
x
Suppose 19 - 71 = 52*j. Let t be j/63*(-41 - -43). Is t at least -1?
True
Let m = -250 + 376. Let q = -125.9 + m. Which is bigger: 20 or q?
20
Let a = -141 + 91. Let b(q) = -7*q - 339. Let l be b(a). Which is bigger: 4 or l?
l
Let x(w) = w**3 + 12*w**2 - 10*w + 8. Let u be x(-12). Suppose 35 = -121*s + u*s. Suppose 10*r = 5*r + 25. Is s less than r?
False
Let u = 3561 - 1829. Is u >= 1732?
True
Let t(z) = 9*z**2 + 15*z - 14. Let u be t(1). Let m be (2 - u) + 0 + 7. Which is bigger: -2 or m?
m
Let n = 60 - 65. Are -1/4 and n equal?
False
Let n = -18629/1610455 - -