gger: l or m?
l
Let c be 14/(-7)*25590/(-12). Suppose -c = -16*t + 2343. Is t at least as big as 412?
True
Let w be (-18)/(-3) + 4/10 + 23031/(-315). Is w greater than -68?
True
Suppose q + 4*g - 14 - 26 = 0, 36 = q + 3*g. Let m be (244/q*-4)/(26/39). Which is smaller: m or 3?
m
Let q(h) = 11*h + 297. Let m be q(-26). Let j = m - 58/5. Is 0 greater than j?
True
Let m be (-9 + 207/18)*8/(-10). Let o be (0 - (0 - m))/((-2)/23). Which is smaller: 22 or o?
22
Let b(h) = 6*h + 5. Let x be b(-2). Let w be 6/8 + x/8. Let z = -475 + 474. Is z != w?
True
Let w be -1 - (-2 - 98/4). Suppose 4*p - 185 = 5*s, -714*p = -710*p + 4*s - 32. Is p at least w?
False
Let t = -355.462 + 0.462. Let x = 356 + t. Which is smaller: -0.27 or x?
-0.27
Let r = -5861 - -5860. Let a = 3/4859 + -145827/92321. Is a bigger than r?
False
Let p be 22/(-143) - (1 + 67/(-13)). Suppose -2*v + 4*v = p*z + 14, v + 28 = -5*z. Do z and -7 have the same value?
False
Let v(l) = -3*l**3 + 291*l**2 + 293*l + 297. Let t be v(98). Which is greater: t or 219?
219
Let p be 25*-6*(-24)/(-6). Let w be ((-45)/p)/((-87)/78 - -1). Is -1 at most as big as w?
True
Let p be -1 - 4*9/(-24). Let y = -58 - -99. Let j = y + -41. Which is greater: p or j?
p
Let r(j) = -j**3 + 22*j**2 - 62*j + 95. Let h be r(19). Are h and 4/679 non-equal?
True
Suppose -2*w + 3311 = 3*w - 2*p, w - 657 = 3*p. Let r = w - 664. Is r not equal to 2/217?
True
Let c = -3 - -6. Let k = -114.9 + -37.1. Let r = k + 155. Is c != r?
False
Let x = 10.2 - 28.4. Let o = x - -7.2. Is o greater than -6?
False
Suppose -2*i = z + z - 278, -i + 5*z = -133. Is 29 bigger than i?
False
Let d be (-2)/2*498/(-3). Suppose d = -4*a + 162. Is -4/7 at least a?
True
Suppose -4*f + 25 = 5*h, 3*f - 7*h + 6*h = -5. Is -25/158 <= f?
True
Let v = -99 + 98. Let s be (1/1)/(1/1). Let f be (4 + (-3)/s)/v. Which is greater: -26 or f?
f
Let g be 1 + (-9 - -6 - -3). Let l = 4051/275655 + -1/1955. Is g at least l?
True
Let g be 12/(-14) - 7171164/(-5390) - 4/(-10). Which is greater: 1329 or g?
g
Let a(i) = 6 + 11 - 6 + 17*i. Let w be (-2)/(-2)*(-18 + 15). Let r be a(w). Which is bigger: -39 or r?
-39
Suppose -17*p = 68*p - p. Which is smaller: 9/1120 or p?
p
Let l = 2097 + -2098. Which is bigger: l or -14/13?
l
Let p = 546 - 546. Which is bigger: p or -9/25?
p
Let o(m) = -21*m - 154. Let x be o(-5). Let z = x + 116. Which is greater: 269/4 or z?
269/4
Let m(w) = 1193*w**3 - 6*w**2 + 4*w + 2. Let b be m(1). Let i = -1192 + b. Let g = 109 - 869/8. Which is smaller: g or i?
g
Let l = 14028.6 - 14029. Which is smaller: l or 1.186?
l
Let x(v) = 3*v**2 + 3*v - 31. Let b be x(-13). Let s = b + -3057/7. Let p = -1.9 - 15.1. Is s greater than p?
True
Let v = 44 - 42. Suppose -40 = -s + 4*s - 5*t, -2*t = v*s + 32. Let h = -486 - -467. Which is bigger: s or h?
s
Let o be 92/(-28) + 3/1. Suppose -5*p = -5*u + 660, 50*p - 52*p - 5*u - 229 = 0. Which is greater: p or o?
o
Let t be (-3)/6 + 6027/(-6) + 4. Let u be (-14)/t*11 + 3226/(-13). Which is bigger: -247 or u?
-247
Let c be 6/(-12) + ((-2 - -78)/4)/6. Which is smaller: c or 44/21?
44/21
Let j = 7 + 3. Let u be (-25353)/189 + (-2)/(-14) + -1. Let r be 0 + 1 + u/105. Is r <= j?
True
Let n(g) = -g**3 - 15*g**2 + 4*g - 18. Let c be n(-16). Suppose -21*s = 8*s + c. Which is smaller: s or -50/7?
-50/7
Let m be (-12)/9*(-9)/6*6. Suppose -5*w = -2 + m. Let c be 1/(((-2)/(-1))/w). Which is greater: c or 2/35?
2/35
Let o(q) = q**2 + 11*q - 1. Let a be o(-8). Let v(p) = p**3 + 24*p**2 - 26*p - 15. Let d be v(a). Let l(x) = x**2 + 4*x - 2. Let i be l(-6). Is d equal to i?
True
Suppose 15*c - 4*d = 20*c + 2828, 2*d = -5*c - 2824. Which is smaller: -2818/5 or c?
c
Let s(h) = -3*h**3 - 14*h**2 - 44*h. Let j be s(-5). Is 251 bigger than j?
True
Let n be 29/(-58) - (-706)/(-4). Let p = -259 - n. Let g be 9/18 - p/(-4). Is g smaller than -2?
True
Let y be (-9)/((-180)/(-80))*(3 - (-1)/(-2)). Do -307 and y have different values?
True
Suppose k = 5 - 2. Let g = 2103 + -2116. Is k at most g?
False
Let y = 12867.78 - 12791. Which is smaller: y or -1?
-1
Let b(u) = 51*u**2 + 100*u - 195. Let z be b(2). Is 3 >= z?
False
Let w(y) = 3*y**3 - 155 + 16*y**2 - 2*y**3 + 154. Let g be w(-16). Is -1/71 at least g?
True
Let x = -12409/4 + 36385/12. Is x less than -69?
True
Let y be 96/6*3 - (0 + 0). Let m be -1*(-1 - y)/7. Which is smaller: 5 or m?
5
Let v = -3846 - -1967. Let p = 27955932 + -1984737761/71. Let j = p + v. Are j and -1 unequal?
True
Let g(k) = 8*k - 59. Let u be g(-5). Let r = 180 + u. Is 81 equal to r?
True
Let g = 3053477/993 - 3075. Which is greater: g or 0?
g
Let o be 3 - 5*8/40. Suppose 0 = 5*y - 4*p - 11, -5 = -7*p + o*p. Which is smaller: y or 27?
y
Suppose 3*r - 3*o - 22687 = -7*o, 0 = 5*r + 3*o - 37830. Which is bigger: 7568 or r?
r
Let p(y) = 49*y - 2317. Let l be p(48). Is 1048/29 at most as big as l?
False
Let b = -19.43 - -12.43. Which is bigger: -204 or b?
b
Let k be -1 + -4 + 1106/126. Is 5 > k?
True
Let q be -20 - 608/(-19) - 12. Which is bigger: q or 592.7?
592.7
Let n = 4847 - 4847. Which is smaller: -273 or n?
-273
Let z = -898354/37 - -24280. Is -46/11 <= z?
True
Let h(s) = 2*s**3 + 12*s**2 - 26*s - 9. Suppose 2*b + 42*q - 45*q = -17, -4*b - q - 41 = 0. Let n be h(b). Is n at least as big as -550?
True
Let j = 78.648 - 78.4. Let p = j + 0.052. Which is smaller: -0.082 or p?
-0.082
Let a = 48 - 42. Suppose -o + a = r - 0*o, 4*o + 16 = r. Let z be (-4)/(-3)*12/r. Which is greater: 11 or z?
11
Let k = 1061112 - 1061207. Let o = -0.1 + 2.1. Is k at most o?
True
Suppose -2*y = 5*v - 25, 2*y + 2 = -v + 7. Suppose y = -i - 3 + 2. Let s be -5 + 10276/2208 + 3/8. Which is bigger: i or s?
s
Let c = 35845 + -35837.7. Which is bigger: 0.08 or c?
c
Let j = 0.26 + -0.16. Let p = -1145 + 1135.3. Is p > j?
False
Let h = 1342 - 1399. Is h at least 7?
False
Let h = 2098 + -3203. Is -1104 less than h?
False
Let y = -0.921 + -400.079. Let h = y + 402.5. Is -3/4 smaller than h?
True
Let q be 12347/(-20595) - ((-4218)/185)/38. Which is smaller: q or -1?
-1
Suppose 35*h - 198 = 34*h + 3*k, 0 = -3*h + 4*k + 564. Let d be 536/3 - 11/(-33). Which is smaller: h or d?
d
Let n = -0.074 - 0.092. Let z = 0.066 + n. Let y = -19 + 28. Which is smaller: z or y?
z
Let x = -12 - -15. Let f = x - 47. Let z be (-17)/68 + 29/f. Which is bigger: -2 or z?
z
Let f be (14/5)/(-7 - 99/(-15)). Let b be f/(-112)*-4*(-8)/(-202). Let w(k) = k**3 + 9*k**2 - 9*k + 10. Let u be w(-10). Is u greater than or equal to b?
True
Let q(t) = 3*t + 26. Let n be q(-6). Suppose n = g + 3. Let v = 0.06 - 0. Is g greater than v?
True
Let v = -354 + -356. Let k = 844 + v. Is k smaller than 132?
False
Suppose -2*i = -55 + 13. Let v be (-49)/i - 4/6. Let n = -69 - -65. Which is smaller: v or n?
n
Let x be (-4)/(-5) + (-84651)/105995. Suppose 16 = 4*l + 3*f, -f - 3*f = -3*l - 13. Which is bigger: x or l?
l
Let i = 1012.32938 - 0.32938. Which is greater: 0.6 or i?
i
Let o = -17.4 + 8. Let g = o + 1.4. Suppose -3*h + 3 = -4*t, 3 = -2*h - t + 5. Is g smaller than h?
True
Let o = -0.353 + 2.353. Let u = -14.911 + -0.089. Which is smaller: u or o?
u
Let r(f) = 9*f**3 - f**2 + 4*f - 3. Let s be r(1). Let t(x) = 2*x. Let y be t(s). Let d be ((-66)/(-63) - 4/(-14))*y. Is d less than or equal to 22?
False
Suppose -5*p = -4*l - 14, -7*l + 34*p = 39*p - 3. Is 1/1935 at most as big as l?
False
Let d = 305.4 - 306. Let c = d + 0.5. Is c greater than or equal to -3/34?
False
Let q(m) = 8*m - 4. Let w be q(0). Let v be (47 - -11 - w)*(-1)/(-1). Is v bigger than 63?
False
Let d = -155.9713 + -0.1287. Let a = d - -156. Let t = -1.2 + -7.8. Is a not equal to t?
True
Let g be (28/(-10))/(2/10). Let r be (-3*80/(-15) - 4) + -2. Suppose r*s - 36 = 14*s. Which is greater: s or g?
s
Let w(x) = 2*x + 22. Let k be w(-16). Let g be (-4)/2 + -39 + (-1 - -2). Let h = g - -36. Which is smaller: h or k?
k
Let a be 3 - 215 - (16 - 18). Let g be ((-9)/a)/(50/(-300)). Is 1 greater than or equal to g?
True
Let f = -281.519 + 0.519. Let a = f + 290. Which is smaller: -2/9 or a?
-2/9
Let u(k) = k**3 - 4*k**2 + k. Let n be u(2). Let m(s) = 7*s + 42. Let t be m(n). Let y = -450 + 4944/11. Is y equal to t?
False
Suppose -635 = -3*c + 4*u - 119, -3*c = -5*u - 519. Let q = c - 208. Which is bigger: -0.4 or q?
-0.4
Suppose