-2/3?
False
Let l be (-1 - 0)/((-31)/(-23312)). Let h = l - -755. Which is smaller: h or 15?
h
Suppose -11*v + 14*v - 2*y = -33177, -44243 = 4*v - 5*y. Is -11059 less than v?
True
Let s = 2.9707 + -51.4495. Let y = s - 0.3912. Let o = y - -49. Which is smaller: o or 0.1?
0.1
Let x(w) = 1911*w - 1935. Let p be x(2). Which is greater: p or 1892?
1892
Suppose 82*l - 105*l - 1426 = 0. Which is smaller: -1044/17 or l?
l
Let u be (-27)/(-6) + -5 + (-110)/20 + 18660. Is u less than or equal to -1?
False
Let l = -19/10504 + 3233957/21008. Let k = 154 - l. Is k greater than 1?
False
Let d be 90/135 - 18380/27576. Which is smaller: d or 1?
d
Suppose 4*r - 5*y = 9*r, -r = -5*y - 6. Is -13/55 bigger than r?
False
Suppose -9*z + 180 = -5*z. Let j be (-7)/168*6 + (-925)/(-20). Which is greater: z or j?
j
Let s = 8235 + -7857.7. Is s less than 0.2?
False
Let c(w) = w - 1. Let x be c(2). Let m be (9/(-12)*(-36)/(-171))/(-57). Does x = m?
False
Let o = -53 - -52.938. Let r = o + 0.039. Let f = r + -0.977. Which is greater: f or -2/45?
-2/45
Let l be 1*(-17 + 12 + -1 + 5). Let p be ((-32)/10)/(l + 16/60). Which is bigger: p or 5?
5
Let w be (-293)/1172 - 6/(-56). Which is smaller: -3 or w?
-3
Suppose -5*m = 3*y - 540, 3*y = m - 5*m + 540. Let p = y - 164. Which is smaller: p or 26?
p
Let i = -541 + 537. Let z be 1/15 - (98/21 + i). Which is smaller: -1 or z?
-1
Let z = -48 + 174. Let b = z - 126. Let n = 5 - 6. Which is greater: b or n?
b
Let n = -571581/140 + 28655/7. Is n >= 11?
False
Let x be (-33)/15 + 3*(-8)/12. Suppose p + 3*r + 15 = 0, 29*r = 3*p + 27*r + 1. Is x > p?
False
Let n be 1/((-77)/(-19) + -4). Let r = -14 + n. Suppose 0 = r*z - 20, -3*z + z + 9 = -p. Which is smaller: p or -2/33?
p
Let p(k) = -2*k**2 + 26*k - 5. Let w be p(13). Let s be (w/(-90))/((-7)/(-2)). Is 2 at most as big as s?
False
Let y = 1287 - 126123/98. Suppose -12*b = -2*q - 15*b - 15, -5*b + 14 = -q. Let o be (4/10)/(-1 + q/(-15)). Is y bigger than o?
True
Let r be 4/(-5972) - 0*(-3)/(-21). Is r equal to 1?
False
Let p = 7173 + -7173. Is p > -5/607?
True
Let g be 68*4*(-145)/80*1. Is g equal to -490?
False
Let i = 27067/411 - 26/137. Which is greater: 66 or i?
66
Let n = 1047 - 1048. Let l be (-12)/(-80)*2*3/5. Is n smaller than l?
True
Suppose 155*j = 162*j. Let d = 45 + -2296/51. Is j at least as big as d?
True
Suppose -9944 = -p + 16*p + 7*p. Does p = -3156/7?
False
Let d be (-21)/70 - 78084/120. Does -650 = d?
False
Let c be ((-34)/425)/(10/(-1775)). Which is smaller: c or 4?
4
Suppose 0*w + 5*w = 80. Suppose 2*l - 58 = -48. Suppose -5*y + l*h + 20 = -10, 5*y = -h. Do w and y have different values?
True
Let i be (1/(-4 + 2))/((-17)/34). Let v be 40/i - 8/4. Which is smaller: v or 36?
36
Let i = -16784 + 16783. Which is smaller: i or 2/11929?
i
Let z(n) = 2*n**2 - 130*n + 706. Let c be z(6). Let y(o) = o**3 - 6*o**2 + 4*o + 5. Let s be y(5). Let p be (-2 - s) + 3 - 1. Which is smaller: c or p?
c
Suppose 1445*h + 1819 = -374*h. Let u be -1*3/((-2586)/4). Which is greater: h or u?
u
Let c(r) = 25*r**3 + r**2 + r - 1. Let a be c(1). Let f = a - 24. Let i be f + 3 - (-4581)/(-915). Are 0 and i non-equal?
True
Let x = -115 + 142. Suppose -x*a = -14*a - 182. Which is greater: 12 or a?
a
Let v be ((-76260)/(-15156) - (-1 + 6))/((-14)/(-21)). Do 1 and v have the same value?
False
Let f = -360 - -306. Let a be (f/(-8))/(3/16). Let q = -27 - -64. Which is smaller: a or q?
a
Let d(l) = -2*l**3 - l**2 + 3*l - 4. Let t be d(2). Let s be (t/(-9) + -5)*(-29)/(-1). Which is smaller: s or -89?
-89
Let t(z) = 17*z**3 + 1. Let q be t(1). Let l be 276/(-27) + 4/q. Suppose -7 = -3*s - 10. Is s bigger than l?
True
Let h be 2/16 + (-312)/(-260)*(-435)/(-48). Which is bigger: 13 or h?
13
Let m = 5/1063 + 261403/20197. Is m greater than or equal to 13?
False
Let y = -52649 + 102727/2. Which is bigger: y or -1285?
-1285
Let g = 0 - 2. Let z = 325046 - 325132. Which is greater: z or g?
g
Let i(v) = 1171*v + 1694. Let x be i(-5). Which is smaller: 2/5 or x?
x
Let a = 84405/23 + -3669. Let u = -110 - -107. Let p be -5 - 12*u/6. Which is greater: a or p?
p
Let i = -2541726/12719 + 4596/23. Let v = 1028/7189 - i. Let m be 1 + -1 - (-3)/3. Is v < m?
True
Let w(v) = -29*v**2 - 39*v - 34. Let p be w(-11). Which is bigger: 0 or p?
0
Let k = -142 + 163. Suppose -30 = j + k. Let d be 2*4/(-28) - j/154. Which is bigger: d or -1?
d
Suppose -2*v + 4*v - 3 = -q, v = -2*q + 6. Suppose v = 5*s - 263 - 197. Is s less than or equal to 183/2?
False
Suppose -9 = -v - 6. Let m(z) = 5*z**2 - 7*z. Let r be m(3). Suppose 3*q = -2*t - 25, 5*t - v*t + r = -4*q. Is t greater than -13?
False
Let u = 253 - 243. Suppose -5*r = -s - 4, s + u - 1 = 4*r. Which is smaller: -32 or s?
-32
Let g be (-5588)/1287 + 6/(-117)*-3. Let u = 17507/99 + -1900/11. Let y = u + g. Which is smaller: y or -1/3?
-1/3
Let o be ((-92)/109043)/(14/77). Which is smaller: -0.9 or o?
-0.9
Let s be (-45)/(2057/136 + -15). Is -719/2 at most as big as s?
False
Let t(n) = 10 + 9 - 29302*n + 29621*n. Let l be t(-1). Which is bigger: -298 or l?
-298
Suppose -2*f + 4*f = -45795 + 45793. Is 27/124 greater than f?
True
Suppose 0 = -z, 6*j = 2*j - 5*z + 8. Let y = 0 - j. Let d(h) = 3*h**3 + 3*h**2 + 6*h + 6. Let l be d(y). Is -18 at least l?
True
Let c(y) = 204*y - 53. Let z be c(1). Let a = 135 - -17. Is a less than or equal to z?
False
Suppose 0 = 4*w - 10*i + 6*i + 52, 31 = -4*w - 3*i. Which is bigger: w or -304/27?
w
Let h = -1094829/5555 + 2168/11. Suppose -4*f - 46 = -42. Which is smaller: h or f?
f
Suppose -1591*v + 1620*v + 3016 = 0. Is v less than -24?
True
Let q = -7299 + 7298.43. Is -38 at least q?
False
Let c be 48/(-88) + (-266469)/(-231). Which is bigger: c or 1151?
c
Let i be -4*2*1/(-2). Suppose i + 1 = -5*c. Let r be 5/(200/(-56)) - (-1388)/1020. Are r and c equal?
False
Let k = -0.167 - 18.833. Let l = 20 + k. Is 6 not equal to l?
True
Let y = -4/2657 + 1227634/66425. Do y and 18 have the same value?
False
Suppose 14*t - 15*t = 5*b - 56, 12 = 2*b. Which is bigger: t or -47?
t
Let o = 373432/826901403 + -2/182177. Which is greater: o or 0?
o
Let u be 1*(4/(-4) - -2). Let m(h) = 2*h**2 + 27*h - 25. Let a be m(-11). Let k be (-2)/a*16/20. Are u and k equal?
False
Let w be 21/(-78) - (-2)/4. Suppose 512*s - 535*s = 23. Which is smaller: s or w?
s
Let i be ((-1)/(-3))/((-26)/(-312)). Suppose 4 = -v - n, -v + i*n - 4 - 10 = 0. Let l be -2 - (1 - -2) - -2. Is v greater than l?
False
Suppose -39974 + 1575 = -19*f. Suppose 50*o - f + 571 = 0. Are o and 30 nonequal?
True
Let h be 40/6*(-18)/(-132). Suppose 5*w - 802 + 817 = 5*f, -4*f = -2*w - 12. Is h equal to w?
False
Let f be 1 - ((-30)/8)/(-3). Let b be -4*(11/33)/((-3)/9). Let j be (6/b)/((-5)/(180/63)). Is f at most j?
False
Suppose -4*l + 2*l + 7 = -n, 0 = 5*l - 5*n - 15. Let k be l + -10 + (12*-1)/(-3). Which is smaller: 0.08 or k?
k
Let n be 1 - -2 - 145/55. Let c = 16 - -4. Let m = c + -19.9. Which is smaller: m or n?
m
Let h(a) = a**2 - 11*a - 2. Suppose -2*f + 3*z = -4*f + 7, 4*z - 13 = -3*f. Let j be h(f). Let l be (-3 - j)*0*(-5)/(-25). Are 5 and l equal?
False
Let n(p) = -p**3 + 13*p**2 - 5*p - 11. Let z be n(12). Let v = z - 92. Let r(t) = 3*t - 15. Let s be r(5). Which is smaller: s or v?
v
Let u be (4 - -5074)/(-1*2). Let d = u + 139649/55. Which is bigger: 1 or d?
1
Let c(l) = -l**2 - 10*l + 44. Let k be c(-13). Suppose 83 = k*q - y, 0 = -3*y + 1 - 10. Let s be (-40)/q*16/(-10). Do 17/4 and s have different values?
True
Let m = 2239 - 3724. Is m greater than or equal to -2/5?
False
Let n(y) = -6*y**3 - 2*y**2 - 2*y + 1. Let q(k) = -4*k + 11. Let g be q(3). Let j be n(g). Suppose j*p = -9 + 2. Which is greater: p or -3/19?
-3/19
Let d = -15512/6205 + -1/12410. Suppose 0 = -2*n + 2*q + 3*q - 17, 0 = -2*n + 3*q - 7. Suppose 12 = -4*l - 3*s, 3*l + l + 12 = n*s. Is l != d?
True
Let r = 0.2 - 0.1. Let f = 8.77 - 8.73. Let b = r - f. Is 1 < b?
False
Let s be 48*(48/(-18) + 2/(-3)). Let p = s + 1124/7. Is -0.7 equal to p?
False
Let q be (-1)/(2751/(-807)) + 38/(-133). Suppose -4*n - 4*s + 16 = 0, 2*n + 4*s + 6 = 20. Which is smaller: q or n?
q
Let a = -3122 + 3121. Is -9/218 >= a?
True
Let i be 0 + -3*1/(-1). Let p be 0/2 - i/(-32). Suppose 142542*y = 142571*y - 29. Is p less than or equal to y?
