ger: a or -2/9?
-2/9
Suppose 0 = 5*g + 15, -4*c - 11 = -4*g - 3. Suppose -2*l = 38 - 4. Let v = l - c. Which is smaller: -13 or v?
-13
Let p = -0.9421 - -0.8421. Is 2736 > p?
True
Suppose -10 + 5 = d, -9*p - 5*d = -803. Is p at most 16?
False
Let u = 170 - 175. Let f be u - (6 - 8267/749). Which is smaller: 0 or f?
0
Let f(k) = 3*k**2 - 32*k - 38. Let y(m) = m**2 - 11*m - 12. Let p(v) = -6*f(v) + 17*y(v). Let s be p(8). Which is greater: s or -4/51?
s
Let r = -5627 + 5648. Is 9/16 at least as big as r?
False
Suppose 23*q = 16*q + 91. Suppose 157 = -16*y + q. Let m = 1 - 11. Do m and y have the same value?
False
Let h be 19/((-44)/8 + 5). Let t = -43 - h. Let n(d) = -6*d - 23. Let f be n(t). Is f at least as big as 32/5?
True
Let l = -15.037 - -0.037. Let c = l + -6. Let b = 23 + c. Which is smaller: 0.05 or b?
0.05
Suppose b - 2*q = -9, -5*q + 49 = -4*b + 28. Is b at most 30/1339?
False
Let z(l) = 2*l**2 + 44*l - 96. Let f be z(-24). Let i be (36/(-3840))/((-96)/10). Which is greater: i or f?
i
Let o = 1142 + -1145.946. Let r = -40 - -40.054. Let m = r - o. Is 2 less than m?
True
Suppose -4*p - 3*u + 7*u = 24, 3*p + 23 = 4*u. Let t = 106200 - 106200.7. Which is bigger: p or t?
t
Suppose 0 = -2*a + v + 1577 - 1549, 0 = 5*a - 5*v - 70. Let g(j) = 2*j - 4. Let i be g(4). Which is smaller: a or i?
i
Let q be 4*((-5)/4)/5*-5. Let m be (-3)/(-12) - (-238)/8. Suppose -2*p + m = q*f - 3, -4*f = 3*p - 32. Is 7 <= p?
False
Let v = -104078880/1219 + 2571451227853/30123928. Let l = -6/3089 - v. Which is bigger: 17 or l?
l
Let a = 6156 - 5586. Which is bigger: a or -6?
a
Let b(n) = -5*n - 8. Let s be b(-2). Suppose -s*d - 62 = -3*l, l - d - 3 = 18. Suppose -2*z = -3*w - 7*z + 22, -z = -2. Which is smaller: w or l?
w
Let k = -42 - -67.4. Let i = 0.0093 - -1.3907. Let m = k - i. Which is bigger: 0 or m?
m
Let f(k) = -5*k - 25. Let m(s) = 4*s + 12. Let q(i) = -3*f(i) - 5*m(i). Let x be q(-10). Which is smaller: x or 131/2?
x
Suppose -q + w + 8 = 4*w, 4*w = 16. Let u(f) = 31*f + 18. Let k be u(q). Is k bigger than -106?
False
Suppose -60 = 2*q + 38. Let o = q - -87. Let t = 61 - o. Which is smaller: 25 or t?
t
Let b = 1083 - 1079. Let x(h) = -h**2 + 14*h + 14. Let c(q) = q**3 - 15*q**2 + q. Let f be c(15). Let d be x(f). Which is smaller: d or b?
d
Suppose -12*f = -17*f + 40. Let i be f*(-9)/105 + (-12)/(-30). Is -0.4 greater than i?
False
Let p = -496719/109 + 4557. Suppose 3*f = -f. Do f and p have different values?
True
Let d be (40/16)/(2 + 6/(-4)). Suppose 2 = 3*h - 4*s, 1 + 3 = 4*h - d*s. Suppose h*j = 224 + 106. Which is smaller: j or 56?
j
Let p = -86.3 - -80. Let u = -1695.1 - -1694.9. Which is greater: p or u?
u
Let i be (57/(-18))/(15351/945 + -17). Is 3 != i?
True
Let k = -23 - -23. Suppose -l + 0*l - 6 = k. Let d be l/4*(-56)/12. Is d at most as big as 10?
True
Suppose -i - 1 = 1. Let w be (i - (-12)/15) + 0. Let d be (5 - 11)*-17*24/(-2448). Is d equal to w?
False
Let n(t) = 25*t + 49. Let l be n(-14). Let h = l - -324. Which is bigger: 29 or h?
29
Let u = 2511 + -2497. Which is smaller: 117 or u?
u
Suppose -3*d = h - 56, -10 = h + d - 62. Let l = -56 + h. Let j(t) = t**3 + 9*t**2 + 16*t - 7. Let r be j(l). Are r and 9 nonequal?
True
Let u be (39/(-364)*7)/(3/8). Let y be 4/18 - (-98)/(-36). Which is bigger: y or u?
u
Let i = 267 + -267.716. Let g = i + 0.216. Is -5/6 greater than or equal to g?
False
Let x be (-587250)/9900*(8/(-6) - (1 - 1)). Does x = -2?
False
Let z = 4117 + -4316.9. Let w = 130 + z. Let q = w + 67. Which is greater: -1 or q?
-1
Let i = 103 - 101. Let z(l) = -11*l**2 + 10. Let k be z(i). Which is smaller: k or -33?
k
Let z(v) = -182*v + 4014. Let j be z(22). Is -601 not equal to j?
True
Suppose -2*p + 2207 = 3*w, -14*w + 16*w + 2*p - 1474 = 0. Is w equal to 736?
False
Let r = 551 + -551. Let o be ((-8)/(-12))/(2*53). Which is greater: r or o?
o
Let a = -24 - -15. Let m = 224 + -422. Let o = 191 + m. Which is smaller: a or o?
a
Let l(w) = -430*w - 3871. Let v be l(-9). Is 6/3007 less than v?
False
Let a = -28591 - -28592. Which is smaller: -20887 or a?
-20887
Let h = 5899 + -5931. Suppose 3*a + 5 = 14. Suppose -1 = -2*n - a. Is h less than or equal to n?
True
Let s = 114 + -81. Let l(v) = v + s - 17*v + 12*v. Let j be l(9). Is j > -7?
True
Let q(u) = -156*u + 1095. Let l be q(7). Is l greater than or equal to -1/44?
True
Let t(h) = 676*h - 4461. Let v be t(27). Are 13792 and v equal?
False
Let v = 46 + -76. Let a = 32 + v. Let d = -10 + 14. Which is greater: a or d?
d
Let x = 29 - 17. Let b be (-191)/1*(4/2 - 1). Let g = 189 + b. Which is greater: g or x?
x
Let a = -6951802433/3690 + 1007857/410. Let v = a - -31767252025/16884. Let j = 2/469 + v. Which is smaller: j or 0?
0
Suppose -5*z - 181712 = -r + 175617, z - 4*r + 71462 = 0. Let d = -862459/12 - z. Let c = 406 + d. Which is smaller: 1 or c?
c
Let g = 1602 - 1602. Suppose 9 = -5*f + 4. Let y be -9*(f - 51/(-45)). Which is bigger: y or g?
g
Let v = -313.741 - 0.259. Let h = v - -314. Is h >= 123?
False
Let b(d) = -14*d**2 + 106*d + 49. Let p be b(8). Is p != 1/23737?
True
Let v be ((-66)/18 + 0)*432/(-4). Suppose 7*k + 2*b = 5*k - v, 4*b - 784 = 4*k. Is -197 less than k?
False
Let a = 0.16268 - 0.23018. Is -4/3 less than or equal to a?
True
Let g = 276.0295 - 0.0295. Let x = -276.1 + g. Which is greater: 1/13 or x?
1/13
Let p(l) = 11*l**2 + 1220*l - 274. Let y be p(-111). Which is greater: -151 or y?
-151
Let a = -8 - 12. Let k = 4338 + -4339. Is a bigger than k?
False
Let s = -76.844 + 25.844. Which is smaller: s or -217?
-217
Let p = 9.027 - -452.913. Let y = p - 462. Is -2/5 less than or equal to y?
True
Let m = -9164 - -12802. Which is greater: m or 3637?
m
Suppose -4*g = -i - 27, -3*g + 3 = 5*i - 0. Let y = -83 - -88. Which is greater: g or y?
g
Let d be (5*(-30)/50)/(6/(-38)). Suppose d - 9 = 5*f, 2 = 4*k + 5*f. Which is smaller: -158 or k?
-158
Let d(n) = -n + 29. Suppose 4*t + r = -2*r + 42, -16 = -2*t + r. Let o be d(t). Suppose -h = -3*h - s - 8, o = -5*h - 2*s. Is h > -7/2?
False
Let j = 62432 + -13422882/215. Let v = 3 + -2. Which is smaller: j or v?
j
Let r be (7 - 4 - -5) + (6 - 15). Do 14/337 and r have different values?
True
Let m = -15.8613 - 0.0987. Let t = 140.8 - 124.8. Let s = t + m. Is s > -1?
True
Suppose -282 = 24*s - 90. Suppose 3*c + 26 = 2*c. Let y = c + 15. Is y at least s?
False
Let u be ((-4)/(-3))/((-8)/64). Suppose s + m + 3*m - 7 = 0, -2*m + 8 = 2*s. Let b be s*(20/(-15) + -2). Is b bigger than u?
True
Let z = -97.94 - 0.06. Let u = z - -98. Which is greater: 0.046 or u?
0.046
Let t = -30.107 - -29.977. Is -80/7 greater than t?
False
Suppose -5*j - 2*y + 8 = -6*j, j - 3*y + 13 = 0. Suppose -213 + 117 = -j*o. Is o greater than 47?
True
Let x be (-1155)/49 - 6/14. Let i be (0 + -3)/(x/104). Let l be 45/4 - 1*(-5)/(-20). Which is smaller: i or l?
l
Suppose -43891 - 38955 = -246*f + 223*f. Which is smaller: f or 3603?
f
Let k be (24 + (-1185220)/49380)/((-1)/27). Is 0 less than k?
True
Let l be (-7 + 12 + -5)/(-1 + 2). Is 3/2222 smaller than l?
False
Let l = 0.1 - -0.4. Let i = 3.2609 + -3.2609. Which is bigger: i or l?
l
Let h = 9767 - 12060. Which is bigger: 2/9 or h?
2/9
Suppose 1262 = 18*r - 4588. Which is greater: -2 or r?
r
Let p = 54 - 92. Let n = 56 + 117. Suppose -5*y = 6*a - 8*a + 191, 5*y + n = -4*a. Which is smaller: p or y?
p
Suppose -48 = i + 2*c, -18*i + 22*i = -3*c - 217. Suppose 0 = 14*a + a + 810. Which is greater: a or i?
a
Let x = -385 - -690. Let g = x + -307. Is 70 < g?
False
Suppose 6 = 2*q, -59*q - 10 = -5*i - 64*q. Which is greater: -18 or i?
i
Let p = 1.12 + -162.12. Let h = p - -162.4. Is 0 less than h?
True
Suppose -2*j = 2*h - 22, -7*h + 3*h = 0. Suppose -4*u + j*u - 35 = 0. Suppose 0 = 2*a + 8, 10*i - 5*i - u*a = -245. Is -54 at least i?
False
Let o = 1648/2479 + -21/67. Which is smaller: o or 0?
0
Suppose 260*x + 807 = 257*x - s, -2*x - 512 = 5*s. Which is smaller: -0.3 or x?
x
Let l be 312 + -320 - 9193/(-1149). Does l = 0?
False
Suppose -2 = -672*i + 674*i. Which is smaller: i or 1/2553?
i
Suppose 19 = 5*a - 4*p, -a + 34 = p + 32. Let m be 6/(-5) - (a - 112/35). Let j be 378/183 - 4/2. Are j and m nonequal?
True
Let t(p) = 4*p**3 - 4*p**2 + 6*p. Let q be t(4). Let u be q/15 + (-2)/5. Let b be (8/u)/(4/14). I